0011nnnnmmmm1000 op1 ← SignExtend32(Rm); op2 ← SignExtend32(Rn); op2 ← op2 - op1; Rn ← Register(op2);