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/arm/i64_utod.S | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'runtime/arm/i64_utod.S') diff --git a/runtime/arm/i64_utod.S b/runtime/arm/i64_utod.S index 593f8543..af7bcc71 100644 --- a/runtime/arm/i64_utod.S +++ b/runtime/arm/i64_utod.S @@ -38,8 +38,8 @@ @@@ Conversion from unsigned 64-bit integer to double float -FUNCTION(__i64_utod) -__i64_utod: +FUNCTION(__compcert_i64_utod) +__compcert_i64_utod: vmov s0, Reg0LO vcvt.f64.u32 d0, s0 @ convert low half to double (unsigned) vmov s2, Reg0HI @@ -50,7 +50,7 @@ __i64_utod: vmov Reg0LO, Reg0HI, d0 @ return result in register pair r0:r1 #endif bx lr -ENDFUNCTION(__i64_utod) +ENDFUNCTION(__compcert_i64_utod) .balign 8 .LC1: .quad 0x41f0000000000000 @ 2^32 in double precision -- cgit