0100mmmm00001010
op1 ← SignExtend32(Rm);
mach ← op1;
MACH ← ZeroExtend32(mach);