package ocaml-compiler

You can search for identifiers within the package.

in-package search v0.2.0

ocaml-compiler
- Library compiler-libs.bytecomp
  - Bytegen
  - Bytelibrarian
  - Bytelink
    
    Dep
    
    DepSet
  - Bytepackager
  - Compile
  - Emitcode
  - Errors
  - Instruct
  - Maindriver
  - Printinstr
- Library compiler-libs.common
  - 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
    
    Name
  - CamlinternalMenhirLib
    
    General
    
    Convert
    
    Simplified
    
    IncrementalEngine
    
    INCREMENTAL_ENGINE
    
    SYMBOLS
    
    INSPECTION
    
    EVERYTHING
    
    EngineTypes
    
    LOG
    
    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
  - Compenv
  - Compile_common
  - Compmisc
  - Compression
  - Config
  - Config_boot
  - Config_main
  - Consistbl
    
    Make
  - Ctype
    
    Pattern_env
  - 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
  - Errortrace_report
  - Expunge
  - Format_doc
    
    Doc
  - Gprinttyp
    
    Decoration
  - 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
  - Linkdeps
  - Load_path
    
    Dir
  - Local_store
  - Location
    
    Doc
  - 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
    
    Color
    
    Style
    
    Error_style
    
    Magic_number
    
    Utf8_lexeme
  - Mtype
  - Numbers
    
    Int
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Int8
    
    Int16
    
    Float
    
    T
    
    Set
    
    Map
    
    Tbl
  - Opcodes
  - Oprint
  - Out_type
    
    Out_name
    
    Ident_names
    
    Ident_conflicts
    
    Variable_names
    
    Internal_names
  - 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
    
    Doc
  - Predef
  - Primitive
  - Printast
  - Printlambda
  - Printpat
    
    Compat
  - Printtyp
    
    Doc
  - Printtyped
  - Profile
  - Rawprinttyp
  - Runtimedef
  - Shape
    
    Uid
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Sig_component_kind
    
    Item
    
    Map
    
    Map
  - Shape_reduce
    
    Make
  - Signature_group
  - Simplif
  - Strongly_connected_components
    
    S
    
    Id
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Make
  - Stypes
  - Subst
    
    Unsafe
    
    Lazy
  - Switch
    
    Stored
    
    CtxStored
    
    CtxStore
    
    Store
    
    S
    
    Make
  - Symtable
    
    Compunit
    
    Set
    
    Map
    
    Predef
    
    Set
    
    Map
    
    Global
    
    Set
    
    Map
  - 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
    
    Uid
  - Typemod
    
    Signature_names
    
    Sig_component_kind
  - Typeopt
  - Types
    
    Transient_expr
    
    TransientTypeOps
    
    TransientTypeHash
    
    Uid
    
    MethSet
    
    VarSet
    
    Meths
    
    Vars
    
    Variance
    
    Separability
  - Typetexp
    
    TyVarEnv
  - Unit_info
    
    Artifact
  - Untypeast
  - Value_rec_check
  - Value_rec_compiler
  - Value_rec_types
  - Warnings
- Library compiler-libs.optcomp
  - 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
  - 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
  - Cmxs_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
  - Stackframe
  - Stackframegen
    
    stackframe_generic
  - Static_exception
    
    T
    
    Set
    
    Map
    
    Tbl
  - Strmatch
    
    I
    
    Make
  - Symbol
    
    T
    
    Set
    
    Map
    
    Tbl
  - Tag
    
    T
    
    Set
    
    Map
    
    Tbl
  - Thread_sanitizer
  - 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 compiler-libs.toplevel
  - Genprintval
    
    OBJ
    
    EVALPATH
    
    S
    
    Make
  - Topcommon
  - Topdirs
  - Topeval
  - Toploop
  - Topmain
  - Topprinters
  - Trace
- Library dynlink
  - Dynlink
