diff options
-rw-r--r-- | asmcomp/i386/emit.mlp | 2 | ||||
-rw-r--r-- | asmcomp/i386/emit_nt.mlp | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/i386/emit.mlp b/asmcomp/i386/emit.mlp index 821928e23..91e360744 100644 --- a/asmcomp/i386/emit.mlp +++ b/asmcomp/i386/emit.mlp @@ -355,7 +355,7 @@ let emit_float_test cmp neg arg lbl = (* Emit a Ifloatspecial instruction *) let emit_floatspecial = function - "atan" -> ` fldl1; fpatan\n` + "atan" -> ` fld1; fpatan\n` | "atan2" -> ` fpatan\n` | "cos" -> ` fcos\n` | "log" -> ` fldln2; fxch; fyl2x\n` diff --git a/asmcomp/i386/emit_nt.mlp b/asmcomp/i386/emit_nt.mlp index 49d19cf53..367847e7c 100644 --- a/asmcomp/i386/emit_nt.mlp +++ b/asmcomp/i386/emit_nt.mlp @@ -329,7 +329,7 @@ let emit_float_test cmp neg arg lbl = (* Emit a Ifloatspecial instruction *) let emit_floatspecial = function - "atan" -> ` fldl1\n\tfpatan\n` + "atan" -> ` fld1\n\tfpatan\n` | "atan2" -> ` fpatan\n` | "cos" -> ` fcos\n` | "log" -> ` fldln2\n\tfxch\n\tfyl2x\n` |