Lines Matching refs:Ity_V256
1528 return IRExpr_Get( ymmGuestRegOffset(xmmreg), Ity_V256 );
1548 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V256);
9791 IRTemp res = newTemp(Ity_V256);
10189 IRTemp sV = newTemp(Ity_V256);
10202 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
10597 IRTemp argV = newTemp(Ity_V256);
10610 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10704 IRTemp argV = newTemp(Ity_V256);
10717 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10806 IRTemp argV = newTemp(Ity_V256);
10818 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10938 IRTemp res = newTemp(Ity_V256);
10962 IRTemp rV = newTemp(Ity_V256);
11000 IRTemp rV = newTemp(Ity_V256);
11039 IRTemp rV = newTemp(Ity_V256);
11077 IRTemp rV = newTemp(Ity_V256);
11110 IRTemp rV = newTemp(Ity_V256);
11163 IRTemp res = newTemp(Ity_V256);
11195 IRTemp res = newTemp(Ity_V256);
11231 IRTemp res = newTemp(Ity_V256);
11263 IRTemp addV = newTemp(Ity_V256);
11264 IRTemp subV = newTemp(Ity_V256);
11275 IRTemp res = newTemp(Ity_V256);
11306 IRTemp addV = newTemp(Ity_V256);
11307 IRTemp subV = newTemp(Ity_V256);
11319 IRTemp res = newTemp(Ity_V256);
11393 sV = newTemp(Ity_V256);
11405 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
12133 IRTemp res = newTemp(Ity_V256);
15197 IRTemp sV = newTemp(Ity_V256);
15210 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
15553 IRTemp res = newTemp(Ity_V256);
15645 IRTemp sV = newTemp(Ity_V256);
15646 IRTemp dV = newTemp(Ity_V256);
15676 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
15741 IRTemp res = newTemp(Ity_V256);
16636 IRTemp mask = newTemp(Ity_V256);
16641 IRTemp notmask = newTemp(Ity_V256);
16644 IRTemp res = newTemp(Ity_V256);
16700 IRTemp vecE = newTemp(Ity_V256);
16701 IRTemp vecV = newTemp(Ity_V256);
16702 IRTemp vecIS4 = newTemp(Ity_V256);
16715 assign(vecE, loadLE(Ity_V256, mkexpr(addr)));
16890 IRTemp vecE = newTemp(Ity_V256);
16891 IRTemp vecG = newTemp(Ity_V256);
16902 assign(vecE, loadLE( Ity_V256, mkexpr(addr) ));
16916 IRTemp andV = newTemp(Ity_V256);
16917 IRTemp andnV = newTemp(Ity_V256);
22796 IRTemp g0 = newTemp(Ity_V256);
22797 IRTemp g1 = newTemp(Ity_V256);
22871 IRTemp sV = isYMM ? newTemp(Ity_V256) : newTemp(Ity_V128);
22872 IRTemp amt = isYMM ? newTemp(Ity_V256) : newTemp(Ity_V128);
22887 assign( amt, loadLE(isYMM ? Ity_V256 : Ity_V128, mkexpr(addr)) );
23034 IRTemp e0 = newTemp(Ity_V256);
23035 IRTemp e1 = newTemp(Ity_V256);
23408 IRTemp plain = newTemp(Ity_V256);
23412 IRTemp argL = newTemp(Ity_V256);
23413 IRTemp argR = newTemp(Ity_V256);
23437 assign(argR, loadLE(Ity_V256, mkexpr(addr)) );
23546 IRTemp tSL = newTemp(Ity_V256);
23547 IRTemp tSR = newTemp(Ity_V256);
23565 assign(tSR, loadLE(Ity_V256, mkexpr(addr)));
23573 res = newTemp(Ity_V256);
23654 IRTemp res = newTemp(Ity_V256);
23655 IRTemp arg = newTemp(Ity_V256);
23665 assign(arg, loadLE(Ity_V256, mkexpr(addr)));
23686 IRTemp arg = newTemp(Ity_V256);
23696 assign(arg, loadLE(Ity_V256, mkexpr(addr)));
23752 IRTemp argV = newTemp(Ity_V256);
23761 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
23786 IRTemp res = newTemp(Ity_V256);
23992 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
24026 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
24285 IRTemp eV = newTemp(Ity_V256);
24286 IRTemp vV = newTemp(Ity_V256);
24296 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
24341 IRTemp eV = newTemp(Ity_V256);
24342 IRTemp vV = newTemp(Ity_V256);
24352 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
24467 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
24503 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
24730 IRTemp tS = newTemp(Ity_V256);
25713 IRTemp tD = newTemp(Ity_V256);
25726 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
26105 IRTemp sV = newTemp(Ity_V256);
26106 IRTemp dV = newTemp(Ity_V256);
26122 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
26167 IRTemp sV = newTemp(Ity_V256);
26168 IRTemp dV = newTemp(Ity_V256);
26184 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
26275 IRTemp tS = newTemp(Ity_V256);
26484 IRTemp eV = newTemp(Ity_V256);
26485 IRTemp vV = newTemp(Ity_V256);
26499 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
26544 IRTemp eV = newTemp(Ity_V256);
26545 IRTemp vV = newTemp(Ity_V256);
26559 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
27142 IRTemp tD = newTemp(Ity_V256);
27146 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
27439 IRTemp res = newTemp(Ity_V256);
27472 IRTemp res = newTemp(Ity_V256);
27486 IRTemp res = newTemp(Ity_V256);
27534 IRType vty = scalar ? ty : getVexL(pfx) ? Ity_V256 : Ity_V128;
27606 assign( vX, vty == Ity_V256 ? getYMMReg(rG) : getXMMReg(rG) );
27607 assign( vZ, vty == Ity_V256 ? getYMMReg(rV) : getXMMReg(rV) );
27617 assign( vY, vty == Ity_V256 ? getYMMReg(rE) : getXMMReg(rE) );
27618 if (vty == Ity_V256) {
27631 if (vty == Ity_V256) {
27662 count = vty == Ity_V256 ? 8 : 4;
27663 j = vty == Ity_V256 ? 0 : 4;
27679 count = vty == Ity_V256 ? 4 : 2;
27680 j = vty == Ity_V256 ? 0 : 4;
27707 if (vty != Ity_V256)
27797 IRType dstTy = (isYMM && (ty == Ity_I64 || !isVM64x)) ? Ity_V256 : Ity_V128;
27798 IRType idxTy = (isYMM && (ty == Ity_I32 || isVM64x)) ? Ity_V256 : Ity_V128;
27804 if (dstTy == Ity_V256) {
28035 IRTemp sV = newTemp(Ity_V256);
28036 IRTemp dV = newTemp(Ity_V256);
28063 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
28132 IRTemp sV = newTemp(Ity_V256);
28133 IRTemp dV = newTemp(Ity_V256);
28150 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
28209 IRTemp ctrlV = newTemp(Ity_V256);
28221 assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));
28223 IRTemp dataV = newTemp(Ity_V256);
28266 IRTemp ctrlV = newTemp(Ity_V256);
28278 assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));
28280 IRTemp dataV = newTemp(Ity_V256);
28656 IRTemp tD = newTemp(Ity_V256);
28660 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
30145 IRTemp sV = newTemp(Ity_V256);
30160 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
30166 IRTemp dV = newTemp(Ity_V256);
30225 IRTemp sV = newTemp(Ity_V256);
30226 IRTemp dV = newTemp(Ity_V256);
30243 assign(dV, loadLE(Ity_V256, mkexpr(addr)));
30267 IRTemp sV = newTemp(Ity_V256);
30281 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
30358 IRTemp sV = newTemp(Ity_V256);
30372 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
30378 IRTemp dV = newTemp(Ity_V256);
30489 IRTemp src = newTemp(Ity_V256);
30512 assign( src, loadLE(Ity_V256, mkexpr(addr) ) );
30590 IRTemp src = newTemp(Ity_V256);
30609 assign( src, loadLE(Ity_V256, mkexpr(addr) ) );
30699 IRTemp sV = newTemp(Ity_V256);
30700 IRTemp sE = newTemp(Ity_V256);
30715 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30764 IRTemp sV = newTemp(Ity_V256);
30765 IRTemp sE = newTemp(Ity_V256);
30780 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30860 IRTemp sV = newTemp(Ity_V256);
30861 IRTemp sE = newTemp(Ity_V256);
30878 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30931 IRTemp sV = newTemp(Ity_V256);
30932 IRTemp dV = newTemp(Ity_V256);
30948 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
31323 IRTemp dst_vec = newTemp(Ity_V256);
31335 assign( dst_vec, loadLE( Ity_V256, mkexpr(addr) ) );
31341 IRTemp src_vec = newTemp(Ity_V256);
31429 IRTemp src_vec = newTemp(Ity_V256);
31430 IRTemp dst_vec = newTemp(Ity_V256);
31449 assign( src_vec, loadLE( Ity_V256, mkexpr(addr) ) );
