Flambda_invariants · ocaml-base-compiler 4.14.0

ocaml-base-compiler

Official release 4.14.0

package ocaml-base-compiler

bigarray
- Bigarray
  - Array0
  - Array1
  - Array2
  - Array3
  - Genarray
dynlink
- Dynlink
ocamlbytecomp
- Bytegen
- Bytelibrarian
- Bytelink
- Bytepackager
- Compile
- Emitcode
- Errors
- Instruct
- Maindriver
- Printinstr
ocamlcommon
- Arg_helper
  - Make
    
    1-S
    
    Key
    
    Map
    
    Value
- Ast_helper
  - Attr
  - Cf
  - Ci
  - Cl
  - Const
  - Csig
  - Cstr
  - Ctf
  - Cty
  - Exp
  - Incl
  - Mb
  - Md
  - Mod
  - Ms
  - Mtd
  - Mty
  - Of
  - Opn
  - Pat
  - Rf
  - Sig
  - Str
  - Te
  - Typ
  - Type
  - Val
  - Vb
- Ast_invariants
- Ast_iterator
- Ast_mapper
- Attr_helper
- Binutils
- Btype
  - For_copy
  - TransientTypeMap
  - TypeHash
  - TypeMap
  - TypePairs
  - TypeSet
- Build_path_prefix_map
- Builtin_attributes
- Bytesections
- CamlinternalMenhirLib
  - Convert
    
    Simplified
  - Engine
    
    Make
    
    1-T
    
    Log
  - EngineTypes
    
    ENGINE
    
    INCREMENTAL_ENGINE_START
    
    MONOLITHIC_ENGINE
    
    TABLE
    
    Log
  - ErrorReports
  - General
  - IncrementalEngine
    
    EVERYTHING
    
    INCREMENTAL_ENGINE
    
    INSPECTION
    
    SYMBOLS
  - InfiniteArray
  - InspectionTableFormat
    
    TABLES
  - InspectionTableInterpreter
    
    Make
    
    1-TT
    
    2-IT
    
    3-ET
    
    Log
    
    4-E
    
    Symbols
    
    1-T
  - LexerUtil
  - LinearizedArray
  - PackedIntArray
  - Printers
    
    Make
    
    1-I
    
    2-User
  - RowDisplacement
  - StaticVersion
  - TableFormat
    
    TABLES
  - TableInterpreter
    
    MakeEngineTable
    
    1-T
    
    Log
- Ccomp
- Clflags
- Cmi_format
- Cmt2annot
- Cmt_format
- Compenv
- Compile_common
- Compmisc
- Config
- Consistbl
  - Make
    
    1-Module_name
    
    Map
    
    Set
    
    Tbl
- Ctype
- Datarepr
- Debuginfo
  - Scoped_location
- Depend
- Diffing
  - Define
    
    1-D
    
    Left_variadic
    
    1-_
    
    Parameters
    
    Right_variadic
    
    1-_
    
    S
    
    Simple
    
    1-_
  - Defs
- Diffing_with_keys
  - Define
    
    1-D
    
    Parameters
    
    Simple
    
    1-_
- Dll
- Docstrings
  - WithMenhir
- Domainstate
- Env
- Envaux
- Errortrace
  - Subtype
- Ident
  - Map
  - Set
  - T
  - Tbl
- Identifiable
  - Make
    
    1-T
    
    Map
    
    Set
    
    T
    
    Tbl
  - Map
    
    T
  - Pair
    
    1-A
    
    2-B
  - S
    
    Map
    
    Set
    
    T
    
    Tbl
  - Set
    
    T
  - Tbl
    
    T
  - Thing
- Includeclass
- Includecore
- Includemod
- Includemod_errorprinter
- Int_replace_polymorphic_compare
- Lambda
- Lazy_backtrack
- Lexer
- Load_path
  - Dir
- Local_store
- Location
- Longident
- Main_args
- Makedepend
- Matching
- Meta
- Misc
  - Color
  - Error_style
  - Int_literal_converter
  - LongString
  - Magic_number
  - Stdlib
    
    Array
    
    List
    
    Option
    
    String
    
    Map
    
    Set
    
    Tbl
