package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

ocaml-base-compiler
- Library bigarray
  - Bigarray
    
    Genarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
- Library dynlink
  - Dynlink
- Library ocamlbytecomp
  - Bytegen
  - Bytelibrarian
  - Bytelink
  - Bytepackager
  - Compile
  - Emitcode
  - Errors
  - Instruct
  - Maindriver
  - Printinstr
- Library ocamlcommon
  - Annot
  - Arg_helper
    
    Make
  - Ast_helper
    
    Const
    
    Attr
    
    Typ
    
    Pat
    
    Exp
    
    Val
    
    Type
    
    Te
    
    Mty
    
    Mod
    
    Sig
    
    Str
    
    Md
    
    Ms
    
    Mtd
    
    Mb
    
    Opn
    
    Incl
    
    Vb
    
    Cty
    
    Ctf
    
    Cl
    
    Cf
    
    Ci
    
    Csig
    
    Cstr
    
    Rf
    
    Of
  - Ast_invariants
  - Ast_iterator
  - Ast_mapper
  - Asttypes
  - Attr_helper
  - Binutils
  - Btype
    
    TypeSet
    
    TransientTypeMap
    
    TypeMap
    
    TypeHash
    
    TypePairs
    
    For_copy
  - Build_path_prefix_map
  - Builtin_attributes
  - Bytesections
  - CamlinternalMenhirLib
    
    General
    
    Convert
    
    Simplified
    
    IncrementalEngine
    
    INCREMENTAL_ENGINE
    
    SYMBOLS
    
    INSPECTION
    
    EVERYTHING
    
    EngineTypes
    
    TABLE
    
    Log
    
    MONOLITHIC_ENGINE
    
    INCREMENTAL_ENGINE_START
    
    ENGINE
    
    Engine
    
    Make
    
    ErrorReports
    
    LexerUtil
    
    Printers
    
    Make
    
    InfiniteArray
    
    PackedIntArray
    
    RowDisplacement
    
    LinearizedArray
    
    TableFormat
    
    TABLES
    
    InspectionTableFormat
    
    TABLES
    
    InspectionTableInterpreter
    
    Symbols
    
    Make
    
    TableInterpreter
    
    MakeEngineTable
    
    Log
    
    StaticVersion
  - Ccomp
  - Clflags
    
    Int_arg_helper
    
    Float_arg_helper
    
    Compiler_pass
  - Cmi_format
  - Cmo_format
  - Cmt2annot
  - Cmt_format
  - Cmxs_format
  - Compenv
  - Compile_common
  - Compmisc
  - Config
  - Consistbl
    
    Make
  - Ctype
  - Datarepr
  - Debuginfo
    
    Scoped_location
  - Depend
    
    String
  - Diffing
    
    Defs
    
    Define
    
    Parameters
    
    S
    
    Simple
    
    Left_variadic
    
    Right_variadic
  - Diffing_with_keys
    
    Define
    
    Parameters
    
    Simple
  - Dll
  - Docstrings
    
    WithMenhir
  - Domainstate
  - Env
  - Envaux
  - Errortrace
    
    Subtype
  - Expunge
    
    String
  - Ident
    
    T
    
    Set
    
    Map
    
    Tbl
  - Identifiable
    
    Thing
    
    Pair
    
    Set
    
    T
    
    Map
    
    T
    
    Tbl
    
    T
    
    S
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Make
    
    T
    
    Set
    
    Map
    
    Tbl
  - Includeclass
  - Includecore
  - Includemod
    
    Error
    
    FieldMap
    
    Functor_inclusion_diff
    
    Defs
    
    Functor_app_diff
    
    Defs
  - Includemod_errorprinter
  - Int_replace_polymorphic_compare
  - Lambda
  - Lazy_backtrack
  - Lexer
  - Load_path
    
    Dir
  - Local_store
  - Location
  - Longident
  - Main_args
    
    Common_options
    
    Core_options
    
    Compiler_options
    
    Toplevel_options
    
    Bytecomp_options
    
    Bytetop_options
    
    Optcommon_options
    
    Optcomp_options
    
    Opttop_options
    
    Ocamldoc_options
    
    Arg_list
    
    Make_bytecomp_options
    
    Make_bytetop_options
    
    Make_optcomp_options
    
    Make_opttop_options
    
    Make_ocamldoc_options
    
    Default
    
    Topmain
    
    Opttopmain
    
    Main
    
    Optmain
    
    Odoc_args
  - Makedepend
  - Matching
  - Meta
  - Misc
    
    Stdlib
    
    List
    
    Option
    
    Array
    
    String
    
    Set
    
    Map
    
    Tbl
    
    Int_literal_converter
    
    LongString
    
    Color
    
    Error_style
    
    Magic_number
  - Mtype
  - Numbers
    
    Int
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Int8
    
    Int16
    
    Float
    
    T
    
    Set
    
    Map
    
    Tbl
  - Opcodes
  - Oprint
  - Outcometree
  - Parmatch
    
    Compat
  - Parse
  - Parser
    
    MenhirInterpreter
    
    Incremental
  - Parsetree
  - Path
    
    Map
    
    Set
  - Patterns
    
    Non_empty_row
    
    Simple
    
    Half_simple
    
    General
    
    Head
  - Persistent_env
    
    Consistbl
    
    Persistent_signature
  - Pparse
  - Pprintast
  - Predef
  - Primitive
  - Printast
  - Printlambda
  - Printpat
  - Printtyp
    
    Out_name
    
    Naming_context
    
    Conflicts
    
    Subtype
  - Printtyped
  - Profile
  - Rec_check
  - Runtimedef
  - Shape
    
    Uid
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Sig_component_kind
    
    Item
    
    Map
    
    Map
    
    Make_reduce
  - Signature_group
  - Simplif
  - Strongly_connected_components
    
    S
    
    Id
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Make
  - Stypes
  - Subst
    
    Lazy
  - Switch
    
    Stored
    
    CtxStored
    
    CtxStore
    
    Store
    
    S
    
    Make
  - Symtable
  - Syntaxerr
  - Targetint
  - Tast_iterator
  - Tast_mapper
  - Terminfo
  - Tmc
  - Translattribute
  - Translclass
  - Translcore
  - Translmod
  - Translobj
  - Translprim
  - Type_immediacy
    
    Violation
  - Typeclass
  - Typecore
    
    Datatype_kind
  - Typedecl
  - Typedecl_immediacy
  - Typedecl_properties
  - Typedecl_separability
  - Typedecl_unboxed
  - Typedecl_variance
  - Typedtree
  - Typemod
    
    Signature_names
    
    Sig_component_kind
  - Typeopt
  - Types
    
    Transient_expr
    
    TransientTypeOps
    
    Uid
    
    MethSet
    
    VarSet
    
    Meths
    
    Vars
    
    Variance
    
    Separability
  - Typetexp
  - Untypeast
  - Warnings
