ocaml-base-compiler 4.13.1

type integer_comparison =

| Isigned of Cmm.integer_comparison
| Iunsigned of Cmm.integer_comparison

type integer_operation =

| Iadd
| Isub
| Imul
| Imulh
| Idiv
| Imod
| Iand
| Ior
| Ixor
| Ilsl
| Ilsr
| Iasr
| Icomp of integer_comparison
| Icheckbound

type float_comparison = Cmm.float_comparison

type test =

| Itruetest
| Ifalsetest
| Iinttest of integer_comparison
| Iinttest_imm of integer_comparison * int
| Ifloattest of float_comparison
| Ioddtest
| Ieventest

type operation =

| Imove
| Ispill
| Ireload
| Iconst_int of nativeint
| Iconst_float of int64
| Iconst_symbol of string
| Icall_ind
| Icall_imm of {
1. func : string;
}
| Itailcall_ind
| Itailcall_imm of {
1. func : string;
}
| Iextcall of {
1. func : string;
2. ty_res : Cmm.machtype;
3. ty_args : Cmm.exttype list;
4. alloc : bool;
}
| Istackoffset of int
| Iload of Cmm.memory_chunk * Arch.addressing_mode * Asttypes.mutable_flag
| Istore of Cmm.memory_chunk * Arch.addressing_mode * bool
| Ialloc of {
1. bytes : int;
2. dbginfo : Debuginfo.alloc_dbginfo;
}
| Iintop of integer_operation
| Iintop_imm of integer_operation * int
| Inegf
| Iabsf
| Iaddf
| Isubf
| Imulf
| Idivf
| Ifloatofint
| Iintoffloat
| Iopaque
| Ispecific of Arch.specific_operation
| Ipoll of {
1. return_label : Cmm.label option;
}

type instruction = {

desc : instruction_desc;
next : instruction;
arg : Reg.t array;
res : Reg.t array;
dbg : Debuginfo.t;
mutable live : Reg.Set.t;

}

and instruction_desc =

| Iend
| Iop of operation
| Ireturn
| Iifthenelse of test * instruction * instruction
| Iswitch of int array * instruction array
| Icatch of Cmm.rec_flag * (int * instruction) list * instruction
| Iexit of int
| Itrywith of instruction * instruction
| Iraise of Lambda.raise_kind

type fundecl = {

fun_name : string;
fun_args : Reg.t array;
fun_body : instruction;
fun_codegen_options : Cmm.codegen_option list;
fun_dbg : Debuginfo.t;
fun_num_stack_slots : int array;
fun_contains_calls : bool;

}

val dummy_instr : instruction

val end_instr : unit -> instruction

val instr_cons : 
  instruction_desc ->
  Reg.t array ->
  Reg.t array ->
  instruction ->
  instruction

val instr_cons_debug : 
  instruction_desc ->
  Reg.t array ->
  Reg.t array ->
  Debuginfo.t ->
  instruction ->
  instruction

val instr_iter : (instruction -> unit) -> instruction -> unit

val operation_is_pure : operation -> bool

Returns true if the given operation only produces a result in its destination registers, but has no side effects whatsoever: it doesn't raise exceptions, it doesn't modify already-allocated blocks, it doesn't adjust the stack frame, etc.

val operation_can_raise : operation -> bool

Returns true if the given operation can raise an exception.

package ocaml-base-compiler