• en

Module Instruct

type compilation_env = {
ce_stack : int Ident.tbl;
ce_heap : int Ident.tbl;
ce_rec : int Ident.tbl;
}
type debug_event = {
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