- Library ocamlmiddleend
  - Alias_analysis
  - Allocated_const
  - Augment_specialised_args
    
    Definition
    
    What_to_specialise
    
    S
    
    Make
  - Backend_var
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Provenance
    
    With_provenance
  - Build_export_info
  - Clambda
  - Clambda_primitives
  - Closure
  - Closure_conversion
  - Closure_conversion_aux
    
    Env
    
    Function_decls
    
    Function_decl
  - Closure_element
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_middle_end
  - Closure_offsets
  - Closure_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Compilation_unit
    
    T
    
    Set
    
    Map
    
    Tbl
  - Compilenv
  - Convert_primitives
  - Effect_analysis
  - Export_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Export_info
    
    A
  - Export_info_for_pack
  - Extract_projections
  - Find_recursive_functions
  - Flambda
    
    Constant_defining_value
    
    T
    
    Set
    
    Map
    
    Tbl
    
    With_free_variables
  - Flambda_invariants
  - Flambda_iterators
  - Flambda_middle_end
  - Flambda_to_clambda
  - Flambda_utils
    
    Switch_storer
  - Freshening
    
    Project_var
  - Id_types
    
    BaseId
    
    Id
    
    UnitId
    
    Compilation_unit
    
    Id
    
    UnitId
  - Import_approx
  - Inconstant_idents
  - Initialize_symbol_to_let_symbol
  - Inline_and_simplify
  - Inline_and_simplify_aux
    
    Env
    
    Result
  - Inlining_cost
    
    Threshold
    
    Benefit
    
    Whether_sufficient_benefit
  - Inlining_decision
  - Inlining_stats
    
    Closure_stack
  - Inlining_stats_types
    
    Inlined
    
    Not_inlined
    
    Specialised
    
    Not_specialised
    
    Prevented
    
    Decision
  - Inlining_transforms
  - Internal_variable_names
  - Invariant_params
  - Lift_code
  - Lift_constants
  - Lift_let_to_initialize_symbol
  - Linkage_name
    
    T
    
    Set
    
    Map
    
    Tbl
  - Mutable_variable
    
    T
    
    Set
    
    Map
    
    Tbl
  - Parameter
    
    T
    
    Set
    
    Map
    
    Tbl
    
    List
  - Pass_wrapper
  - Printclambda
  - Printclambda_primitives
  - Projection
    
    T
    
    Set
    
    Map
    
    Tbl
  - Ref_to_variables
  - Remove_free_vars_equal_to_args
  - Remove_unused_arguments
  - Remove_unused_closure_vars
  - Remove_unused_program_constructs
  - Semantics_of_primitives
  - Set_of_closures_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Set_of_closures_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Share_constants
  - Simple_value_approx
  - Simplify_boxed_integer_ops
    
    Simplify_boxed_nativeint
    
    Simplify_boxed_int32
    
    Simplify_boxed_int64
  - Simplify_common
  - Simplify_primitives
  - Static_exception
    
    T
    
    Set
    
    Map
    
    Tbl
  - Symbol
    
    T
    
    Set
    
    Map
    
    Tbl
  - Tag
    
    T
    
    Set
    
    Map
    
    Tbl
  - Traverse_for_exported_symbols
  - Un_anf
  - Unbox_closures
  - Unbox_free_vars_of_closures
  - Unbox_specialised_args
  - Var_within_closure
    
    T
    
    Set
    
    Map
    
    Tbl
  - Variable
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Pair
    
    T
    
    Set
    
    Map
    
    Tbl
