Source file ocaml_optcomp.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
(* This file is automatically generated *)

module Afl_instrument                   = Afl_instrument
module Alias_analysis                   = Alias_analysis
module Allocated_const                  = Allocated_const
module Arch                             = Arch
module Asmgen                           = Asmgen
module Asmlibrarian                     = Asmlibrarian
module Asmlink                          = Asmlink
module Asmpackager                      = Asmpackager
module Augment_specialised_args         = Augment_specialised_args
module Backend_var                      = Backend_var
module Branch_relaxation                = Branch_relaxation
module Build_export_info                = Build_export_info
module CSE                              = CSE
module CSEgen                           = CSEgen
module Clambda                          = Clambda
module Clambda_primitives               = Clambda_primitives
module Closure                          = Closure
module Closure_conversion               = Closure_conversion
module Closure_conversion_aux           = Closure_conversion_aux
module Closure_element                  = Closure_element
module Closure_id                       = Closure_id
module Closure_middle_end               = Closure_middle_end
module Closure_offsets                  = Closure_offsets
module Closure_origin                   = Closure_origin
module Cmm                              = Cmm
module Cmm_helpers                      = Cmm_helpers
module Cmm_invariants                   = Cmm_invariants
module Cmmgen                           = Cmmgen
module Cmmgen_state                     = Cmmgen_state
module Coloring                         = Coloring
module Comballoc                        = Comballoc
module Compilation_unit                 = Compilation_unit
module Compilenv                        = Compilenv
module Convert_primitives               = Convert_primitives
module Dataflow                         = Dataflow
module Deadcode                         = Deadcode
module Effect_analysis                  = Effect_analysis
module Emit                             = Emit
module Emitaux                          = Emitaux
module Export_id                        = Export_id
module Export_info                      = Export_info
module Export_info_for_pack             = Export_info_for_pack
module Extract_projections              = Extract_projections
module Find_recursive_functions         = Find_recursive_functions
module Flambda                          = Flambda
module Flambda_invariants               = Flambda_invariants
module Flambda_iterators                = Flambda_iterators
module Flambda_middle_end               = Flambda_middle_end
module Flambda_to_clambda               = Flambda_to_clambda
module Flambda_utils                    = Flambda_utils
module Freshening                       = Freshening
module Id_types                         = Id_types
module Import_approx                    = Import_approx
module Inconstant_idents                = Inconstant_idents
module Initialize_symbol_to_let_symbol  = Initialize_symbol_to_let_symbol
module Inline_and_simplify              = Inline_and_simplify
module Inline_and_simplify_aux          = Inline_and_simplify_aux
module Inlining_cost                    = Inlining_cost
module Inlining_decision                = Inlining_decision
module Inlining_stats                   = Inlining_stats
module Inlining_stats_types             = Inlining_stats_types
module Inlining_transforms              = Inlining_transforms
module Interf                           = Interf
module Internal_variable_names          = Internal_variable_names
module Interval                         = Interval
module Invariant_params                 = Invariant_params
module Lift_code                        = Lift_code
module Lift_constants                   = Lift_constants
module Lift_let_to_initialize_symbol    = Lift_let_to_initialize_symbol
module Linear                           = Linear
module Linear_format                    = Linear_format
module Linearize                        = Linearize
module Linkage_name                     = Linkage_name
module Linscan                          = Linscan
module Liveness                         = Liveness
module Mach                             = Mach
module Mutable_variable                 = Mutable_variable
module Optcompile                       = Optcompile
module Opterrors                        = Opterrors
module Optmaindriver                    = Optmaindriver
module Parameter                        = Parameter
module Pass_wrapper                     = Pass_wrapper
module Polling                          = Polling
module Printclambda                     = Printclambda
module Printclambda_primitives          = Printclambda_primitives
module Printcmm                         = Printcmm
module Printlinear                      = Printlinear
module Printmach                        = Printmach
module Proc                             = Proc
module Projection                       = Projection
module Ref_to_variables                 = Ref_to_variables
module Reg                              = Reg
module Reload                           = Reload
module Reloadgen                        = Reloadgen
module Remove_free_vars_equal_to_args   = Remove_free_vars_equal_to_args
module Remove_unused_arguments          = Remove_unused_arguments
module Remove_unused_closure_vars       = Remove_unused_closure_vars
module Remove_unused_program_constructs = Remove_unused_program_constructs
module Schedgen                         = Schedgen
module Scheduling                       = Scheduling
module Selectgen                        = Selectgen
module Selection                        = Selection
module Semantics_of_primitives          = Semantics_of_primitives
module Set_of_closures_id               = Set_of_closures_id
module Set_of_closures_origin           = Set_of_closures_origin
module Share_constants                  = Share_constants
module Simple_value_approx              = Simple_value_approx
module Simplify_boxed_integer_ops       = Simplify_boxed_integer_ops
module Simplify_common                  = Simplify_common
module Simplify_primitives              = Simplify_primitives
module Spill                            = Spill
module Split                            = Split
module Static_exception                 = Static_exception
module Strmatch                         = Strmatch
module Symbol                           = Symbol
module Tag                              = Tag
module Traverse_for_exported_symbols    = Traverse_for_exported_symbols
module Un_anf                           = Un_anf
module Unbox_closures                   = Unbox_closures
module Unbox_free_vars_of_closures      = Unbox_free_vars_of_closures
module Unbox_specialised_args           = Unbox_specialised_args
module Var_within_closure               = Var_within_closure
module Variable                         = Variable