diff options
Diffstat (limited to 'runtime/powerpc/i64_dtos.s')
-rw-r--r-- | runtime/powerpc/i64_dtos.s | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/runtime/powerpc/i64_dtos.s b/runtime/powerpc/i64_dtos.s index 9b1288f4..85c60b27 100644 --- a/runtime/powerpc/i64_dtos.s +++ b/runtime/powerpc/i64_dtos.s @@ -39,8 +39,8 @@ ### Conversion from double float to signed long .balign 16 - .globl __i64_dtos -__i64_dtos: + .globl __compcert_i64_dtos +__compcert_i64_dtos: stfdu f1, -16(r1) # extract LO (r4) and HI (r3) halves of double lwz r3, 0(r1) lwz r4, 4(r1) @@ -95,6 +95,6 @@ __i64_dtos: 5: lis r3, 0x8000 # result is MIN_SINT = 0x8000_0000 li r4, 0 blr - .type __i64_dtos, @function - .size __i64_dtos, .-__i64_dtos + .type __compcert_i64_dtos, @function + .size __compcert_i64_dtos, .-__compcert_i64_dtos
\ No newline at end of file |