- Mtype
- Numbers
  - Float
    
    Map
    
    Set
    
    T
    
    Tbl
  - Int
    
    Map
    
    Set
    
    T
    
    Tbl
  - Int16
  - Int8
- Opcodes
- Oprint
- Parmatch
  - Compat
    
    1-_
- Parse
- Parser
  - Incremental
  - MenhirInterpreter
- Path
  - Map
  - Set
- Patterns
  - General
  - Half_simple
  - Head
  - Non_empty_row
  - Simple
- Persistent_env
  - Consistbl
  - Persistent_signature
- Pparse
- Pprintast
- Predef
- Primitive
- Printast
- Printlambda
- Printpat
- Printtyp
- Printtyped
- Profile
- Rec_check
- Runtimedef
- Shape
  - Item
    
    Map
  - Make_reduce
    
    1-Context
  - Map
  - Sig_component_kind
  - Uid
    
    Map
    
    Set
    
    T
    
    Tbl
- Signature_group
- Simplif
- Strongly_connected_components
  - Make
    
    1-Id
    
    Map
    
    Set
    
    T
    
    Tbl
  - S
    
    Id
    
    Map
    
    Set
    
    T
    
    Tbl
- Stypes
- Subst
  - Lazy
- Switch
  - CtxStore
    
    1-A
  - CtxStored
  - Make
    
    1-Arg
  - S
  - Store
    
    1-A
  - Stored
- 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
  - Sig_component_kind
  - Signature_names
- Typeopt
- Types
  - MethSet
  - Meths
  - Separability
  - TransientTypeOps
  - Transient_expr
  - VarSet
  - Variance
  - Vars
- Typetexp
- Untypeast
- Warnings
ocamlmiddleend
- Alias_analysis
- Allocated_const
- Augment_specialised_args
  - Definition
  - Make
    
    1-_
  - S
  - What_to_specialise
- Backend_var
  - Provenance
  - With_provenance
- Build_export_info
- Clambda
- Clambda_primitives
- Closure
- Closure_conversion
- Closure_conversion_aux
  - Env
  - Function_decls
    
    Function_decl
- Closure_element
  - Map
  - Set
  - T
  - Tbl
- Closure_id
  - Map
  - Set
  - T
  - Tbl
- Closure_middle_end
- Closure_offsets
- Closure_origin
  - Map
  - Set
  - T
  - Tbl
- Compilation_unit
  - Map
  - Set
  - T
  - Tbl
- Compilenv
- Convert_primitives
- Effect_analysis
- Export_id
  - Map
  - Set
  - T
  - Tbl
- Export_info
- Export_info_for_pack
- Extract_projections
- Find_recursive_functions
- Flambda
  - Constant_defining_value
    
    Map
    
    Set
    
    T
    
    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
    
    1-_
    
    2-Compilation_unit
    
    Compilation_unit
- Import_approx
- Inconstant_idents
- Initialize_symbol_to_let_symbol
- Inline_and_simplify
- Inline_and_simplify_aux
  - Env
  - Result
- Inlining_cost
- Inlining_decision
- Inlining_stats
  - Closure_stack
- Inlining_stats_types
- Inlining_transforms
- Internal_variable_names
- Invariant_params
- Lift_code
- Lift_constants
- Lift_let_to_initialize_symbol
- Linkage_name
  - Map
  - Set
  - T
  - Tbl
- Mutable_variable
  - Map
  - Set
  - T
  - Tbl
- Parameter
  - List
  - Map
  - Set
  - T
  - Tbl
- Pass_wrapper
- Printclambda
- Printclambda_primitives
- Projection
  - Map
  - Set
  - T
  - 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
  - Map
  - Set
  - T
  - Tbl
- Set_of_closures_origin
  - Map
  - Set
  - T
  - Tbl
- Share_constants
- Simple_value_approx
- Simplify_boxed_integer_ops
- Simplify_common
- Simplify_primitives
- Static_exception
  - Map
  - Set
  - T
  - Tbl
- Symbol
  - Map
  - Set
  - T
  - Tbl
- Tag
  - Map
  - Set
  - T
  - Tbl
- Traverse_for_exported_symbols
- Un_anf
- Unbox_closures
- Unbox_free_vars_of_closures
- Unbox_specialised_args
- Var_within_closure
  - Map
  - Set
  - T
  - Tbl
