From: Julian Seward <jseward@acm.org>
Date: Thu, 20 Oct 2011 12:41:38 +0000 (+0000)
Subject: Handle Thumb2 ROR (register) encoding T2.  #284472.
X-Git-Tag: svn/VALGRIND_3_7_0^2~7
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=143428ae73fc535ee21158327e0f73445855946f;p=thirdparty%2Fvalgrind.git

Handle Thumb2 ROR (register) encoding T2.  #284472.


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

diff --git a/VEX/priv/guest_arm_toIR.c b/VEX/priv/guest_arm_toIR.c
index 14deddf9a7..b3e7230529 100644
--- a/VEX/priv/guest_arm_toIR.c
+++ b/VEX/priv/guest_arm_toIR.c
@@ -16568,7 +16568,6 @@ DisResult disInstr_THUMB_WRK (
       UInt rM  = INSN1(3,0);
       UInt bS  = INSN0(4,4);
       Bool valid = !isBadRegT(rN) && !isBadRegT(rM) && !isBadRegT(rD);
-      if (how == 3) valid = False; //ATC
       if (valid) {
          IRTemp rNt    = newTemp(Ity_I32);
          IRTemp rMt    = newTemp(Ity_I32);