ocaml-base-compiler 4.09.1

type machtype_component =

type machtype = machtype_component array

val typ_void : machtype

val typ_val : machtype

val typ_addr : machtype

val typ_int : machtype

val typ_float : machtype

val size_component : machtype_component -> int

val lub_component : 
  machtype_component ->
  machtype_component ->
  machtype_component

Least upper bound of two machtype_components.

val ge_component : machtype_component -> machtype_component -> bool

Returns true iff the first supplied machtype_component is greater than or equal to the second under the relation used by lub_component.

val size_machtype : machtype -> int

type integer_comparison = Lambda.integer_comparison =

val negate_integer_comparison : integer_comparison -> integer_comparison

val swap_integer_comparison : integer_comparison -> integer_comparison

type float_comparison = Lambda.float_comparison =

val negate_float_comparison : float_comparison -> float_comparison

val swap_float_comparison : float_comparison -> float_comparison

type label = int

val new_label : unit -> label

type raise_kind =

type rec_flag =

type phantom_defining_expr =

| Cphantom_const_int of Targetint.t
(*
The phantom-let-bound variable is a constant integer. The argument must be the tagged representation of an integer within the range of type int on the target. (Analogously to Cconst_int.)
*)
| Cphantom_const_symbol of string
(*
The phantom-let-bound variable is an alias for a symbol.
*)
| Cphantom_var of Backend_var.t
(*
The phantom-let-bound variable is an alias for another variable. The aliased variable must not be a bound by a phantom let.
*)
| Cphantom_offset_var of {
1. var : Backend_var.t;
2. offset_in_words : int;
}
(*
The phantom-let-bound-variable's value is defined by adding the given number of words to the pointer contained in the given identifier.
*)
| Cphantom_read_field of {
1. var : Backend_var.t;
2. field : int;
}
(*
The phantom-let-bound-variable's value is found by adding the given number of words to the pointer contained in the given identifier, then dereferencing.
*)
| Cphantom_read_symbol_field of {
1. sym : string;
2. field : int;
}
(*
As for Uphantom_read_var_field, but with the pointer specified by a symbol.
*)
| Cphantom_block of {
1. tag : int;
2. fields : Backend_var.t list;
}
(*
The phantom-let-bound variable points at a block with the given structure.
*)

type memory_chunk =

and operation =

and expression =

| Cconst_int of int * Debuginfo.t
| Cconst_natint of nativeint * Debuginfo.t
| Cconst_float of float * Debuginfo.t
| Cconst_symbol of string * Debuginfo.t
| Cconst_pointer of int * Debuginfo.t
| Cconst_natpointer of nativeint * Debuginfo.t
| Cblockheader of nativeint * Debuginfo.t
| Cvar of Backend_var.t
| Clet of Backend_var.With_provenance.t * expression * expression
| Cphantom_let of Backend_var.With_provenance.t * phantom_defining_expr option * expression
| Cassign of Backend_var.t * expression
| Ctuple of expression list
| Cop of operation * expression list * Debuginfo.t
| Csequence of expression * expression
| Cifthenelse of expression * Debuginfo.t * expression * Debuginfo.t * expression * Debuginfo.t
| Cswitch of expression * int array * (expression * Debuginfo.t) array * Debuginfo.t
| Ccatch of rec_flag * (int * (Backend_var.With_provenance.t * machtype) list * expression * Debuginfo.t) list * expression
| Cexit of int * expression list
| Ctrywith of expression * Backend_var.With_provenance.t * expression * Debuginfo.t

Every basic block should have a corresponding Debuginfo.t for its beginning.

type codegen_option =

type fundecl = {

}

type data_item =

type phrase =

val ccatch : 
  (int
   * (Backend_var.With_provenance.t * machtype) list
   * expression
   * expression
   * Debuginfo.t) ->
  expression

val reset : unit -> unit

package ocaml-base-compiler