0100nnnn00010101
op1 ← SignExtend32(Rn);
t ← INT (op1 > 0);
T ← Bit(t);