diff options
Diffstat (limited to 'asmcomp/power/emit.mlp')
| -rw-r--r-- | asmcomp/power/emit.mlp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/power/emit.mlp b/asmcomp/power/emit.mlp index eac1231dca..320ad26ab7 100644 --- a/asmcomp/power/emit.mlp +++ b/asmcomp/power/emit.mlp @@ -550,11 +550,11 @@ let emit_instr i = begin match abi with | ELF32 -> let lbl = new_label() in - float_literals := (Int64.bits_of_float f, lbl) :: !float_literals; + float_literals := (f, lbl) :: !float_literals; ` addis 11, 0, {emit_upper emit_label lbl}\n`; ` lfd {emit_reg i.res.(0)}, {emit_lower emit_label lbl}(11)\n` | ELF64v1 | ELF64v2 -> - let entry = TocFloat (Int64.bits_of_float f) in + let entry = TocFloat f in let lbl = label_for_tocref entry in if !big_toc || !Clflags.for_package <> None then begin ` addis 11, 2, {emit_label lbl}@toc@ha\n`; |