diff options
Diffstat (limited to 'runtime/arm/i64_dtou.S')
-rw-r--r-- | runtime/arm/i64_dtou.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/arm/i64_dtou.S b/runtime/arm/i64_dtou.S index 6e47f3de..4fa3350b 100644 --- a/runtime/arm/i64_dtou.S +++ b/runtime/arm/i64_dtou.S @@ -38,7 +38,7 @@ @@@ Conversion from double float to unsigned 64-bit integer -FUNCTION(__i64_dtou) +FUNCTION(__compcert_i64_dtou) #ifndef ABI_eabi vmov Reg0LO, Reg0HI, d0 #endif @@ -88,4 +88,4 @@ FUNCTION(__i64_dtou) 2: mvn Reg0LO, #0 @ result is 0xFF....FF (MAX_UINT) MOV Reg0HI, Reg0LO bx lr -ENDFUNCTION(__i64_dtou) +ENDFUNCTION(__compcert_i64_dtou) |