Up

module Instruct

: sig
#
type compilation_env = {
# ce_stack
: int Ident.tbl;
# ce_heap
: int Ident.tbl;
# ce_rec
: int Ident.tbl;
}
#
type debug_event = {
# mutable ev_pos
: int;
# ev_module
: string;
# ev_loc
: Location.t;
# ev_kind
: debug_event_kind;
# ev_info
: debug_event_info;
# ev_typenv
: Env.summary;
# ev_typsubst
: Subst.t;
# ev_compenv
: compilation_env;
# ev_stacksize
: int;
# ev_repr
: debug_event_repr;
}
#
type debug_event_kind =
# | Event_before
# | Event_after of Types.type_expr
# | Event_pseudo
#
type debug_event_info =
# | Event_function
# | Event_return of int
# | Event_other
#
type debug_event_repr =
# | Event_none
# | Event_parent of int Pervasives.ref
# | Event_child of int Pervasives.ref
#
type label = int
#
type instruction =
# | Klabel of label
# | Kacc of int
# | Kenvacc of int
# | Kpush
# | Kpop of int
# | Kassign of int
# | Kpush_retaddr of label
# | Kapply of int
# | Kappterm of int * int
# | Kreturn of int
# | Krestart
# | Kgrab of int
# | Kclosure of label * int
# | Kclosurerec of label list * int
# | Koffsetclosure of int
# | Kgetglobal of Ident.t
# | Ksetglobal of Ident.t
# | Kmakeblock of int * int
# | Kmakefloatblock of int
# | Kgetfield of int
# | Ksetfield of int
# | Kgetfloatfield of int
# | Ksetfloatfield of int
# | Kvectlength
# | Kgetvectitem
# | Ksetvectitem
# | Kgetstringchar
# | Ksetstringchar
# | Kbranch of label
# | Kbranchif of label
# | Kbranchifnot of label
# | Kstrictbranchif of label
# | Kstrictbranchifnot of label
# | Kswitch of label array * label array
# | Kboolnot
# | Kpushtrap of label
# | Kpoptrap
# | Kraise of Lambda.raise_kind
# | Kcheck_signals
# | Kccall of string * int
# | Knegint
# | Kaddint
# | Ksubint
# | Kmulint
# | Kdivint
# | Kmodint
# | Kandint
# | Korint
# | Kxorint
# | Klslint
# | Klsrint
# | Kasrint
# | Kintcomp of Lambda.comparison
# | Koffsetint of int
# | Koffsetref of int
# | Kisint
# | Kisout
# | Kgetmethod
# | Kgetpubmet of int
# | Kgetdynmet
# | Kevent of debug_event
# | Kstop
#
val immed_min : int
#
val immed_max : int
end