- Library ocamloptcomp
  - Afl_instrument
  - Alias_analysis
  - Allocated_const
  - Arch
  - Asmgen
  - Asmlibrarian
  - Asmlink
  - Asmpackager
  - Augment_specialised_args
    
    Definition
    
    What_to_specialise
    
    S
    
    Make
  - Backend_intf
    
    S
  - Backend_var
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Provenance
    
    With_provenance
  - Branch_relaxation
    
    Make
  - Branch_relaxation_intf
    
    S
    
    Cond_branch
  - Build_export_info
  - CSE
    
    cse
  - CSEgen
    
    cse_generic
  - Clambda
  - Clambda_primitives
  - Closure
  - Closure_conversion
  - Closure_conversion_aux
    
    Env
    
    Function_decls
    
    Function_decl
  - Closure_element
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_middle_end
  - Closure_offsets
  - Closure_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Cmm
  - Cmm_helpers
  - Cmm_invariants
  - Cmmgen
  - Cmmgen_state
  - Cmx_format
  - Coloring
  - Comballoc
  - Compilation_unit
    
    T
    
    Set
    
    Map
    
    Tbl
  - Compilenv
  - Convert_primitives
  - Dataflow
    
    DOMAIN
    
    Backward
  - Deadcode
  - Effect_analysis
  - Emit
  - Emitaux
  - Emitenv
  - Export_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Export_info
    
    A
  - Export_info_for_pack
  - Extract_projections
  - Find_recursive_functions
  - Flambda
    
    Constant_defining_value
    
    T
    
    Set
    
    Map
    
    Tbl
    
    With_free_variables
  - Flambda_invariants
  - Flambda_iterators
  - Flambda_middle_end
  - Flambda_to_clambda
  - Flambda_utils
    
    Switch_storer
  - Freshening
    
    Project_var
  - Id_types
    
    BaseId
    
    Id
    
    UnitId
    
    Compilation_unit
    
    Id
    
    UnitId
  - Import_approx
  - Inconstant_idents
  - Initialize_symbol_to_let_symbol
  - Inline_and_simplify
  - Inline_and_simplify_aux
    
    Env
    
    Result
  - Inlining_cost
    
    Threshold
    
    Benefit
    
    Whether_sufficient_benefit
  - Inlining_decision
  - Inlining_decision_intf
  - Inlining_stats
    
    Closure_stack
  - Inlining_stats_types
    
    Inlined
    
    Not_inlined
    
    Specialised
    
    Not_specialised
    
    Prevented
    
    Decision
  - Inlining_transforms
  - Interf
  - Internal_variable_names
  - Interval
  - Invariant_params
  - Lift_code
  - Lift_constants
  - Lift_let_to_initialize_symbol
  - Linear
  - Linear_format
  - Linearize
  - Linkage_name
    
    T
    
    Set
    
    Map
    
    Tbl
  - Linscan
  - Liveness
  - Mach
  - Mutable_variable
    
    T
    
    Set
    
    Map
    
    Tbl
  - Optcompile
  - Opterrors
  - Optmaindriver
  - Parameter
    
    T
    
    Set
    
    Map
    
    Tbl
    
    List
  - Pass_wrapper
  - Polling
  - Printclambda
  - Printclambda_primitives
  - Printcmm
  - Printlinear
  - Printmach
  - Proc
  - Projection
    
    T
    
    Set
    
    Map
    
    Tbl
  - Ref_to_variables
  - Reg
    
    Raw_name
    
    Set
    
    Map
  - Reload
  - Reloadgen
    
    reload_generic
  - Remove_free_vars_equal_to_args
  - Remove_unused_arguments
  - Remove_unused_closure_vars
  - Remove_unused_program_constructs
  - Schedgen
    
    scheduler_generic
  - Scheduling
  - Selectgen
    
    Effect
    
    Coeffect
    
    Effect_and_coeffect
    
    selector_generic
  - Selection
  - Semantics_of_primitives
  - Set_of_closures_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Set_of_closures_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Share_constants
  - Simple_value_approx
  - Simplify_boxed_integer_ops
    
    Simplify_boxed_nativeint
    
    Simplify_boxed_int32
    
    Simplify_boxed_int64
  - Simplify_boxed_integer_ops_intf
    
    S
  - Simplify_common
  - Simplify_primitives
  - Spill
  - Split
  - Static_exception
    
    T
    
    Set
    
    Map
    
    Tbl
  - Strmatch
    
    I
    
    Make
  - Symbol
    
    T
    
    Set
    
    Map
    
    Tbl
  - Tag
    
    T
    
    Set
    
    Map
    
    Tbl
  - Traverse_for_exported_symbols
  - Un_anf
  - Unbox_closures
  - Unbox_free_vars_of_closures
  - Unbox_specialised_args
  - Var_within_closure
    
    T
    
    Set
    
    Map
    
    Tbl
  - Variable
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Pair
    
    T
    
    Set
    
    Map
    
    Tbl
  - X86_ast
  - X86_dsl
    
    D
    
    I
  - X86_gas
  - X86_masm
  - X86_proc