- Library odoc_info
  - Odoc_dep
  - Odoc_extension
    
    Name
  - Odoc_info
    
    Name
    
    Parameter
    
    Extension
    
    Exception
    
    Type
    
    Value
    
    Class
    
    Module
    
    Search
    
    Scan
    
    scanner
    
    Dep
    
    Global
  - Odoc_messages
  - Odoc_parameter
  - Odoc_text_lexer
  - Odoc_type
    
    Name
  - Odoc_value
    
    Name
- Library runtime_events
  - Runtime_events
    
    Timestamp
    
    Type
    
    User
    
    Callbacks
- Library stdlib
  - CamlinternalFormat
  - CamlinternalFormatBasics
  - CamlinternalLazy
  - CamlinternalMod
  - CamlinternalOO
  - Stdlib
    
    LargeFile
    
    Arg
    
    Array
    
    ArrayLabels
    
    Atomic
    
    Bigarray
    
    Genarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
    
    Bool
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Char
    
    Complex
    
    Condition
    
    Digest
    
    S
    
    BLAKE128
    
    BLAKE256
    
    BLAKE512
    
    MD5
    
    Domain
    
    DLS
    
    Dynarray
    
    Effect
    
    Deep
    
    Shallow
    
    Either
    
    Ephemeron
    
    S
    
    SeededS
    
    K1
    
    Make
    
    MakeSeeded
    
    Bucket
    
    K2
    
    Make
    
    MakeSeeded
    
    Bucket
    
    Kn
    
    Make
    
    MakeSeeded
    
    Bucket
    
    Filename
    
    Float
    
    Array
    
    ArrayLabels
    
    Format
    
    Fun
    
    Gc
    
    Memprof
    
    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
    
    Mutex
    
    Nativeint
    
    Obj
    
    Extension_constructor
    
    Ephemeron
    
    Oo
    
    Option
    
    Out_channel
    
    Parsing
    
    Printexc
    
    Slot
    
    Printf
    
    Queue
    
    Random
    
    State
    
    Result
    
    Scanf
    
    Scanning
    
    Semaphore
    
    Counting
    
    Binary
    
    Seq
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Stack
    
    StdLabels
    
    Array
    
    Bytes
    
    List
    
    String
    
    String
    
    StringLabels
    
    Sys
    
    Immediate64
    
    Non_immediate
    
    Immediate
    
    Make
    
    Type
    
    Id
    
    Uchar
    
    Unit
    
    Weak
    
    S
    
    Make
- Library str
  - Str
- Library threads
  - Event
  - Thread
- 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
    
    camlinternalFormat.ml
    
    camlinternalFormatBasics.ml
    
    camlinternalLazy.ml
    
    camlinternalMod.ml
    
    camlinternalOO.ml
    
    char.ml
    
    complex.ml
    
    condition.ml
    
    digest.ml
    
    domain.ml
    
    dynarray.ml
    
    effect.ml
    
    either.ml
    
    ephemeron.ml
    
    filename.ml
    
    float.ml
    
    format.ml
    
    fun.ml
    
    gc.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
    
    mutex.ml
    
    nativeint.ml
    
    obj.ml
    
    oo.ml
    
    option.ml
    
    out_channel.ml
    
    parsing.ml
    
    printexc.ml
    
    printf.ml
    
    queue.ml
    
    random.ml
    
    result.ml
    
    scanf.ml
    
    semaphore.ml
    
    seq.ml
    
    set.ml
    
    stack.ml
    
    stdLabels.ml
    
    stdlib.ml
    
    string.ml
    
    stringLabels.ml
    
    sys.ml
    
    type.ml
    
    uchar.ml
    
    unit.ml
    
    weak.ml

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

Module `Simplify_primitives`

val primitive : 
  Clambda_primitives.primitive ->
  (Variable.t list * Simple_value_approx.t list) ->
  Flambda.named ->
  Debuginfo.t ->
  size_int:int ->
  Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t

Simplifies an application of a primitive based on approximation information.

package ocaml-compiler

Module Simplify_primitives

Module `Simplify_primitives`