* re-enable some obscure sbb case

* add printer for cpuid

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

diff --git a/VEX/priv/guest-x86/toIR.c b/VEX/priv/guest-x86/toIR.c
index 5d8be74ed5263a09a48eb5e7e2b1f4a37aa84fb0..817a5c243cea6439c1357389e4bae765678f9264 100644 (file)
--- a/VEX/priv/guest-x86/toIR.c
+++ b/VEX/priv/guest-x86/toIR.c
@@ -1804,7 +1804,6 @@ UInt dis_op2_E_G ( UChar       sorb,
          putIReg(size, gregOfRM(rm), mkexpr(dst1));
       } else
       if (addSubCarry && op8 == Iop_Sub8) {
-         vassert(0);
          helper_SBB( size, dst1, dst0, src );
          putIReg(size, gregOfRM(rm), mkexpr(dst1));
       } else {
@@ -8966,6 +8965,7 @@ static DisResult disInstr ( /*IN*/  Bool    resteerOK,
          d->fxState[3].size   = 4;
          /* execute the dirty call, side-effecting guest state */
          stmt( IRStmt_Dirty(d) );
+         DIP("cpuid\n");
          break;
       }