From 9b2190b382036354e4ff7026d2cd8f3f4fe8337d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 21 Apr 2013 16:13:55 +0000
Subject: Fixes in PowerPC port

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2209 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 runtime/powerpc/i64_smod.s | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime/powerpc/i64_smod.s')

diff --git a/runtime/powerpc/i64_smod.s b/runtime/powerpc/i64_smod.s
index 47873342..320571dc 100644
--- a/runtime/powerpc/i64_smod.s
+++ b/runtime/powerpc/i64_smod.s
@@ -52,7 +52,7 @@ __i64_smod:
         xor r5, r5, r0
         subfc r6, r0, r6
         subfe r5, r0, r5
-        bl __i64_umod           # do unsigned division
+        bl __i64_udivmod        # do unsigned division
         mtlr r11                # restore return address
         xor r4, r4, r12         # apply expected sign to remainder
         xor r3, r3, r12         # RES = R if r12 == 0, -R if r12 == -1
-- 
cgit