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_umod.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/x86_32/i64_umod.S')
-rw-r--r-- | runtime/x86_32/i64_umod.S | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/runtime/x86_32/i64_umod.S b/runtime/x86_32/i64_umod.S index a019df28..241a687b 100644 --- a/runtime/x86_32/i64_umod.S +++ b/runtime/x86_32/i64_umod.S @@ -38,14 +38,14 @@ // Unsigned remainder -FUNCTION(__i64_umod) +FUNCTION(__compcert_i64_umod) pushl %ebp pushl %esi pushl %edi - call GLOB(__i64_udivmod) + call GLOB(__compcert_i64_udivmod) popl %edi popl %esi popl %ebp ret -ENDFUNCTION(__i64_umod) +ENDFUNCTION(__compcert_i64_umod) |