From 4affb2b02e486681b39add0dbaf4f873a91885c8 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 25 Aug 2017 14:55:22 +0200
Subject: 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
---
 runtime/x86_32/i64_umod.S | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'runtime/x86_32/i64_umod.S')

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)
 
-- 
cgit