- Library ocamltoplevel
  - Genprintval
    
    OBJ
    
    EVALPATH
    
    S
    
    Make
  - Topcommon
  - Topdirs
  - Topeval
  - Toploop
  - Topmain
  - Trace
- Library odoc_info
  - Odoc_info
    
    Name
    
    Parameter
    
    Extension
    
    Exception
    
    Type
    
    Value
    
    Class
    
    Module
    
    Search
    
    Scan
    
    scanner
    
    Dep
    
    Global
- Library stdlib
  - CamlinternalAtomic
  - CamlinternalFormat
  - CamlinternalFormatBasics
  - CamlinternalLazy
  - CamlinternalMod
  - CamlinternalOO
  - Stdlib
    
    LargeFile
    
    Arg
    
    Array
    
    ArrayLabels
    
    Atomic
    
    Bigarray
    
    Genarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
    
    Bool
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Char
    
    Complex
    
    Digest
    
    Either
    
    Ephemeron
    
    S
    
    SeededS
    
    K1
    
    Make
    
    MakeSeeded
    
    Bucket
    
    K2
    
    Make
    
    MakeSeeded
    
    Bucket
    
    Kn
    
    Make
    
    MakeSeeded
    
    Bucket
    
    GenHashTable
    
    MakeSeeded
    
    Filename
    
    Float
    
    Array
    
    ArrayLabels
    
    Format
    
    Fun
    
    Gc
    
    Memprof
    
    Genlex
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    In_channel
    
    Int
    
    Int32
    
    Int64
    
    Lazy
    
    Lexing
    
    List
    
    ListLabels
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Marshal
    
    MoreLabels
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Nativeint
    
    Obj
    
    Closure
    
    Extension_constructor
    
    Ephemeron
    
    Oo
    
    Option
    
    Out_channel
    
    Parsing
    
    Pervasives
    
    LargeFile
    
    Printexc
    
    Slot
    
    Printf
    
    Queue
    
    Random
    
    State
    
    Result
    
    Scanf
    
    Scanning
    
    Seq
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Stack
    
    StdLabels
    
    Array
    
    Bytes
    
    List
    
    String
    
    Stream
    
    String
    
    StringLabels
    
    Sys
    
    Immediate64
    
    Non_immediate
    
    Immediate
    
    Make
    
    Uchar
    
    Unit
    
    Weak
    
    S
    
    Make
  - Topdirs
