diff options
Diffstat (limited to 'runtime/x86_32/i64_dtos.S')
-rw-r--r-- | runtime/x86_32/i64_dtos.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_32/i64_dtos.S b/runtime/x86_32/i64_dtos.S index 3cc381bf..ccc0013c 100644 --- a/runtime/x86_32/i64_dtos.S +++ b/runtime/x86_32/i64_dtos.S @@ -38,7 +38,7 @@ // Conversion float -> signed long -FUNCTION(__i64_dtos) +FUNCTION(__compcert_i64_dtos) subl $4, %esp // Change rounding mode to "round towards zero" fnstcw 0(%esp) @@ -56,5 +56,5 @@ FUNCTION(__i64_dtos) movl 12(%esp), %edx addl $4, %esp ret -ENDFUNCTION(__i64_dtos) +ENDFUNCTION(__compcert_i64_dtos) |