From 4affb2b02e486681b39add0dbaf4f873a91885c8 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
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_udivmod.s | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'runtime/powerpc/i64_udivmod.s')

diff --git a/runtime/powerpc/i64_udivmod.s b/runtime/powerpc/i64_udivmod.s
index 826d9896..e81c6cef 100644
--- a/runtime/powerpc/i64_udivmod.s
+++ b/runtime/powerpc/i64_udivmod.s
@@ -45,9 +45,9 @@
 # Output: quotient Q in (r5,r6),  remainder R in (r3,r4)
 # Destroys: all integer caller-save registers
 	
-	.globl  __i64_udivmod
+	.globl  __compcert_i64_udivmod
 	.balign 16
-__i64_udivmod:
+__compcert_i64_udivmod:
         cmplwi  r5, 0           # DH == 0 ?
 	stwu    r1, -32(r1)
         mflr    r0
@@ -73,7 +73,7 @@ __i64_udivmod:
         srw     r6, r6, r8
         or      r5, r6, r0
   # Divide N' by D' to get an approximate quotient Q
-        bl      __i64_udiv6432  # r3 = quotient, r4 = remainder
+        bl      __compcert_i64_udiv6432  # r3 = quotient, r4 = remainder
         mr      r6, r3          # low half of quotient Q
         li      r5, 0           # high half of quotient is 0
   # Tentative quotient is either correct or one too high
@@ -112,7 +112,7 @@ __i64_udivmod:
         mullw   r0, r31, r6
         subf    r3, r0, r3      # NH is remainder of this division
         mr      r5, r6
-        bl      __i64_udiv6432  # divide NH : NL by DL
+        bl      __compcert_i64_udiv6432  # divide NH : NL by DL
         mr      r5, r31         # high word of quotient
         mr      r6, r3          # low word of quotient
                                 # r4 contains low word of remainder
@@ -133,8 +133,8 @@ __i64_udivmod:
         addi    r1, r1, 32
         blr
         
-        .type __i64_udivmod, @function
-        .size __i64_udivmod, .-__i64_udivmod
+        .type __compcert_i64_udivmod, @function
+        .size __compcert_i64_udivmod, .-__compcert_i64_udivmod
 
 # Auxiliary division function: 64 bit integer divided by 32 bit integer	
 # Not exported
@@ -144,7 +144,7 @@ __i64_udivmod:
 # Assumes: high word of N is less than D	
         
 	.balign 16
-__i64_udiv6432: 
+__compcert_i64_udiv6432: 
 # Algorithm 9.3 from Hacker's Delight, section 9.4	
 # Initially: u1 in r3, u0 in r4, v in r5
 #   s = __builtin_clz(v);
@@ -230,5 +230,5 @@ __i64_udiv6432:
         add     r3, r0, r3
         blr
 
-	.type	__i64_udiv6432, @function
-	.size	__i64_udiv6432,.-__i64_udiv6432
+	.type	__compcert_i64_udiv6432, @function
+	.size	__compcert_i64_udiv6432,.-__compcert_i64_udiv6432
-- 
cgit