1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
15 (* Generation of bytecode for .cmo files *)
20 val to_file
: out_channel
-> string -> instruction list
-> unit
22 channel on output file
23 name of compilation unit implemented
24 list of instructions to emit *)
25 val to_memory
: instruction list
-> instruction list
->
26 string * int * (reloc_info
* int) list
28 initialization code (terminated by STOP)
31 block of relocatable bytecode
33 relocation information *)
35 out_channel
-> instruction list
-> (reloc_info
* int) list
37 channel on output file
38 list of instructions to emit
40 relocation information (reversed) *)