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 (* From C-- to assembly code *)
17 val phrase
: Cmm.phrase
-> unit
18 val file
: string -> unit
20 val dump_cmm
: bool ref
21 val dump_selection
: bool ref
22 val dump_live
: bool ref
23 val dump_spill
: bool ref
24 val dump_split
: bool ref
25 val dump_interf
: bool ref
26 val dump_prefer
: bool ref
27 val dump_regalloc
: bool ref
28 val dump_reload
: bool ref
29 val dump_linear
: bool ref