package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official 4.06.1 release

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Maintainers

David Allsopp

Sources

sha256=fef12a65cab5f6d15ea22a72e328349530e179308f1005100e45e50a228d72c4

md5=d02eb67b828de22c3f97d94b3c46acba

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 =

| 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