diff options
Diffstat (limited to 'asmcomp/x86_masm.ml')
| -rw-r--r-- | asmcomp/x86_masm.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/asmcomp/x86_masm.ml b/asmcomp/x86_masm.ml index aa74e0c933..10668b0206 100644 --- a/asmcomp/x86_masm.ml +++ b/asmcomp/x86_masm.ml @@ -124,6 +124,8 @@ let print_instr b = function | CDQ -> i0 b "cdq" | CMOV (c, arg1, arg2) -> i2 b ("cmov" ^ string_of_condition c) arg1 arg2 | CMP (arg1, arg2) -> i2 b "cmp" arg1 arg2 + | CMPSD (c, arg1, arg2) -> + i2 b ("cmp" ^ string_of_float_condition c ^ "sd") arg1 arg2 | COMISD (arg1, arg2) -> i2 b "comisd" arg1 arg2 | CQO -> i0 b "cqo" | CVTSD2SI (arg1, arg2) -> i2 b "cvtsd2si" arg1 arg2 @@ -184,6 +186,7 @@ let print_instr b = function i2 b "mov" arg1 (Reg32 r) | MOV (arg1, arg2) -> i2 b "mov" arg1 arg2 | MOVAPD (arg1, arg2) -> i2 b "movapd" arg1 arg2 + | MOVD (arg1, arg2) -> i2 b "movd" arg1 arg2 | MOVLPD (arg1, arg2) -> i2 b "movlpd" arg1 arg2 | MOVSD (arg1, arg2) -> i2 b "movsd" arg1 arg2 | MOVSS (arg1, arg2) -> i2 b "movss" arg1 arg2 |