22075       UInt rT2  = INSN1(11,8);  in disInstr_THUMB_WRK()  local
22080       if (bW == 1 && (rN == rT || rN == rT2)) valid = False;  in disInstr_THUMB_WRK()
22081       if (isBadRegT(rT) || isBadRegT(rT2))    valid = False;  in disInstr_THUMB_WRK()
22082       if (bL == 1 && rT == rT2)               valid = False;  in disInstr_THUMB_WRK()
22109              && rN == 13 && rN != rT && rN != rT2  in disInstr_THUMB_WRK()
22120             assign(oldRt2, getIRegT(rT2));  in disInstr_THUMB_WRK()
22131             assign(oldRt2, llGetIReg(rT2));  in disInstr_THUMB_WRK()
22141             putIRegT(rT2, mkexpr(newRt2), IRTemp_INVALID);  in disInstr_THUMB_WRK()
22152                 nm, rT, rT2, rN, bU ? '+' : '-', imm8 << 2);  in disInstr_THUMB_WRK()
22156                 nm, rT, rT2, rN, bU ? '+' : '-', imm8 << 2);  in disInstr_THUMB_WRK()
22161                 nm, rT, rT2, rN, bU ? '+' : '-', imm8 << 2);  in disInstr_THUMB_WRK()
22927       UInt rT2 = INSN1(11,8);  in disInstr_THUMB_WRK()  local
22928       if (!isBadRegT(rT) && !isBadRegT(rT2) && rT != rT2 && rN != 15) {  in disInstr_THUMB_WRK()
22939          putIRegT(rT2, unop(Iop_64HIto32, mkexpr(res)), IRTemp_INVALID);  in disInstr_THUMB_WRK()
22940          DIP("ldrexd r%u, r%u, [r%u]\n", rT, rT2, rN);  in disInstr_THUMB_WRK()
23007       UInt rT2 = INSN1(11,8);  in disInstr_THUMB_WRK()  local
23009       if (!isBadRegT(rD) && !isBadRegT(rT) && !isBadRegT(rT2)  in disInstr_THUMB_WRK()
23010           && rN != 15 && rD != rN && rD != rT && rD != rT2) {  in disInstr_THUMB_WRK()
23019          assign(data, binop(Iop_32HLto64, getIRegT(rT2), getIRegT(rT)));  in disInstr_THUMB_WRK()
23028          DIP("strexd r%u, r%u, r%u, [r%u]\n", rD, rT, rT2, rN);  in disInstr_THUMB_WRK()