- Library str
  - Str
- Library threads
  - Condition
  - Event
  - Mutex
  - Semaphore
    
    Counting
    
    Binary
  - Thread
  - ThreadUnix
- Library unix
  - Unix
    
    LargeFile
  - UnixLabels
    
    LargeFile
- Sources
  - stdlib
    
    arg.ml
    
    array.ml
    
    arrayLabels.ml
    
    atomic.ml
    
    bigarray.ml
    
    bool.ml
    
    buffer.ml
    
    bytes.ml
    
    bytesLabels.ml
    
    callback.ml
    
    camlinternalAtomic.ml
    
    camlinternalFormat.ml
    
    camlinternalFormatBasics.ml
    
    camlinternalLazy.ml
    
    camlinternalMod.ml
    
    camlinternalOO.ml
    
    char.ml
    
    complex.ml
    
    digest.ml
    
    either.ml
    
    ephemeron.ml
    
    filename.ml
    
    float.ml
    
    format.ml
    
    fun.ml
    
    gc.ml
    
    genlex.ml
    
    hashtbl.ml
    
    in_channel.ml
    
    int.ml
    
    int32.ml
    
    int64.ml
    
    lazy.ml
    
    lexing.ml
    
    list.ml
    
    listLabels.ml
    
    map.ml
    
    marshal.ml
    
    moreLabels.ml
    
    nativeint.ml
    
    obj.ml
    
    oo.ml
    
    option.ml
    
    out_channel.ml
    
    parsing.ml
    
    pervasives.ml
    
    printexc.ml
    
    printf.ml
    
    queue.ml
    
    random.ml
    
    result.ml
    
    scanf.ml
    
    seq.ml
    
    set.ml
    
    stack.ml
    
    stdLabels.ml
    
    stdlib.ml
    
    stream.ml
    
    string.ml
    
    stringLabels.ml
    
    sys.ml
    
    uchar.ml
    
    unit.ml
    
    weak.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Unbox_free_vars_of_closures`

When approximations of free variables of closures indicate that they are closures or blocks, rewrite projections from such blocks to new variables (which become free in the closures), with the defining expressions of the projections lifted out of the corresponding sets of closures.

val run : 
  env:Inline_and_simplify_aux.Env.t ->
  set_of_closures:Flambda.set_of_closures ->
  (Flambda.expr * Inlining_cost.Benefit.t) option

package ocaml-base-compiler

Module Unbox_free_vars_of_closures

Module `Unbox_free_vars_of_closures`