0000nnnnmmmm0111 op1 ← SignExtend32(Rm); op2 ← SignExtend32(Rn); macl ← op1 × op2; MACL ← ZeroExtend32(macl);