Lines Matching refs:Ity_V128
1461 return IRExpr_Get( xmmGuestRegOffset(xmmreg), Ity_V128 );
1491 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
1526 return IRExpr_Get( ymmGuestRegLane128offset(ymmreg,laneno), Ity_V128 );
1547 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
2745 if (ty == Ity_V128)
8736 loadLE(Ity_V128, mkexpr(addr)))
8738 loadLE(Ity_V128, mkexpr(addr)))
8791 IRTemp epart = newTemp(Ity_V128);
8827 IRTemp epart = newTemp(Ity_V128);
8863 unop(op, loadLE(Ity_V128, mkexpr(addr))) );
8886 IRTemp oldG0 = newTemp(Ity_V128);
8887 IRTemp oldG1 = newTemp(Ity_V128);
8930 IRTemp oldG0 = newTemp(Ity_V128);
8931 IRTemp oldG1 = newTemp(Ity_V128);
8985 epart = loadLE(Ity_V128, mkexpr(addr));
9132 IRTemp plain = newTemp(Ity_V128);
9161 ? loadLE(Ity_V128, mkexpr(addr))
9205 IRTemp g0 = newTemp(Ity_V128);
9206 IRTemp g1 = newTemp(Ity_V128);
9276 IRTemp e0 = newTemp(Ity_V128);
9277 IRTemp e1 = newTemp(Ity_V128);
9448 *t0 = newTemp(Ity_V128);
9449 *t1 = newTemp(Ity_V128);
9665 IRTemp res = newTemp(Ity_V128);
9728 IRTemp res = newTemp(Ity_V128);
10042 IRTemp sV = newTemp(Ity_V128);
10056 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
10069 IRTemp dV = newTemp(Ity_V128);
10125 IRTemp dV = newTemp(Ity_V128);
10172 IRTemp dV = newTemp(Ity_V128);
10401 IRTemp argV = newTemp(Ity_V128);
10411 assign( argV, loadLE(Ity_V128, mkexpr(addr)) );
10445 IRTemp argV = newTemp(Ity_V128);
10458 assign( argV, loadLE(Ity_V128, mkexpr(addr)) );
10547 IRTemp argV = newTemp(Ity_V128);
10560 assign( argV, loadLE(Ity_V128, mkexpr(addr)) );
10656 IRTemp argV = newTemp(Ity_V128);
10669 assign( argV, loadLE(Ity_V128, mkexpr(addr)) );
10757 IRTemp t0 = newTemp(Ity_V128);
10776 IRTemp t0 = newTemp(Ity_V128);
10777 IRTemp t1 = newTemp(Ity_V128);
10800 Ity_V128);
10819 IRTemp res = newTemp(Ity_V128);
10877 IRTemp res = newTemp(Ity_V128);
10919 IRTemp res = newTemp(Ity_V128);
10946 IRTemp imm8_mask = newTemp(Ity_V128);
10957 IRTemp res = newTemp(Ity_V128);
10987 IRTemp imm8_mask = newTemp(Ity_V128);
10990 IRTemp res = newTemp(Ity_V128);
11024 IRTemp imm16_mask = newTemp(Ity_V128);
11027 IRTemp res = newTemp(Ity_V128);
11045 IRTemp res = newTemp(Ity_V128);
11077 IRTemp res = newTemp(Ity_V128);
11117 IRTemp res = newTemp(Ity_V128);
11139 IRTemp addV = newTemp(Ity_V128);
11140 IRTemp subV = newTemp(Ity_V128);
11152 IRTemp res = newTemp(Ity_V128);
11182 IRTemp addV = newTemp(Ity_V128);
11183 IRTemp subV = newTemp(Ity_V128);
11194 IRTemp res = newTemp(Ity_V128);
11235 sV = newTemp(Ity_V128);
11236 dV = newTemp(Ity_V128);
11250 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
11332 IRTemp sV = newTemp(Ity_V128);
11493 IRTemp tmp128 = newTemp(Ity_V128);
11505 IRTemp res = newTemp(Ity_V128);
11521 IRTemp res = newTemp(Ity_V128);
11553 IRTemp regD = newTemp(Ity_V128);
11554 IRTemp mask = newTemp(Ity_V128);
11555 IRTemp olddata = newTemp(Ity_V128);
11556 IRTemp newdata = newTemp(Ity_V128);
11576 assign( olddata, loadLE( Ity_V128, mkexpr(addr) ));
11768 loadLE(Ity_V128, mkexpr(addr)) );
11833 loadLE(Ity_V128, mkexpr(addr)) );
12002 IRTemp sV = newTemp(Ity_V128);
12003 IRTemp dV = newTemp(Ity_V128);
12015 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
12030 IRTemp sV = newTemp(Ity_V128);
12031 IRTemp dV = newTemp(Ity_V128);
12043 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
12177 loadLE(Ity_V128, mkexpr(addr)) );
12198 loadLE(Ity_V128, mkexpr(addr)) );
13180 loadLE(Ity_V128, mkexpr(addr)) );
13199 loadLE(Ity_V128, mkexpr(addr)) );
13326 IRTemp sV = newTemp(Ity_V128);
13341 IRTemp sV = newTemp(Ity_V128);
13829 IRTemp src_vec = newTemp(Ity_V128);
13890 IRTemp sV = newTemp(Ity_V128);
13891 IRTemp dV = newTemp(Ity_V128);
13903 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
13915 IRTemp sV = newTemp(Ity_V128);
13916 IRTemp dV = newTemp(Ity_V128);
13930 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14410 IRTemp sV = newTemp(Ity_V128);
14411 IRTemp dV = newTemp(Ity_V128);
14422 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14467 IRTemp sV = newTemp(Ity_V128);
14468 IRTemp dV = newTemp(Ity_V128);
14478 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14500 IRTemp sV = newTemp(Ity_V128);
14501 IRTemp dV = newTemp(Ity_V128);
14511 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14635 IRTemp sV = newTemp(Ity_V128);
14697 IRTemp sV = newTemp(Ity_V128);
14712 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14761 IRTemp leftV = newTemp(Ity_V128);
14762 IRTemp rightV = newTemp(Ity_V128);
14772 IRTemp res = newTemp(Ity_V128);
14783 IRTemp leftV = newTemp(Ity_V128);
14784 IRTemp rightV = newTemp(Ity_V128);
14794 IRTemp res = newTemp(Ity_V128);
14852 IRTemp eV = newTemp(Ity_V128);
14853 IRTemp gV = newTemp(Ity_V128);
14865 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
14877 IRTemp eV = newTemp(Ity_V128);
14878 IRTemp gV = newTemp(Ity_V128);
14890 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
14904 IRTemp eV = newTemp(Ity_V128);
14905 IRTemp gV = newTemp(Ity_V128);
14915 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
14926 IRTemp eV = newTemp(Ity_V128);
14927 IRTemp gV = newTemp(Ity_V128);
14939 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
14959 loadLE(Ity_V128, mkexpr(addr)) );
15007 IRTemp res = newTemp(Ity_V128);
15105 IRTemp sV = newTemp(Ity_V128);
15106 IRTemp dV = newTemp(Ity_V128);
15141 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15243 IRTemp sVoddsSX = newTemp(Ity_V128);
15244 IRTemp sVevensSX = newTemp(Ity_V128);
15245 IRTemp dVoddsZX = newTemp(Ity_V128);
15246 IRTemp dVevensZX = newTemp(Ity_V128);
15257 IRTemp res = newTemp(Ity_V128);
15304 IRTemp sV = newTemp(Ity_V128);
15305 IRTemp dV = newTemp(Ity_V128);
15318 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15460 IRTemp sV = newTemp(Ity_V128);
15461 IRTemp dV = newTemp(Ity_V128);
15475 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15543 IRTemp sV = newTemp(Ity_V128);
15544 IRTemp dV = newTemp(Ity_V128);
15570 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15636 IRTemp sV = newTemp(Ity_V128);
15637 IRTemp dV = newTemp(Ity_V128);
15654 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15713 IRTemp sV = newTemp(Ity_V128);
15733 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15824 IRTemp sV = newTemp(Ity_V128);
15825 IRTemp dV = newTemp(Ity_V128);
15840 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
16142 IRTemp mask = newTemp(Ity_V128);
16145 IRTemp notmask = newTemp(Ity_V128);
16148 IRTemp res = newTemp(Ity_V128);
16194 IRTemp vecE = newTemp(Ity_V128);
16195 IRTemp vecV = newTemp(Ity_V128);
16196 IRTemp vecIS4 = newTemp(Ity_V128);
16209 assign(vecE, loadLE(Ity_V128, mkexpr(addr)));
16370 IRTemp vecE = newTemp(Ity_V128);
16371 IRTemp vecG = newTemp(Ity_V128);
16385 assign(vecE, loadLE( Ity_V128, mkexpr(addr) ));
16400 IRTemp andV = newTemp(Ity_V128);
16401 IRTemp andnV = newTemp(Ity_V128);
16462 IRTemp andV128 = newTemp(Ity_V128);
16463 IRTemp andnV128 = newTemp(Ity_V128);
16479 IRTemp srcVec = newTemp(Ity_V128);
16522 IRTemp srcVec = newTemp(Ity_V128);
16533 assign( srcVec, loadLE( Ity_V128, mkexpr(addr) ) );
16562 IRTemp srcVec = newTemp(Ity_V128);
16601 IRTemp srcVec = newTemp(Ity_V128);
16613 assign( srcVec, loadLE( Ity_V128, mkexpr(addr) ) );
16708 IRTemp srcVec = newTemp(Ity_V128);
16726 IRTemp zeroVec = newTemp( Ity_V128 );
16744 IRTemp srcVec = newTemp(Ity_V128);
16761 IRTemp zeroVec = newTemp( Ity_V128 );
16785 IRTemp srcVec = newTemp(Ity_V128);
16831 IRTemp srcVec = newTemp(Ity_V128);
16846 assign( srcVec, loadLE(Ity_V128, mkexpr(addr)) );
16884 IRTemp srcVec = newTemp(Ity_V128);
16902 IRTemp zeroVec = newTemp(Ity_V128);
16927 IRTemp srcVec = newTemp(Ity_V128);
16944 IRTemp zeroVec = newTemp(Ity_V128);
17053 IRTemp srcVec = newTemp(Ity_V128);
17071 IRTemp zeroVec = newTemp(Ity_V128);
17092 IRTemp srcVec = newTemp(Ity_V128);
17108 IRTemp zeroVec = newTemp(Ity_V128);
17138 IRTemp sV = newTemp(Ity_V128);
17152 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
17194 stmt( IRStmt_Put( OFFB_YMM16, loadLE(Ity_V128, mkexpr(addr)) ));
17283 stmt( IRStmt_Put( OFFB_YMM16, loadLE(Ity_V128, mkexpr(addr)) ));
17373 IRTemp vecE = newTemp(Ity_V128);
17374 IRTemp vecG = newTemp(Ity_V128);
17375 IRTemp vec0 = newTemp(Ity_V128);
17386 assign(vecE, loadLE( Ity_V128, mkexpr(addr) ));
17477 IRTemp sV = newTemp(Ity_V128);
17478 IRTemp dV = newTemp(Ity_V128);
17489 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
17520 loadLE(Ity_V128, mkexpr(addr)) );
17536 IRTemp argL = newTemp(Ity_V128);
17537 IRTemp argR = newTemp(Ity_V128);
17548 assign( argL, loadLE( Ity_V128, mkexpr(addr) ));
17719 IRTemp argL = newTemp(Ity_V128);
17720 IRTemp argR = newTemp(Ity_V128);
17731 assign( argL, loadLE( Ity_V128, mkexpr(addr) ));
17869 IRTemp xmm_vec = newTemp(Ity_V128);
17924 IRTemp xmm_vec = newTemp(Ity_V128);
17973 IRTemp xmm_vec = newTemp(Ity_V128);
18027 IRTemp argL = newTemp(Ity_V128);
18029 IRTemp argR = newTemp(Ity_V128);
18175 stmt( IRStmt_Put( OFFB_YMM16, loadLE(Ity_V128, mkexpr(addr)) ));
18290 IRTemp tmp128 = newTemp(Ity_V128);
18302 IRTemp res = newTemp(Ity_V128);
18317 IRTemp withZs = newTemp(Ity_V128);
18335 IRTemp res = newTemp(Ity_V128);
18347 IRTemp withZs = newTemp(Ity_V128);
18358 IRTemp res = newTemp(Ity_V128);
18378 IRTemp resV = newTemp(Ity_V128);
18394 IRTemp xmm_vec = newTemp(Ity_V128);
18444 IRTemp and_vec = newTemp(Ity_V128);
18445 IRTemp sum_vec = newTemp(Ity_V128);
18459 IRTemp res = newTemp(Ity_V128);
18471 IRTemp tmp_prod_vec = newTemp(Ity_V128);
18472 IRTemp prod_vec = newTemp(Ity_V128);
18473 IRTemp sum_vec = newTemp(Ity_V128);
18498 IRTemp res = newTemp(Ity_V128);
18520 IRTemp src_maskV = newTemp(Ity_V128);
18521 IRTemp dst_maskV = newTemp(Ity_V128);
18525 IRTemp src_masked = newTemp(Ity_V128);
18526 IRTemp dst_masked = newTemp(Ity_V128);
18559 IRTemp res = newTemp(Ity_V128);
18572 IRTemp xmm_vec = newTemp(Ity_V128);
18634 IRTemp res = newTemp(Ity_V128);
18842 IRTemp dst_vec = newTemp(Ity_V128);
18843 IRTemp src_vec = newTemp(Ity_V128);
18860 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
18879 IRTemp dst_vec = newTemp(Ity_V128);
18880 IRTemp src_vec = newTemp(Ity_V128);
18896 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
18915 IRTemp dst_vec = newTemp(Ity_V128);
18916 IRTemp src_vec = newTemp(Ity_V128);
18933 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
19022 IRTemp src_vec = newTemp(Ity_V128);
19043 IRTemp vE = newTemp(Ity_V128);
19061 IRTemp vG = newTemp(Ity_V128);
19095 IRTemp src_vec = newTemp(Ity_V128);
19126 IRTemp src_vec = newTemp(Ity_V128);
19140 IRTemp src_vec = newTemp(Ity_V128);
19141 IRTemp dst_vec = newTemp(Ity_V128);
19155 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
19173 IRTemp src_vec = newTemp(Ity_V128);
19174 IRTemp dst_vec = newTemp(Ity_V128);
19188 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
19205 IRTemp src_vec = newTemp(Ity_V128);
19206 IRTemp dst_vec = newTemp(Ity_V128);
19224 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
19243 IRTemp svec = newTemp(Ity_V128);
19244 IRTemp dvec = newTemp(Ity_V128);
19261 assign( svec, loadLE( Ity_V128, mkexpr(addr) ) );
22119 IRTemp tSL = newTemp(Ity_V128);
22120 IRTemp tSR = newTemp(Ity_V128);
22138 assign(tSR, loadLE(Ity_V128, mkexpr(addr)));
22146 res = newTemp(Ity_V128);
22214 IRTemp g0 = newTemp(Ity_V128);
22215 IRTemp g1 = newTemp(Ity_V128);
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)) );
22469 IRTemp e0 = newTemp(Ity_V128);
22470 IRTemp e1 = newTemp(Ity_V128);
22604 IRTemp epart = newTemp(Ity_V128);
22655 IRTemp arg = newTemp(Ity_V128);
22702 IRTemp arg = newTemp(Ity_V128);
22741 IRTemp epart = newTemp(Ity_V128);
22790 IRTemp plain = newTemp(Ity_V128);
22794 IRTemp argL = newTemp(Ity_V128);
22795 IRTemp argR = newTemp(Ity_V128);
22814 all_lanes ? loadLE(Ity_V128, mkexpr(addr))
22854 IRTemp res = newTemp(Ity_V128);
22855 IRTemp mask = newTemp(Ity_V128);
22856 IRTemp notMask = newTemp(Ity_V128);
22965 IRTemp res = newTemp(Ity_V128);
22966 IRTemp arg = newTemp(Ity_V128);
22976 assign(arg, loadLE(Ity_V128, mkexpr(addr)));
22997 IRTemp arg = newTemp(Ity_V128);
23007 assign(arg, loadLE(Ity_V128, mkexpr(addr)));
23201 IRTemp sV = newTemp(Ity_V128);
23210 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
23385 IRTemp z128 = newTemp(Ity_V128);
23405 IRTemp res = newTemp(Ity_V128);
23420 IRTemp z128 = newTemp(Ity_V128);
23440 IRTemp res = newTemp(Ity_V128);
23461 putYMMRegLoAndZU( rG, loadLE(Ity_V128, mkexpr(addr)) );
23495 putYMMRegLoAndZU( rG, loadLE(Ity_V128, mkexpr(addr)) );
23543 IRTemp res = newTemp(Ity_V128);
23573 IRTemp res = newTemp(Ity_V128);
23675 IRTemp res = newTemp(Ity_V128);
23696 IRTemp res = newTemp(Ity_V128);
23743 IRTemp eV = newTemp(Ity_V128);
23744 IRTemp vV = newTemp(Ity_V128);
23754 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
23799 IRTemp eV = newTemp(Ity_V128);
23800 IRTemp vV = newTemp(Ity_V128);
23810 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
23862 IRTemp res = newTemp(Ity_V128);
23883 IRTemp res = newTemp(Ity_V128);
23935 putYMMRegLoAndZU( rG, loadLE(Ity_V128, mkexpr(addr)) );
23971 putYMMRegLoAndZU( rG, loadLE(Ity_V128, mkexpr(addr)) );
24200 IRTemp tS = newTemp(Ity_V128);
25223 IRTemp tD = newTemp(Ity_V128);
25236 assign(tD, loadLE(Ity_V128, mkexpr(addr)));
25398 IRTemp vecS = newTemp(Ity_V128);
25440 IRTemp vecS0 = newTemp(Ity_V128);
25441 IRTemp vecS1 = newTemp(Ity_V128);
25453 IRTemp vecS0 = newTemp(Ity_V128);
25454 IRTemp vecS1 = newTemp(Ity_V128);
25536 IRTemp zero128 = newTemp(Ity_V128);
25547 IRTemp zero128 = newTemp(Ity_V128);
25562 IRTemp sV = newTemp(Ity_V128);
25563 IRTemp dV = newTemp(Ity_V128);
25577 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
25624 IRTemp sV = newTemp(Ity_V128);
25625 IRTemp dV = newTemp(Ity_V128);
25639 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
25785 IRTemp tS = newTemp(Ity_V128);
25913 IRTemp src_vec = newTemp(Ity_V128);
25939 IRTemp eV = newTemp(Ity_V128);
25940 IRTemp vV = newTemp(Ity_V128);
25954 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
25999 IRTemp eV = newTemp(Ity_V128);
26000 IRTemp vV = newTemp(Ity_V128);
26014 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
26640 IRTemp tD = newTemp(Ity_V128);
26644 assign(tD, loadLE(Ity_V128, mkexpr(addr)));
26911 IRTemp res = newTemp(Ity_V128);
26944 IRTemp res = newTemp(Ity_V128);
27019 IRType vty = scalar ? ty : getVexL(pfx) ? Ity_V256 : Ity_V128;
27273 IRType dstTy = (isYMM && (ty == Ity_I64 || !isVM64x)) ? Ity_V256 : Ity_V128;
27274 IRType idxTy = (isYMM && (ty == Ity_I32 || isVM64x)) ? Ity_V256 : Ity_V128;
27461 IRTemp sV = newTemp(Ity_V128);
27462 IRTemp dV = newTemp(Ity_V128);
27488 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
27569 IRTemp sV = newTemp(Ity_V128);
27570 IRTemp dV = newTemp(Ity_V128);
27587 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
27658 IRTemp ctrlV = newTemp(Ity_V128);
27670 assign(ctrlV, loadLE(Ity_V128, mkexpr(addr)));
27672 IRTemp dataV = newTemp(Ity_V128);
27715 IRTemp ctrlV = newTemp(Ity_V128);
27727 assign(ctrlV, loadLE(Ity_V128, mkexpr(addr)));
27729 IRTemp dataV = newTemp(Ity_V128);
27932 IRTemp t128 = newTemp(Ity_V128);
27933 assign(t128, loadLE(Ity_V128, mkexpr(addr)));
28118 IRTemp tD = newTemp(Ity_V128);
28122 assign(tD, loadLE(Ity_V128, mkexpr(addr)));
28630 IRTemp t128 = newTemp(Ity_V128);
28631 assign(t128, loadLE(Ity_V128, mkexpr(addr)));
29503 IRTemp res = newTemp(Ity_V128);
29584 IRTemp sV = newTemp(Ity_V128);
29585 IRTemp dV = newTemp(Ity_V128);
29602 assign(dV, loadLE(Ity_V128, mkexpr(addr)));
29696 IRTemp sV = newTemp(Ity_V128);
29710 assign(sV, loadLE(Ity_V128, mkexpr(addr)));
29724 IRTemp sV = newTemp(Ity_V128);
29738 assign(sV, loadLE(Ity_V128, mkexpr(addr)));
29745 IRTemp dV = newTemp(Ity_V128);
29796 IRTemp s00 = newTemp(Ity_V128);
29797 IRTemp s01 = newTemp(Ity_V128);
29798 IRTemp s10 = newTemp(Ity_V128);
29799 IRTemp s11 = newTemp(Ity_V128);
29816 assign(s10, loadLE(Ity_V128, binop(Iop_Add64,
29818 assign(s11, loadLE(Ity_V128, binop(Iop_Add64,
29840 IRTemp src = newTemp(Ity_V128);
29859 assign( src, loadLE(Ity_V128, mkexpr(addr) ) );
29945 IRTemp src = newTemp(Ity_V128);
29962 assign( src, loadLE(Ity_V128, mkexpr(addr) ) );
30129 IRTemp sV = newTemp(Ity_V128);
30130 IRTemp sE = newTemp(Ity_V128);
30145 assign(sE, loadLE(Ity_V128, mkexpr(addr)));
30194 IRTemp sV = newTemp(Ity_V128);
30195 IRTemp sE = newTemp(Ity_V128);
30210 assign(sE, loadLE(Ity_V128, mkexpr(addr)));
30228 IRTemp sV = newTemp(Ity_V128);
30229 IRTemp sE = newTemp(Ity_V128);
30244 assign(sE, loadLE(Ity_V128, mkexpr(addr)));
30297 IRTemp sV = newTemp(Ity_V128);
30298 IRTemp dV = newTemp(Ity_V128);
30312 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
30418 IRTemp t128 = newTemp(Ity_V128);
30428 assign(t128, loadLE(Ity_V128, mkexpr(addr)));
30452 IRTemp t128 = newTemp(Ity_V128);
30502 IRTemp src_vec = newTemp(Ity_V128);
30524 IRTemp vE = newTemp(Ity_V128);
30542 IRTemp vV = newTemp(Ity_V128);
30577 IRTemp src_vec = newTemp(Ity_V128);
30609 IRTemp src_vec = newTemp(Ity_V128);
30628 IRTemp t128 = newTemp(Ity_V128);
30638 assign(t128, loadLE(Ity_V128, mkexpr(addr)));
30662 IRTemp t128 = newTemp(Ity_V128);
30692 IRTemp dst_vec = newTemp(Ity_V128);
30704 assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );
30710 IRTemp src_vec = newTemp(Ity_V128);
30760 IRTemp dst_vec = newTemp(Ity_V128);
30772 assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );
30778 IRTemp src_vec = newTemp(Ity_V128);
30793 IRTemp src_vec = newTemp(Ity_V128);
30794 IRTemp dst_vec = newTemp(Ity_V128);
30811 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
30875 IRTemp sV = newTemp(Ity_V128);
30876 IRTemp dV = newTemp(Ity_V128);
30892 assign( sV, loadLE( Ity_V128, mkexpr(addr) ) );
30913 IRTemp s00 = newTemp(Ity_V128);
30914 IRTemp s01 = newTemp(Ity_V128);
30915 IRTemp s10 = newTemp(Ity_V128);
30916 IRTemp s11 = newTemp(Ity_V128);
30933 assign(s10, loadLE(Ity_V128, binop(Iop_Add64,
30935 assign(s11, loadLE(Ity_V128, binop(Iop_Add64,