Lines Matching refs:Ity_V256
1521 return IRExpr_Get( ymmGuestRegOffset(xmmreg), Ity_V256 );
1541 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V256);
9693 IRTemp res = newTemp(Ity_V256);
10087 IRTemp sV = newTemp(Ity_V256);
10100 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
10495 IRTemp argV = newTemp(Ity_V256);
10508 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10602 IRTemp argV = newTemp(Ity_V256);
10615 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10704 IRTemp argV = newTemp(Ity_V256);
10716 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10836 IRTemp res = newTemp(Ity_V256);
10860 IRTemp rV = newTemp(Ity_V256);
10898 IRTemp rV = newTemp(Ity_V256);
10937 IRTemp rV = newTemp(Ity_V256);
10975 IRTemp rV = newTemp(Ity_V256);
11008 IRTemp rV = newTemp(Ity_V256);
11061 IRTemp res = newTemp(Ity_V256);
11093 IRTemp res = newTemp(Ity_V256);
11129 IRTemp res = newTemp(Ity_V256);
11161 IRTemp addV = newTemp(Ity_V256);
11162 IRTemp subV = newTemp(Ity_V256);
11173 IRTemp res = newTemp(Ity_V256);
11204 IRTemp addV = newTemp(Ity_V256);
11205 IRTemp subV = newTemp(Ity_V256);
11217 IRTemp res = newTemp(Ity_V256);
11291 sV = newTemp(Ity_V256);
11303 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
11542 IRTemp res = newTemp(Ity_V256);
14731 IRTemp sV = newTemp(Ity_V256);
14744 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
15087 IRTemp res = newTemp(Ity_V256);
15178 IRTemp sV = newTemp(Ity_V256);
15179 IRTemp dV = newTemp(Ity_V256);
15209 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
15274 IRTemp res = newTemp(Ity_V256);
16169 IRTemp mask = newTemp(Ity_V256);
16174 IRTemp notmask = newTemp(Ity_V256);
16177 IRTemp res = newTemp(Ity_V256);
16233 IRTemp vecE = newTemp(Ity_V256);
16234 IRTemp vecV = newTemp(Ity_V256);
16235 IRTemp vecIS4 = newTemp(Ity_V256);
16248 assign(vecE, loadLE(Ity_V256, mkexpr(addr)));
16423 IRTemp vecE = newTemp(Ity_V256);
16424 IRTemp vecG = newTemp(Ity_V256);
16435 assign(vecE, loadLE( Ity_V256, mkexpr(addr) ));
16449 IRTemp andV = newTemp(Ity_V256);
16450 IRTemp andnV = newTemp(Ity_V256);
22288 IRTemp g0 = newTemp(Ity_V256);
22289 IRTemp g1 = newTemp(Ity_V256);
22363 IRTemp sV = isYMM ? newTemp(Ity_V256) : newTemp(Ity_V128);
22364 IRTemp amt = isYMM ? newTemp(Ity_V256) : newTemp(Ity_V128);
22379 assign( amt, loadLE(isYMM ? Ity_V256 : Ity_V128, mkexpr(addr)) );
22526 IRTemp e0 = newTemp(Ity_V256);
22527 IRTemp e1 = newTemp(Ity_V256);
22900 IRTemp plain = newTemp(Ity_V256);
22904 IRTemp argL = newTemp(Ity_V256);
22905 IRTemp argR = newTemp(Ity_V256);
22929 assign(argR, loadLE(Ity_V256, mkexpr(addr)) );
23032 IRTemp tSL = newTemp(Ity_V256);
23033 IRTemp tSR = newTemp(Ity_V256);
23051 assign(tSR, loadLE(Ity_V256, mkexpr(addr)));
23059 res = newTemp(Ity_V256);
23140 IRTemp res = newTemp(Ity_V256);
23141 IRTemp arg = newTemp(Ity_V256);
23151 assign(arg, loadLE(Ity_V256, mkexpr(addr)));
23172 IRTemp arg = newTemp(Ity_V256);
23182 assign(arg, loadLE(Ity_V256, mkexpr(addr)));
23238 IRTemp argV = newTemp(Ity_V256);
23247 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
23272 IRTemp res = newTemp(Ity_V256);
23478 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
23512 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
23771 IRTemp eV = newTemp(Ity_V256);
23772 IRTemp vV = newTemp(Ity_V256);
23782 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
23827 IRTemp eV = newTemp(Ity_V256);
23828 IRTemp vV = newTemp(Ity_V256);
23838 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
23953 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
23989 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
24216 IRTemp tS = newTemp(Ity_V256);
25198 IRTemp tD = newTemp(Ity_V256);
25211 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
25590 IRTemp sV = newTemp(Ity_V256);
25591 IRTemp dV = newTemp(Ity_V256);
25607 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
25652 IRTemp sV = newTemp(Ity_V256);
25653 IRTemp dV = newTemp(Ity_V256);
25669 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
25760 IRTemp tS = newTemp(Ity_V256);
25969 IRTemp eV = newTemp(Ity_V256);
25970 IRTemp vV = newTemp(Ity_V256);
25984 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
26029 IRTemp eV = newTemp(Ity_V256);
26030 IRTemp vV = newTemp(Ity_V256);
26044 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
26627 IRTemp tD = newTemp(Ity_V256);
26631 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
26924 IRTemp res = newTemp(Ity_V256);
26957 IRTemp res = newTemp(Ity_V256);
26971 IRTemp res = newTemp(Ity_V256);
27019 IRType vty = scalar ? ty : getVexL(pfx) ? Ity_V256 : Ity_V128;
27091 assign( vX, vty == Ity_V256 ? getYMMReg(rG) : getXMMReg(rG) );
27092 assign( vZ, vty == Ity_V256 ? getYMMReg(rV) : getXMMReg(rV) );
27102 assign( vY, vty == Ity_V256 ? getYMMReg(rE) : getXMMReg(rE) );
27103 if (vty == Ity_V256) {
27116 if (vty == Ity_V256) {
27147 count = vty == Ity_V256 ? 8 : 4;
27148 j = vty == Ity_V256 ? 0 : 4;
27164 count = vty == Ity_V256 ? 4 : 2;
27165 j = vty == Ity_V256 ? 0 : 4;
27192 if (vty != Ity_V256)
27273 IRType dstTy = (isYMM && (ty == Ity_I64 || !isVM64x)) ? Ity_V256 : Ity_V128;
27274 IRType idxTy = (isYMM && (ty == Ity_I32 || isVM64x)) ? Ity_V256 : Ity_V128;
27280 if (dstTy == Ity_V256) {
27511 IRTemp sV = newTemp(Ity_V256);
27512 IRTemp dV = newTemp(Ity_V256);
27539 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
27608 IRTemp sV = newTemp(Ity_V256);
27609 IRTemp dV = newTemp(Ity_V256);
27626 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
27685 IRTemp ctrlV = newTemp(Ity_V256);
27697 assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));
27699 IRTemp dataV = newTemp(Ity_V256);
27742 IRTemp ctrlV = newTemp(Ity_V256);
27754 assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));
27756 IRTemp dataV = newTemp(Ity_V256);
28132 IRTemp tD = newTemp(Ity_V256);
28136 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
29544 IRTemp sV = newTemp(Ity_V256);
29559 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
29565 IRTemp dV = newTemp(Ity_V256);
29624 IRTemp sV = newTemp(Ity_V256);
29625 IRTemp dV = newTemp(Ity_V256);
29642 assign(dV, loadLE(Ity_V256, mkexpr(addr)));
29666 IRTemp sV = newTemp(Ity_V256);
29680 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
29757 IRTemp sV = newTemp(Ity_V256);
29771 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
29777 IRTemp dV = newTemp(Ity_V256);
29888 IRTemp src = newTemp(Ity_V256);
29911 assign( src, loadLE(Ity_V256, mkexpr(addr) ) );
29989 IRTemp src = newTemp(Ity_V256);
30008 assign( src, loadLE(Ity_V256, mkexpr(addr) ) );
30098 IRTemp sV = newTemp(Ity_V256);
30099 IRTemp sE = newTemp(Ity_V256);
30114 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30163 IRTemp sV = newTemp(Ity_V256);
30164 IRTemp sE = newTemp(Ity_V256);
30179 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30259 IRTemp sV = newTemp(Ity_V256);
30260 IRTemp sE = newTemp(Ity_V256);
30277 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30330 IRTemp sV = newTemp(Ity_V256);
30331 IRTemp dV = newTemp(Ity_V256);
30347 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
30722 IRTemp dst_vec = newTemp(Ity_V256);
30734 assign( dst_vec, loadLE( Ity_V256, mkexpr(addr) ) );
30740 IRTemp src_vec = newTemp(Ity_V256);
30828 IRTemp src_vec = newTemp(Ity_V256);
30829 IRTemp dst_vec = newTemp(Ity_V256);
30848 assign( src_vec, loadLE( Ity_V256, mkexpr(addr) ) );