Lines Matching refs:Ity_V256
1488 return IRExpr_Get( ymmGuestRegOffset(xmmreg), Ity_V256 );
1508 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V256);
10014 IRTemp argV = newTemp(Ity_V256);
10027 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10121 IRTemp argV = newTemp(Ity_V256);
10134 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10223 IRTemp argV = newTemp(Ity_V256);
10235 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10339 IRTemp res = newTemp(Ity_V256);
10363 IRTemp rV = newTemp(Ity_V256);
10401 IRTemp rV = newTemp(Ity_V256);
10440 IRTemp rV = newTemp(Ity_V256);
10478 IRTemp rV = newTemp(Ity_V256);
10511 IRTemp rV = newTemp(Ity_V256);
10616 IRTemp addV = newTemp(Ity_V256);
10617 IRTemp subV = newTemp(Ity_V256);
10626 IRTemp res = newTemp(Ity_V256);
10655 IRTemp addV = newTemp(Ity_V256);
10656 IRTemp subV = newTemp(Ity_V256);
10666 IRTemp res = newTemp(Ity_V256);
14125 IRTemp sV = newTemp(Ity_V256);
14138 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
15395 IRTemp mask = newTemp(Ity_V256);
15400 IRTemp notmask = newTemp(Ity_V256);
15403 IRTemp res = newTemp(Ity_V256);
15459 IRTemp vecE = newTemp(Ity_V256);
15460 IRTemp vecV = newTemp(Ity_V256);
15461 IRTemp vecIS4 = newTemp(Ity_V256);
15474 assign(vecE, loadLE(Ity_V256, mkexpr(addr)));
15649 IRTemp vecE = newTemp(Ity_V256);
15650 Ity_V256);
15661 assign(vecE, loadLE( Ity_V256, mkexpr(addr) ));
15675 IRTemp andV = newTemp(Ity_V256);
15676 IRTemp andnV = newTemp(Ity_V256);
21119 IRTemp plain = newTemp(Ity_V256);
21123 IRTemp argL = newTemp(Ity_V256);
21124 IRTemp argR = newTemp(Ity_V256);
21148 assign(argR, loadLE(Ity_V256, mkexpr(addr)) );
21251 IRTemp tSL = newTemp(Ity_V256);
21252 IRTemp tSR = newTemp(Ity_V256);
21270 assign(tSR, loadLE(Ity_V256, mkexpr(addr)));
21278 res = newTemp(Ity_V256);
21334 IRTemp arg = newTemp(Ity_V256);
21344 assign(arg, loadLE(Ity_V256, mkexpr(addr)));
21400 IRTemp argV = newTemp(Ity_V256);
21409 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
21554 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
21588 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
21847 IRTemp eV = newTemp(Ity_V256);
21848 IRTemp vV = newTemp(Ity_V256);
21858 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
21903 IRTemp eV = newTemp(Ity_V256);
21904 IRTemp vV = newTemp(Ity_V256);
21914 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
22029 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
22065 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
22292 IRTemp tS = newTemp(Ity_V256);
23165 IRTemp tD = newTemp(Ity_V256);
23178 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
23421 IRTemp sV = newTemp(Ity_V256);
23422 IRTemp dV = newTemp(Ity_V256);
23438 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
23483 IRTemp sV = newTemp(Ity_V256);
23484 IRTemp dV = newTemp(Ity_V256);
23500 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
23591 IRTemp tS = newTemp(Ity_V256);
23800 IRTemp eV = newTemp(Ity_V256);
23801 IRTemp vV = newTemp(Ity_V256);
23815 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
23860 IRTemp eV = newTemp(Ity_V256);
23861 IRTemp vV = newTemp(Ity_V256);
23875 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
24277 IRTemp tD = newTemp(Ity_V256);
24281 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
24482 IRTemp res = newTemp(Ity_V256);
24515 IRTemp res = newTemp(Ity_V256);
24720 IRTemp ctrlV = newTemp(Ity_V256);
24732 assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));
24734 IRTemp dataV = newTemp(Ity_V256);
24777 IRTemp ctrlV = newTemp(Ity_V256);
24789 assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));
24791 IRTemp dataV = newTemp(Ity_V256);
25293 IRTemp sV = newTemp(Ity_V256);
25307 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
25384 IRTemp sV = newTemp(Ity_V256);
25398 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
25404 IRTemp dV = newTemp(Ity_V256);
25515 IRTemp src = newTemp(Ity_V256);
25538 assign( src, loadLE(Ity_V256, mkexpr(addr) ) );
25616 IRTemp src = newTemp(Ity_V256);
25635 assign( src, loadLE(Ity_V256, mkexpr(addr) ) );
25725 IRTemp sV = newTemp(Ity_V256);
25726 IRTemp sE = newTemp(Ity_V256);
25741 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
25790 IRTemp sV = newTemp(Ity_V256);
25791 IRTemp sE = newTemp(Ity_V256);
25806 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
26206 IRTemp dst_vec = newTemp(Ity_V256);
26218 assign( dst_vec, loadLE( Ity_V256, mkexpr(addr) ) );
26224 IRTemp src_vec = newTemp(Ity_V256);
