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_shl.s | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'runtime/powerpc/i64_shl.s') diff --git a/runtime/powerpc/i64_shl.s b/runtime/powerpc/i64_shl.s index d122068b..f6edb6c2 100644 --- a/runtime/powerpc/i64_shl.s +++ b/runtime/powerpc/i64_shl.s @@ -39,8 +39,8 @@ # Shift left .balign 16 - .globl __i64_shl -__i64_shl: + .globl __compcert_i64_shl +__compcert_i64_shl: # On PowerPC, shift instructions with amount mod 64 >= 32 return 0 # hi = (hi << amount) | (lo >> (32 - amount)) | (lo << (amount - 32)) # lo = lo << amount @@ -59,6 +59,6 @@ __i64_shl: or r3, r3, r0 slw r4, r4, r5 blr - .type __i64_shl, @function - .size __i64_shl, .-__i64_shl + .type __compcert_i64_shl, @function + .size __compcert_i64_shl, .-__compcert_i64_shl \ No newline at end of file -- cgit