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 afe46d975d783791f98106e544362e16b85366ed..03b2188c7a16257c755e34c0bca3dfbdcfa93d1a 100644 (file)
--- 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) {