package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.08.1

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

sha256=b53ed3d487b83fd49bc181bded066ae8e6fb592cf40514261d27d36050d5db85

md5=723b6bfe8cf5abcbccc6911143f71055

doc/ocamloptcomp/Linearize/index.html

Module `Linearize`

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
| Lsetuptrap of label
| Lpushtrap
| 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;

}

val fundecl : Mach.fundecl -> fundecl