diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-03-30 17:58:16 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-03-30 17:58:16 +0100 |
| commit | ce0eb9aac06983497f716dc44c473e7beb8bbed0 (patch) | |
| tree | 11582b68354b1d1c2fe6062398a38e631c7bb890 /asmcomp/mach.mli | |
| parent | c02d4579d7167330b3f212550e89a3aa3f303e99 (diff) | |
| parent | 15e8f62b851a8cf5e4a88d6d674f7c171cc1ae35 (diff) | |
| download | ocaml-ce0eb9aac06983497f716dc44c473e7beb8bbed0.tar.gz | |
Merge commit '15e8f62b851a8cf5e4a88d6d674f7c171cc1ae35' into parallel_minor_gc_4_07_take2
Diffstat (limited to 'asmcomp/mach.mli')
| -rw-r--r-- | asmcomp/mach.mli | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli index f5a6bfba25..15561538b4 100644 --- a/asmcomp/mach.mli +++ b/asmcomp/mach.mli @@ -22,8 +22,8 @@ type label = Cmm.label type integer_comparison = - Isigned of Cmm.comparison - | Iunsigned of Cmm.comparison + Isigned of Cmm.integer_comparison + | Iunsigned of Cmm.integer_comparison type integer_operation = Iadd | Isub | Imul | Imulh | Idiv | Imod @@ -35,12 +35,14 @@ type integer_operation = second being the pointer to the trie node for the current function (and the first being as per non-Spacetime mode). *) +type float_comparison = Cmm.float_comparison + type test = Itruetest | Ifalsetest | Iinttest of integer_comparison | Iinttest_imm of integer_comparison * int - | Ifloattest of Cmm.comparison * bool + | Ifloattest of float_comparison | Ioddtest | Ieventest |