From 4affb2b02e486681b39add0dbaf4f873a91885c8 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer 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 ++-- runtime/x86_64/i64_utod.S | 4 ++-- runtime/x86_64/i64_utof.S | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) (limited to 'runtime/x86_64') 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) diff --git a/runtime/x86_64/i64_utod.S b/runtime/x86_64/i64_utod.S index 96b77a64..62e6e484 100644 --- a/runtime/x86_64/i64_utod.S +++ b/runtime/x86_64/i64_utod.S @@ -38,7 +38,7 @@ // Conversion unsigned long -> double-precision float -FUNCTION(__i64_utod) +FUNCTION(__compcert_i64_utod) testq %rdi, %rdi js 1f pxor %xmm0, %xmm0 // if < 2^63, @@ -53,4 +53,4 @@ FUNCTION(__i64_utod) cvtsi2sdq %rax, %xmm0 // convert as if signed addsd %xmm0, %xmm0 // multiply result by 2.0 ret -ENDFUNCTION(__i64_utod) +ENDFUNCTION(__compcert_i64_utod) diff --git a/runtime/x86_64/i64_utof.S b/runtime/x86_64/i64_utof.S index d0935341..63a33920 100644 --- a/runtime/x86_64/i64_utof.S +++ b/runtime/x86_64/i64_utof.S @@ -38,7 +38,7 @@ // Conversion unsigned long -> single-precision float -FUNCTION(__i64_utof) +FUNCTION(__compcert_i64_utof) testq %rdi, %rdi js 1f pxor %xmm0, %xmm0 // if < 2^63, @@ -53,4 +53,4 @@ FUNCTION(__i64_utof) cvtsi2ssq %rax, %xmm0 // convert as if signed addss %xmm0, %xmm0 // multiply result by 2.0 ret -ENDFUNCTION(__i64_utof) +ENDFUNCTION(__compcert_i64_utof) -- cgit