diff options
Diffstat (limited to 'runtime/powerpc/i64_shr.s')
-rw-r--r-- | runtime/powerpc/i64_shr.s | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/runtime/powerpc/i64_shr.s b/runtime/powerpc/i64_shr.s index fb7dc5cc..b634aafd 100644 --- a/runtime/powerpc/i64_shr.s +++ b/runtime/powerpc/i64_shr.s @@ -39,8 +39,8 @@ # Shift right unsigned .balign 16 - .globl __i64_shr -__i64_shr: + .globl __compcert_i64_shr +__compcert_i64_shr: # On PowerPC, shift instructions with amount mod 64 >= 32 return 0 # lo = (lo >> amount) | (hi << (32 - amount)) | (hi >> (amount - 32)) # hi = hi >> amount @@ -59,7 +59,7 @@ __i64_shr: or r4, r4, r0 srw r3, r3, r5 blr - .type __i64_shr, @function - .size __i64_shr, .-__i64_shr + .type __compcert_i64_shr, @function + .size __compcert_i64_shr, .-__compcert_i64_shr
\ No newline at end of file |