- Variable
  - Map
  - Pair
    
    Map
    
    Set
    
    T
    
    Tbl
  - Set
  - T
  - Tbl
ocamloptcomp
- Afl_instrument
- Alias_analysis
- Allocated_const
- Arch
- Asmgen
- Asmlibrarian
- Asmlink
- Asmpackager
- Augment_specialised_args
  - Definition
  - Make
    
    1-_
  - S
  - What_to_specialise
- Backend_var
  - Provenance
  - With_provenance
- Branch_relaxation
  - Make
    
    1-T
    
    Cond_branch
- 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
  - Map
  - Set
  - T
  - Tbl
- Closure_id
  - Map
  - Set
  - T
  - Tbl
- Closure_middle_end
- Closure_offsets
- Closure_origin
  - Map
  - Set
  - T
  - Tbl
- Cmm
- Cmm_helpers
- Cmm_invariants
- Cmmgen
- Cmmgen_state
- Coloring
- Comballoc
- Compilation_unit
  - Map
  - Set
  - T
  - Tbl
- Compilenv
- Convert_primitives
- Dataflow
  - Backward
    
    1-D
  - DOMAIN
- Deadcode
- Effect_analysis
- Emit
- Emitaux
- Export_id
  - Map
  - Set
  - T
  - Tbl
- Export_info
- Export_info_for_pack
- Extract_projections
- Find_recursive_functions
- Flambda
  - Constant_defining_value
    
    Map
    
    Set
    
    T
    
    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
    
    1-_
    
    2-Compilation_unit
    
    Compilation_unit
- Import_approx
- Inconstant_idents
- Initialize_symbol_to_let_symbol
- Inline_and_simplify
- Inline_and_simplify_aux
  - Env
  - Result
- Inlining_cost
- Inlining_decision
- Inlining_stats
  - Closure_stack
- Inlining_stats_types
- Inlining_transforms
- Interf
- Internal_variable_names
- Interval
- Invariant_params
- Lift_code
- Lift_constants
- Lift_let_to_initialize_symbol
- Linear
- Linear_format
- Linearize
- Linkage_name
  - Map
  - Set
  - T
  - Tbl
- Linscan
- Liveness
- Mach
- Mutable_variable
  - Map
  - Set
  - T
  - Tbl
- Optcompile
- Opterrors
- Optmaindriver
- Parameter
  - List
  - Map
  - Set
  - T
  - Tbl
- Pass_wrapper
- Polling
- Printclambda
- Printclambda_primitives
- Printcmm
- Printlinear
- Printmach
- Proc
- Projection
  - Map
  - Set
  - T
  - Tbl
- Ref_to_variables
- Reg
  - Map
  - Raw_name
  - Set
- 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
- Selection
- Semantics_of_primitives
- Set_of_closures_id
  - Map
  - Set
  - T
  - Tbl
- Set_of_closures_origin
  - Map
  - Set
  - T
  - Tbl
- Share_constants
- Simple_value_approx
- Simplify_boxed_integer_ops
- Simplify_common
- Simplify_primitives
- Spill
- Split
- Static_exception
  - Map
  - Set
  - T
  - Tbl
- Strmatch
  - I
  - Make
    
    1-_
- Symbol
  - Map
  - Set
  - T
  - Tbl
- Tag
  - Map
  - Set
  - T
  - Tbl
- Traverse_for_exported_symbols
- Un_anf
- Unbox_closures
- Unbox_free_vars_of_closures
- Unbox_specialised_args
- Var_within_closure
  - Map
  - Set
  - T
  - Tbl
- Variable
  - Map
  - Pair
    
    Map
    
    Set
    
    T
    
    Tbl
  - Set
  - T
  - Tbl
- X86_dsl
  - D
  - I
- X86_gas
- X86_masm
- X86_proc
ocamltoplevel
- Genprintval
  - EVALPATH
  - Make
    
    1-O
    
    2-_
  - OBJ
  - S
- Topcommon
- Topdirs
- Topeval
- Toploop
- Topmain
- Trace
odoc_info
- Odoc_analyse
- Odoc_ast
  - Analyser
    
    1-_
  - Typedtree_search
- Odoc_class
- Odoc_comments
  - Basic_info_retriever
  - Texter
