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/arm/i64_shr.S | |
parent | 95ed4ea7df3e4b05d623afb9cb65f0eb2653361b (diff) | |
download | compcert-4affb2b02e486681b39add0dbaf4f873a91885c8.tar.gz compcert-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/arm/i64_shr.S')
-rw-r--r-- | runtime/arm/i64_shr.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/arm/i64_shr.S b/runtime/arm/i64_shr.S index 43325092..0f75eb2b 100644 --- a/runtime/arm/i64_shr.S +++ b/runtime/arm/i64_shr.S @@ -57,7 +57,7 @@ @ RL = 0 | 0 | (XH >> (N-32)) @ RH = 0 -FUNCTION(__i64_shr) +FUNCTION(__compcert_i64_shr) AND r2, r2, #63 @ normalize amount to 0...63 RSB r3, r2, #32 @ r3 = 32 - amount LSR Reg0LO, Reg0LO, r2 @@ -68,4 +68,4 @@ FUNCTION(__i64_shr) ORR Reg0LO, Reg0LO, r3 LSR Reg0HI, Reg0HI, r2 bx lr -ENDFUNCTION(__i64_shr) +ENDFUNCTION(__compcert_i64_shr) |