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_udiv.s | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/runtime/powerpc/i64_udiv.s b/runtime/powerpc/i64_udiv.s
index d757c0f0..7bca760e 100644
--- a/runtime/powerpc/i64_udiv.s
+++ b/runtime/powerpc/i64_udiv.s
@@ -42,7 +42,7 @@
         .globl __i64_udiv
 __i64_udiv:
         mflr r11                # save return address in r11
-        bl __i64_umod           # unsigned divide
+        bl __i64_udivmod        # unsigned divide
         mtlr r11                # restore return address
         mr r3, r7               # R = quotient
         mr r4, r8
-- 
cgit