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/powerpc/i64_dtou.s | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'runtime/powerpc/i64_dtou.s') diff --git a/runtime/powerpc/i64_dtou.s b/runtime/powerpc/i64_dtou.s index 78cd08b1..67a721d4 100644 --- a/runtime/powerpc/i64_dtou.s +++ b/runtime/powerpc/i64_dtou.s @@ -39,8 +39,8 @@ ### Conversion from double float to unsigned long .balign 16 - .globl __i64_dtou -__i64_dtou: + .globl __compcert_i64_dtou +__compcert_i64_dtou: stfdu f1, -16(r1) # extract LO (r4) and HI (r3) halves of double lwz r3, 0(r1) lwz r4, 4(r1) @@ -86,7 +86,7 @@ __i64_dtou: 2: li r3, -1 # result is MAX_UINT li r4, -1 blr - .type __i64_dtou, @function - .size __i64_dtou, .-__i64_dtou + .type __compcert_i64_dtou, @function + .size __compcert_i64_dtou, .-__compcert_i64_dtou \ No newline at end of file -- cgit