diff options
Diffstat (limited to 'asmcomp/codegen.mli')
| -rw-r--r-- | asmcomp/codegen.mli | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/asmcomp/codegen.mli b/asmcomp/codegen.mli deleted file mode 100644 index 0aa58e8991..0000000000 --- a/asmcomp/codegen.mli +++ /dev/null @@ -1,15 +0,0 @@ -(* From C-- to assembly code *) - -val phrase: Cmm.phrase -> unit -val file: string -> unit - -val dump_cmm: bool ref -val dump_selection: bool ref -val dump_live: bool ref -val dump_spill: bool ref -val dump_split: bool ref -val dump_interf: bool ref -val dump_prefer: bool ref -val dump_regalloc: bool ref -val dump_reload: bool ref -val dump_linear: bool ref |