diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-08-25 14:55:22 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-08-25 14:55:22 +0200 |
commit | 4affb2b02e486681b39add0dbaf4f873a91885c8 (patch) | |
tree | 06b045ee98934b00c341071758c9b905ecad057f /runtime/powerpc64/i64_dtou.s | |
parent | 95ed4ea7df3e4b05d623afb9cb65f0eb2653361b (diff) | |
download | compcert-kvx-4affb2b02e486681b39add0dbaf4f873a91885c8.tar.gz compcert-kvx-4affb2b02e486681b39add0dbaf4f873a91885c8.zip |
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
Diffstat (limited to 'runtime/powerpc64/i64_dtou.s')
-rw-r--r-- | runtime/powerpc64/i64_dtou.s | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/runtime/powerpc64/i64_dtou.s b/runtime/powerpc64/i64_dtou.s index 60d5c9bf..e58bcfaf 100644 --- a/runtime/powerpc64/i64_dtou.s +++ b/runtime/powerpc64/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: lis r0, 0x5f00 # 0x5f00_0000 = 2^63 in binary32 format stwu r0, -16(r1) lfs f2, 0(r1) # f2 = 2^63 @@ -60,7 +60,7 @@ __i64_dtou: addis r3, r3, 0x8000 # shift result up by 2^63 addi r1, r1, 16 blr - .type __i64_dtou, @function - .size __i64_dtou, .-__i64_dtou + .type __compcert_i64_dtou, @function + .size __compcert_i64_dtou, .-__compcert_i64_dtou |