0100nnnn00000100
op1 ← ZeroExtend32(Rn);
t ← op1< 31 FOR 1 >;
op1 ← (op1 << 1) ∨ t;
Rn ← Register(op1);
T ← Bit(t);