diff options
Diffstat (limited to 'runtime/x86_32/i64_dtou.S')
-rw-r--r-- | runtime/x86_32/i64_dtou.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_32/i64_dtou.S b/runtime/x86_32/i64_dtou.S index 4903f847..1115328d 100644 --- a/runtime/x86_32/i64_dtou.S +++ b/runtime/x86_32/i64_dtou.S @@ -38,7 +38,7 @@ // Conversion float -> unsigned long -FUNCTION(__i64_dtou) +FUNCTION(__compcert_i64_dtou) subl $4, %esp // Compare argument with 2^63 fldl 8(%esp) @@ -84,5 +84,5 @@ FUNCTION(__i64_dtou) .p2align 2 LC1: .long 0x5f000000 // 2^63 in single precision -ENDFUNCTION(__i64_dtou) +ENDFUNCTION(__compcert_i64_dtou)
\ No newline at end of file |