- Odoc_comments_global
- Odoc_config
- Odoc_control
- Odoc_cross
- Odoc_dep
  - Dep
- Odoc_env
- Odoc_exception
- Odoc_extension
- Odoc_global
- Odoc_info
  - Class
  - Dep
  - Exception
  - Extension
  - Global
  - Module
  - Name
  - Parameter
  - Scan
    
    scanner
  - Search
  - Type
  - Value
- Odoc_inherit
- Odoc_lexer
- Odoc_merge
- Odoc_messages
- Odoc_misc
- Odoc_module
- Odoc_name
  - Map
- Odoc_parameter
- Odoc_parser
- Odoc_print
- Odoc_scan
  - scanner
- Odoc_search
  - P_name
  - Predicates
  - Search
    
    1-P
  - Search_by_name
- Odoc_see_lexer
- Odoc_sig
- Odoc_str
- Odoc_text
  - Texter
- Odoc_text_lexer
- Odoc_text_parser
- Odoc_type
- Odoc_types
- Odoc_value
stdlib
- CamlinternalAtomic
- CamlinternalFormat
- CamlinternalFormatBasics
- CamlinternalLazy
- CamlinternalMod
- CamlinternalOO
- Stdlib
  - Arg
  - Array
  - ArrayLabels
  - Atomic
  - Bigarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
    
    Genarray
  - Bool
  - Buffer
  - Bytes
  - BytesLabels
  - Callback
  - Char
  - Complex
  - Digest
  - Either
  - Ephemeron
    
    GenHashTable
    
    MakeSeeded
    
    1-H
    
    K1
    
    Bucket
    
    Make
    
    1-H
    
    MakeSeeded
    
    1-H
    
    K2
    
    Bucket
    
    Make
    
    1-H1
    
    2-H2
    
    MakeSeeded
    
    1-H1
    
    2-H2
    
    Kn
    
    Bucket
    
    Make
    
    1-H
    
    MakeSeeded
    
    1-H
    
    S
    
    SeededS
  - Filename
  - Float
    
    Array
    
    ArrayLabels
  - Format
  - Fun
  - Gc
    
    Memprof
  - Genlex
  - Hashtbl
    
    HashedType
    
    Make
    
    1-H
    
    MakeSeeded
    
    1-H
    
    S
    
    SeededHashedType
    
    SeededS
  - In_channel
  - Int
  - Int32
  - Int64
  - LargeFile
  - Lazy
  - Lexing
  - List
  - ListLabels
  - Map
    
    Make
    
    1-Ord
    
    OrderedType
    
    S
  - Marshal
  - MoreLabels
    
    Hashtbl
    
    HashedType
    
    Make
    
    1-H
    
    MakeSeeded
    
    1-H
    
    S
    
    SeededHashedType
    
    SeededS
    
    Map
    
    Make
    
    1-Ord
    
    OrderedType
    
    S
    
    Set
    
    Make
    
    1-Ord
    
    OrderedType
    
    S
  - Nativeint
  - Obj
    
    Closure
    
    Ephemeron
    
    Extension_constructor
  - Oo
  - Option
  - Out_channel
  - Parsing
  - Pervasives
  - Printexc
    
    Slot
  - Printf
  - Queue
  - Random
    
    State
  - Result
  - Scanf
    
    Scanning
  - Seq
  - Set
    
    Make
    
    1-Ord
    
    OrderedType
    
    S
  - Stack
  - StdLabels
  - Stream
  - String
  - StringLabels
  - Sys
    
    Immediate64
    
    Immediate
    
    Make
    
    1-Immediate
    
    2-Non_immediate
    
    Non_immediate
  - Uchar
  - Unit
  - Weak
    
    Make
    
    1-H
    
    S
str
- Str
threads
- Condition
- Event
- Mutex
- Semaphore
  - Binary
  - Counting
- Thread
- ThreadUnix
unix
- Unix
  - LargeFile
- UnixLabels
  - LargeFile

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library ocamlmiddleend

Module Flambda_invariants

type flambda_kind =

| Normal

| Lifted

val check_exn : ?kind:flambda_kind -> Flambda.program -> unit

Checking of invariants on Flambda expressions. Raises an exception if a check fails.