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_stof.S | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/runtime/arm/i64_stof.S b/runtime/arm/i64_stof.S
index d8a250c8..bcfa471c 100644
--- a/runtime/arm/i64_stof.S
+++ b/runtime/arm/i64_stof.S
@@ -38,7 +38,7 @@
 
 @@@ Conversion from signed 64-bit integer to single float
 
-FUNCTION(__i64_stof)
+FUNCTION(__compcert_i64_stof)
     @ Check whether -2^53 <= X < 2^53
         ASR r2, Reg0HI, #21
         ASR r3, Reg0HI, #31     @ (r2,r3) = X >> 53
@@ -71,7 +71,7 @@ FUNCTION(__i64_stof)
         vmov r0, s0
 #endif
         bx lr
-ENDFUNCTION(__i64_stof)
+ENDFUNCTION(__compcert_i64_stof)
 
         .balign 8
 .LC1:   .quad 0x41f0000000000000 @ 2^32 in double precision
-- 
cgit