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/x86_32/i64_sar.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/x86_32/i64_sar.S')
| -rw-r--r-- | runtime/x86_32/i64_sar.S | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/x86_32/i64_sar.S b/runtime/x86_32/i64_sar.S index cf2233b1..d62d0d69 100644 --- a/runtime/x86_32/i64_sar.S +++ b/runtime/x86_32/i64_sar.S @@ -40,7 +40,7 @@ // Note: IA32 shift instructions treat their amount (in %cl) modulo 32 -FUNCTION(__i64_sar) +FUNCTION(__compcert_i64_sar) movl 12(%esp), %ecx // ecx = shift amount, treated mod 64 testb $32, %cl jne 1f @@ -56,5 +56,5 @@ FUNCTION(__i64_sar) sarl %cl, %eax // eax = XH >> (amount - 32) sarl $31, %edx // edx = sign of X ret -ENDFUNCTION(__i64_sar) +ENDFUNCTION(__compcert_i64_sar) |