0100nnnn00100000 op1 ← SignExtend32(Rn); t ← op1< 31 FOR 1 >; op1 ← op1 << 1; Rn ← Register(op1); T ← Bit(t);