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

(limited to 'runtime/x86_64/i64_dtou.S')

diff --git a/runtime/x86_64/i64_dtou.S b/runtime/x86_64/i64_dtou.S
index e455ea6f..cc822d67 100644
--- a/runtime/x86_64/i64_dtou.S
+++ b/runtime/x86_64/i64_dtou.S
@@ -38,7 +38,7 @@
 
 // Conversion float -> unsigned long
 
-FUNCTION(__i64_dtou)
+FUNCTION(__compcert_i64_dtou)
         ucomisd .LC1(%rip), %xmm0
         jnb 1f
         cvttsd2siq %xmm0, %rax
@@ -52,5 +52,5 @@ FUNCTION(__i64_dtou)
 .LC1:   .quad 0x43e0000000000000       // 2^63 in double precision
 .LC2:   .quad 0x8000000000000000       // 2^63 as an integer
 
-ENDFUNCTION(__i64_dtou)
+ENDFUNCTION(__compcert_i64_dtou)
         
-- 
cgit