From: Julian Seward <jseward@acm.org>
Date: Wed, 11 May 2005 10:05:04 +0000 (+0000)
Subject: These cases are now verified.
X-Git-Tag: svn/VALGRIND_3_0_1^2~150
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe3ef91af2e511a1ae6d3c526d3f1167f72df068;p=thirdparty%2Fvalgrind.git

These cases are now verified.


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

diff --git a/VEX/priv/host-x86/isel.c b/VEX/priv/host-x86/isel.c
index 7bcf37281e..505f746340 100644
--- a/VEX/priv/host-x86/isel.c
+++ b/VEX/priv/host-x86/isel.c
@@ -571,7 +571,7 @@ X86AMode* genGuestArrayOffset ( ISelEnv* env, IRArray* descr,
 
    switch (elemSz) {
       case 1:  shift = 0; break;
-      case 4:  shift = 2; vassert(0); /* awaiting test case */ break;
+      case 4:  shift = 2; break;
       case 8:  shift = 3; break;
       default: vpanic("genGuestArrayOffset(x86 host)(2)");
    }
@@ -1166,7 +1166,6 @@ static HReg iselIntExpr_R_wrk ( ISelEnv* env, IRExpr* e )
          return dst;
       }
       if (ty == Ity_I32) {
-         vassert(0); /* awaiting test case */
          addInstr(env, X86Instr_Alu32R(Xalu_MOV, X86RMI_Mem(am), dst));
          return dst;
       }
@@ -3376,7 +3375,6 @@ static void iselStmt ( ISelEnv* env, IRStmt* stmt )
       }
       if (ty == Ity_I32) {
          HReg r = iselIntExpr_R(env, stmt->Ist.PutI.data);
-         vassert(0); /* awaiting test case */
          addInstr(env, X86Instr_Alu32M( Xalu_MOV, X86RI_Reg(r), am ));
          return;
       }