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_stod.s | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/runtime/powerpc/i64_stod.s b/runtime/powerpc/i64_stod.s
index cca109ba..0c1ab720 100644
--- a/runtime/powerpc/i64_stod.s
+++ b/runtime/powerpc/i64_stod.s
@@ -37,8 +37,8 @@
 ### Conversion from signed long to double float	
 
         .balign 16
-        .globl __i64_stod
-__i64_stod:
+        .globl __compcert_i64_stod
+__compcert_i64_stod:
         addi r1, r1, -16
         lis r5, 0x4330
         li r6, 0
@@ -62,6 +62,6 @@ __i64_stod:
         fadd f1, f1, f2         # add both to get result
         addi r1, r1, 16
         blr
-        .type __i64_stod, @function
-        .size __i64_stod, .-__i64_stod
+        .type __compcert_i64_stod, @function
+        .size __compcert_i64_stod, .-__compcert_i64_stod
 
-- 
cgit