1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(** From Lambda to assembly code *)
(** The type of converters from Lambda to Clambda. *)
type middle_end =
backend:(module Backend_intf.S)
-> prefixname:string
-> ppf_dump:Format.formatter
-> Lambda.program
-> Clambda.with_constants
(** Compile an implementation from Lambda using the given middle end. *)
val compile_implementation
: ?toplevel:(string -> bool)
-> backend:(module Backend_intf.S)
-> prefixname:string
-> middle_end:middle_end
-> ppf_dump:Format.formatter
-> Lambda.program
-> unit
val compile_implementation_linear :
Unit_info.t -> unit
val compile_phrase :
ppf_dump:Format.formatter -> Cmm.phrase -> unit
type error =
| Assembler_error of string
| Mismatched_for_pack of string option
| Asm_generation of string * Emitaux.error
exception Error of error
val report_error: error Format_doc.format_printer
val report_error_doc: error Format_doc.printer
val compile_unit
: output_prefix:string
-> asm_filename:string
-> keep_asm:bool
-> obj_filename:string
-> (unit -> unit)
-> unit
|
