diff options
| author | No author <no_author@ocaml.org> | 1995-06-15 16:08:54 +0000 |
|---|---|---|
| committer | No author <no_author@ocaml.org> | 1995-06-15 16:08:54 +0000 |
| commit | 77b1c8b89fd8940a63b17c41eb37161e5d159831 (patch) | |
| tree | 43dbfb3982d9166b717199cb8faa97bdce30add7 /asmcomp/mach.mli | |
| parent | ba79d4bd1f01a70b892c69f6a5e6e86714a023d6 (diff) | |
| download | ocaml-unlabeled-1.2.2.tar.gz | |
This commit was manufactured by cvs2svn to create branchunlabeled-1.2.2
'unlabeled-1.2.2'.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unlabeled-1.2.2@37 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/mach.mli')
| -rw-r--r-- | asmcomp/mach.mli | 70 |
1 files changed, 0 insertions, 70 deletions
diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli deleted file mode 100644 index d1e8ddad5c..0000000000 --- a/asmcomp/mach.mli +++ /dev/null @@ -1,70 +0,0 @@ -(* Representation of machine code by sequences of pseudoinstructions *) - -type integer_comparison = - Isigned of Cmm.comparison - | Iunsigned of Cmm.comparison - -type integer_operation = - Iadd | Isub | Imul | Idiv | Imod - | Iand | Ior | Ixor | Ilsl | Ilsr | Iasr - | Icomp of integer_comparison - -type test = - Itruetest - | Ifalsetest - | Iinttest of integer_comparison - | Iinttest_imm of integer_comparison * int - | Ifloattest of Cmm.comparison - -type operation = - Imove - | Ispill - | Ireload - | Iconstant of Cmm.constant - | Icall_ind - | Icall_imm of string - | Itailcall_ind - | Itailcall_imm of string - | Iextcall of string - | Istackoffset of int - | Iload of Cmm.memory_chunk * Arch.addressing_mode - | Istore of Cmm.memory_chunk * Arch.addressing_mode - | Ialloc of int - | Imodify - | Iintop of integer_operation - | Iintop_imm of integer_operation * int - | Iaddf | Isubf | Imulf | Idivf - | Ifloatofint | Iintoffloat - | Ispecific of Arch.specific_operation - -type instruction = - { desc: instruction_desc; - next: instruction; - arg: Reg.t array; - res: Reg.t array; - mutable live: Reg.Set.t } - -and instruction_desc = - Iend - | Iop of operation - | Ireturn - | Iifthenelse of test * instruction * instruction - | Iswitch of int array * instruction array - | Iloop of instruction - | Icatch of instruction * instruction - | Iexit - | Itrywith of instruction * instruction - | Iraise - -type fundecl = - { fun_name: string; - fun_args: Reg.t array; - fun_body: instruction } - -val dummy_instr: instruction -val end_instr: unit -> instruction -val instr_cons: - instruction_desc -> Reg.t array -> Reg.t array -> instruction -> - instruction -val instr_iter: (instruction -> unit) -> instruction -> unit - |