From 4affb2b02e486681b39add0dbaf4f873a91885c8 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 25 Aug 2017 14:55:22 +0200 Subject: Prefixed runtime functions. The runtime functions are prefixed with compcert in order to avoid potential clashes with runtime/builtin functions of other compilers. Bug 22062 --- runtime/powerpc/i64_shr.s | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'runtime/powerpc/i64_shr.s') 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 -- cgit