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_smod.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_smod.S')
| -rw-r--r-- | runtime/arm/i64_smod.S | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/runtime/arm/i64_smod.S b/runtime/arm/i64_smod.S index 34c33c1c..24a8f19d 100644 --- a/runtime/arm/i64_smod.S +++ b/runtime/arm/i64_smod.S @@ -38,7 +38,7 @@ @@@ Signed modulus -FUNCTION(__i64_smod) +FUNCTION(__compcert_i64_smod) push {r4, r5, r6, r7, r8, r10, lr} ASR r4, Reg0HI, #31 @ r4 = sign of N ASR r5, Reg1HI, #31 @ r5 = sign of D @@ -51,11 +51,11 @@ FUNCTION(__i64_smod) EOR Reg1HI, Reg1HI, r5 subs Reg1LO, Reg1LO, r5 sbc Reg1HI, Reg1HI, r5 - bl __i64_udivmod @ do unsigned division + bl __compcert_i64_udivmod @ do unsigned division EOR Reg0LO, Reg0LO, r10 @ apply expected sign EOR Reg0HI, Reg0HI, r10 subs Reg0LO, Reg0LO, r10 sbc Reg0HI, Reg0HI, r10 pop {r4, r5, r6, r7, r8, r10, lr} bx lr -ENDFUNCTION(__i64_smod) +ENDFUNCTION(__compcert_i64_smod) |