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_sdiv.s | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'runtime/powerpc/i64_sdiv.s') diff --git a/runtime/powerpc/i64_sdiv.s b/runtime/powerpc/i64_sdiv.s index 411ad50c..9787ea3b 100644 --- a/runtime/powerpc/i64_sdiv.s +++ b/runtime/powerpc/i64_sdiv.s @@ -39,8 +39,8 @@ ### Signed division .balign 16 - .globl __i64_sdiv -__i64_sdiv: + .globl __compcert_i64_sdiv +__compcert_i64_sdiv: mflr r0 stw r0, 4(r1) # save return address in caller's frame xor r0, r3, r5 # compute sign of result (top bit) @@ -55,7 +55,7 @@ __i64_sdiv: xor r5, r5, r0 subfc r6, r0, r6 subfe r5, r0, r5 - bl __i64_udivmod # do unsigned division + bl __compcert_i64_udivmod # do unsigned division lwz r0, 4(r1) mtlr r0 # restore return address mfctr r0 @@ -65,7 +65,7 @@ __i64_sdiv: subfc r4, r0, r6 subfe r3, r0, r5 blr - .type __i64_sdiv, @function - .size __i64_sdiv, .-__i64_sdiv + .type __compcert_i64_sdiv, @function + .size __compcert_i64_sdiv, .-__compcert_i64_sdiv \ No newline at end of file -- cgit