From: Cerion Armour-Brown <cerion@valgrind.org>
Date: Wed, 16 Mar 2005 14:12:58 +0000 (+0000)
Subject: Fixed front-end srawi carry flag calc
X-Git-Tag: svn/VALGRIND_3_0_1^2~290
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=1453b1b1f0480b1eefbc9ec9d341cdd824fc5bb0;p=thirdparty%2Fvalgrind.git

Fixed front-end srawi carry flag calc

git-svn-id: svn://svn.valgrind.org/vex/trunk@1044
---

diff --git a/VEX/priv/guest-ppc32/toIR.c b/VEX/priv/guest-ppc32/toIR.c
index ab4ce45260..8e47bfe96b 100644
--- a/VEX/priv/guest-ppc32/toIR.c
+++ b/VEX/priv/guest-ppc32/toIR.c
@@ -2716,7 +2716,7 @@ static Bool dis_int_shift ( UInt theInstr )
          // Ra = Rs_shift | sext
          assign( Ra, binop(Iop_Or32, mkexpr(sext), mkexpr(Rs_sh)) );
          flag_op = PPC32G_FLAG_OP_SRAWI;
-         setFlags_XER_CA( flag_op, mkexpr(Ra), mkexpr(Rs), mkexpr(Rb) );
+         setFlags_XER_CA( flag_op, mkexpr(Ra), mkexpr(Rs), mkU32(sh_imm) );
          break;
       
       case 0x218: // srw (Shift Right Word, PPC32 p508)