From 1611de2462f56666fed59452e0a41e2251765d75 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 6 May 2013 08:23:20 +0000
Subject: Wrong pseudo-instr

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

(limited to 'runtime')

diff --git a/runtime/powerpc/i64_utof.s b/runtime/powerpc/i64_utof.s
index b31e520..2617cbd 100644
--- a/runtime/powerpc/i64_utof.s
+++ b/runtime/powerpc/i64_utof.s
@@ -43,7 +43,7 @@
 __i64_utof:
 	mflr r9
    # Check whether X < 2^53	
-        srlwi. r0, r3, 21       # test if X >> 53 == 0
+        andis. r0, r3, 0xFFE0       # test bits 53...63 of X
         beq 1f
    # X is large enough that double rounding can occur.
    # Avoid it by nudging X away from the points where double rounding
-- 
cgit v1.2.3