Fix XER.OV computation after multiply.

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

diff --git a/VEX/priv/guest-ppc32/toIR.c b/VEX/priv/guest-ppc32/toIR.c
index cb9617f85420318a47469b8c439e4a5f7553e8f8..f9df56696a2cb6f5a12ccaa6d4a9496b4779076e 100644 (file)
--- a/VEX/priv/guest-ppc32/toIR.c
+++ b/VEX/priv/guest-ppc32/toIR.c
@@ -992,7 +992,7 @@ static void set_XER_OV( UInt op, IRExpr* res,
          /* OV true if result can't be represented in 32 bits
             i.e sHi != sign extension of sLo */
          t64 = newTemp(Ity_I64);
-         assign( t64, binop(Iop_MullU32, argL, argR) );
+         assign( t64, binop(Iop_MullS32, argL, argR) );
          xer_ov 
             = binop( Iop_CmpNE32,
                      unop(Iop_64HIto32, mkexpr(t64)),