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/arm/i64_smod.S | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'runtime/arm/i64_smod.S')

diff --git a/runtime/arm/i64_smod.S b/runtime/arm/i64_smod.S
index 34c33c1c..24a8f19d 100644
--- a/runtime/arm/i64_smod.S
+++ b/runtime/arm/i64_smod.S
@@ -38,7 +38,7 @@
 
 @@@ Signed modulus
 
-FUNCTION(__i64_smod)
+FUNCTION(__compcert_i64_smod)
         push {r4, r5, r6, r7, r8, r10, lr}
         ASR r4, Reg0HI, #31      @ r4 = sign of N
         ASR r5, Reg1HI, #31      @ r5 = sign of D
@@ -51,11 +51,11 @@ FUNCTION(__i64_smod)
         EOR Reg1HI, Reg1HI, r5
         subs Reg1LO, Reg1LO, r5
         sbc Reg1HI, Reg1HI, r5
-        bl __i64_udivmod         @ do unsigned division
+        bl __compcert_i64_udivmod         @ do unsigned division
         EOR Reg0LO, Reg0LO, r10  @ apply expected sign
         EOR Reg0HI, Reg0HI, r10
         subs Reg0LO, Reg0LO, r10
         sbc Reg0HI, Reg0HI, r10
         pop {r4, r5, r6, r7, r8, r10, lr}
         bx lr
-ENDFUNCTION(__i64_smod)
+ENDFUNCTION(__compcert_i64_smod)
-- 
cgit