}
def MOVMSKPSrr : PSI<0x50, MRMSrcReg, (ops R32:$dst, VR128:$src),
- "movmskps {$src, $dst|$dst, $src}", []>;
+ "movmskps {$src, $dst|$dst, $src}",
+ [(set R32:$dst, (int_x86_sse_movmskps VR128:$src))]>;
def MOVMSKPDrr : PSI<0x50, MRMSrcReg, (ops R32:$dst, VR128:$src),
- "movmskpd {$src, $dst|$dst, $src}", []>;
+ "movmskpd {$src, $dst|$dst, $src}",
+ [(set R32:$dst, (int_x86_sse2_movmskpd VR128:$src))]>;
// Conversion instructions
def CVTPI2PSrr : PSI<0x2A, MRMSrcReg, (ops VR128:$dst, VR64:$src),