package ocaml-base-compiler
type label = Cmm.labeltype instruction = {mutable desc : instruction_desc;mutable next : instruction;arg : Reg.t array;res : Reg.t array;dbg : Debuginfo.t;live : Reg.Set.t;
}val has_fallthrough : instruction_desc -> boolval end_instr : instructionval instr_cons :
instruction_desc ->
Reg.t array ->
Reg.t array ->
instruction ->
instructiontype fundecl = {fun_name : string;fun_body : instruction;fun_fast : bool;fun_dbg : Debuginfo.t;fun_spacetime_shape : Mach.spacetime_shape option;
}val fundecl : Mach.fundecl -> fundecl