90 lines
2.9 KiB
OCaml
90 lines
2.9 KiB
OCaml
(***********************************************************************)
|
|
(* *)
|
|
(* Objective Caml *)
|
|
(* *)
|
|
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
|
|
(* *)
|
|
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
|
(* Automatique. Distributed only by permission. *)
|
|
(* *)
|
|
(***********************************************************************)
|
|
|
|
(* $Id$ *)
|
|
|
|
open Lambda
|
|
|
|
type compilation_env =
|
|
{ ce_stack: int Ident.tbl;
|
|
ce_heap: int Ident.tbl }
|
|
|
|
type debug_event =
|
|
{ mutable ev_pos: int; (* Position in bytecode *)
|
|
ev_file: string; (* Source file name *)
|
|
ev_char: int; (* Location in source file *)
|
|
ev_kind: debug_event_kind; (* Before/after event *)
|
|
ev_typenv: Env.summary; (* Typing environment *)
|
|
ev_compenv: compilation_env; (* Compilation environment *)
|
|
ev_stacksize: int } (* Size of stack frame *)
|
|
|
|
and debug_event_kind =
|
|
Event_before
|
|
| Event_after of Types.type_expr
|
|
|
|
type label = int (* Symbolic code labels *)
|
|
|
|
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 (* number of arguments *)
|
|
| Kappterm of int * int (* number of arguments, slot size *)
|
|
| Kreturn of int (* slot size *)
|
|
| Krestart
|
|
| Kgrab of int (* number of arguments *)
|
|
| Kclosure of label * int
|
|
| Kclosurerec of label * int
|
|
| Kgetglobal of Ident.t
|
|
| Ksetglobal of Ident.t
|
|
| Kconst of structured_constant
|
|
| Kmakeblock of int * int (* size, tag *)
|
|
| Kgetfield of int
|
|
| Ksetfield of int
|
|
| Kdummy of int
|
|
| Kupdate 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
|
|
| Kcheck_signals
|
|
| Kccall of string * int
|
|
| Knegint | Kaddint | Ksubint | Kmulint | Kdivint | Kmodint
|
|
| Kandint | Korint | Kxorint | Klslint | Klsrint | Kasrint
|
|
| Kintcomp of comparison
|
|
| Koffsetint of int
|
|
| Koffsetref of int
|
|
| Kgetmethod
|
|
| Kevent of debug_event
|
|
| Kstop
|
|
|
|
let immed_min = -0x40000000
|
|
and immed_max = 0x3FFFFFFF
|
|
|
|
(* Actually the abstract machine accomodates -0x80000000 to 0x7FFFFFFF,
|
|
but these numbers overflow the Caml type int if the compiler runs on
|
|
a 32-bit processor. *)
|