package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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
| 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
| Ispecific of Arch.specific_operation
| Iname_for_debugger of {
1. ident : Backend_var.t;
2. which_parameter : int option;
3. provenance : unit option;
4. is_assignment : bool;
}
(*
Iname_for_debugger has the following semantics: (a) The argument register(s) is/are deemed to contain the value of the given identifier. (b) If is_assignment is true, any information about other Reg.ts that have been previously deemed to hold the value of that identifier is forgotten.
*)

type instruction = {

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

}

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_can_raise : operation -> bool