From: Julian Seward <jseward@acm.org>
Date: Mon, 17 Sep 2012 11:37:43 +0000 (+0000)
Subject: STM<c>.W <Rn>{!},<registers> (Encoding T2): allow the base register to
X-Git-Tag: svn/VALGRIND_3_9_0^2~238
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3f88f9e4028b5ae389fca8a66c6e2ae241d4067;p=thirdparty%2Fvalgrind.git

STM<c>.W <Rn>{!},<registers> (Encoding T2): allow the base register to
appear in the list in any position, provided that writeback is not
selected.  Fixes #306297.



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

diff --git a/VEX/priv/guest_arm_toIR.c b/VEX/priv/guest_arm_toIR.c
index afe46d975d..03b2188c7a 100644
--- a/VEX/priv/guest_arm_toIR.c
+++ b/VEX/priv/guest_arm_toIR.c
@@ -16438,15 +16438,6 @@ DisResult disInstr_THUMB_WRK (
          if (rN == 15)                       valid = False;
          if (popcount32(regList) < 2)        valid = False;
          if (bW == 1 && (regList & (1<<rN))) valid = False;
-         if (regList & (1<<rN)) {
-            UInt i;
-            /* if Rn is in the list, then it must be the
-               lowest numbered entry */
-            for (i = 0; i < rN; i++) {
-               if (regList & (1<<i))
-                  valid = False;
-            }
-         }
       }
 
       if (valid) {