diff options
Diffstat (limited to 'runtime/x86_64/i64_dtou.S')
| -rw-r--r-- | runtime/x86_64/i64_dtou.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_64/i64_dtou.S b/runtime/x86_64/i64_dtou.S index e455ea6f..cc822d67 100644 --- a/runtime/x86_64/i64_dtou.S +++ b/runtime/x86_64/i64_dtou.S @@ -38,7 +38,7 @@ // Conversion float -> unsigned long -FUNCTION(__i64_dtou) +FUNCTION(__compcert_i64_dtou) ucomisd .LC1(%rip), %xmm0 jnb 1f cvttsd2siq %xmm0, %rax @@ -52,5 +52,5 @@ FUNCTION(__i64_dtou) .LC1: .quad 0x43e0000000000000 // 2^63 in double precision .LC2: .quad 0x8000000000000000 // 2^63 as an integer -ENDFUNCTION(__i64_dtou) +ENDFUNCTION(__compcert_i64_dtou) |