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
126
127
128
129
130
131
132
(* 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 Stackframe                       = Stackframe
module Stackframegen                    = Stackframegen
module Static_exception                 = Static_exception
module Strmatch                         = Strmatch
module Symbol                           = Symbol
module Tag                              = Tag
module Thread_sanitizer                 = Thread_sanitizer
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
module X86_dsl                          = X86_dsl
module X86_gas                          = X86_gas
module X86_masm                         = X86_masm
module X86_proc                         = X86_proc