| vcomxsd(xm1, xm2|T_sae); | |
| vcomxsd(xm1, ptr[rax+64]); | |
| vcomxsh(xm1, xm2|T_sae); | |
| vcomxsh(xm1, ptr[rax+64]); | |
| vcomxss(xm1, xm2|T_sae); | |
| vcomxss(xm1, ptr[rax+64]); | |
| vucomxsd(xm1, xm2|T_sae); | |
| vucomxsd(xm1, ptr[rax+64]); | |
| vucomxsh(xm1, xm2|T_sae); | |
| vucomxsh(xm1, ptr[rax+64]); | |
| vucomxss(xm1, xm2|T_sae); | |
| vucomxss(xm1, ptr[rax+64]); |