diff options
Diffstat (limited to 'runtime/x86_64/i64_utof.S')
-rw-r--r-- | runtime/x86_64/i64_utof.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_64/i64_utof.S b/runtime/x86_64/i64_utof.S index d0935341..63a33920 100644 --- a/runtime/x86_64/i64_utof.S +++ b/runtime/x86_64/i64_utof.S @@ -38,7 +38,7 @@ // Conversion unsigned long -> single-precision float -FUNCTION(__i64_utof) +FUNCTION(__compcert_i64_utof) testq %rdi, %rdi js 1f pxor %xmm0, %xmm0 // if < 2^63, @@ -53,4 +53,4 @@ FUNCTION(__i64_utof) cvtsi2ssq %rax, %xmm0 // convert as if signed addss %xmm0, %xmm0 // multiply result by 2.0 ret -ENDFUNCTION(__i64_utof) +ENDFUNCTION(__compcert_i64_utof) |