diff options
Diffstat (limited to 'runtime/x86_32/i64_utod.S')
| -rw-r--r-- | runtime/x86_32/i64_utod.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_32/i64_utod.S b/runtime/x86_32/i64_utod.S index 428a3b94..d7ec582f 100644 --- a/runtime/x86_32/i64_utod.S +++ b/runtime/x86_32/i64_utod.S @@ -38,7 +38,7 @@ // Conversion unsigned long -> double-precision float -FUNCTION(__i64_utod) +FUNCTION(__compcert_i64_utod) fildll 4(%esp) // convert as if signed cmpl $0, 8(%esp) // is argument >= 2^63? jns 1f @@ -52,4 +52,4 @@ FUNCTION(__i64_utod) .p2align 2 LC1: .long 0x5f800000 // 2^64 in single precision -ENDFUNCTION(__i64_utod) +ENDFUNCTION(__compcert_i64_utod) |