package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type label = Cmm.label

type instruction = {

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

}

and instruction_desc =

| Lprologue
| Lend
| Lop of Mach.operation
| Lreloadretaddr
| Lreturn
| Llabel of label
| Lbranch of label
| Lcondbranch of Mach.test * label
| Lcondbranch3 of label option * label option * label option
| Lswitch of label array
| Lentertrap
| Lpushtrap of {
1. lbl_handler : label;
}
| Lpoptrap
| Lraise of Cmm.raise_kind

val has_fallthrough : instruction_desc -> bool

val end_instr : instruction

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

val invert_test : Mach.test -> Mach.test

type fundecl = {

fun_name : string;
fun_body : instruction;
fun_fast : bool;
fun_dbg : Debuginfo.t;
fun_spacetime_shape : Mach.spacetime_shape option;
fun_tailrec_entry_point_label : label;

}

val fundecl : Mach.fundecl -> fundecl