diff options
Diffstat (limited to 'runtime/x86_32/i64_stod.S')
-rw-r--r-- | runtime/x86_32/i64_stod.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_32/i64_stod.S b/runtime/x86_32/i64_stod.S index d020e2fc..8faf480f 100644 --- a/runtime/x86_32/i64_stod.S +++ b/runtime/x86_32/i64_stod.S @@ -38,12 +38,12 @@ // Conversion signed long -> double-precision float -FUNCTION(__i64_stod) +FUNCTION(__compcert_i64_stod) fildll 4(%esp) ret // The result is in extended precision (80 bits) and therefore // exact (64 bits of mantissa). It will be rounded to double // precision by the caller, when transferring the result // to an XMM register or a 64-bit stack slot. -ENDFUNCTION(__i64_stod) +ENDFUNCTION(__compcert_i64_stod) |