Lines Matching defs:vty
27073 IRType vty = scalar ? ty : getVexL(pfx) ? Ity_V256 : Ity_V128;
27074 IRTemp vX = newTemp(vty);
27075 IRTemp vY = newTemp(vty);
27076 IRTemp vZ = newTemp(vty);
27145 assign( vX, vty == Ity_V256 ? getYMMReg(rG) : getXMMReg(rG) );
27146 assign( vZ, vty == Ity_V256 ? getYMMReg(rV) : getXMMReg(rV) );
27156 assign( vY, vty == Ity_V256 ? getYMMReg(rE) : getXMMReg(rE) );
27157 if (vty == Ity_V256) {
27169 assign(vY, loadLE(vty, mkexpr(addr)));
27170 if (vty == Ity_V256) {
27201 count = vty == Ity_V256 ? 8 : 4;
27202 j = vty == Ity_V256 ? 0 : 4;
27218 count = vty == Ity_V256 ? 4 : 2;
27219 j = vty == Ity_V256 ? 0 : 4;
27246 if (vty != Ity_V256)
