Lines Matching refs:loadLE
302 static IRExpr* loadLE ( IRType ty, IRExpr* addr )
2975 assign( src, loadLE(szToITy(size), mkexpr(addr)) );
3090 assign(dst0, loadLE(ty,mkexpr(addr)));
3177 putIRegG(size, pfx, rm, loadLE(szToITy(size), mkexpr(addr)));
3317 loadLE(szToITy(szs),mkexpr(addr))));
3451 assign(dst0, loadLE(ty,mkexpr(addr)));
3530 assign(dst0, loadLE(ty,mkexpr(addr)));
3852 assign( t2, widenUto64(loadLE(ty, mkexpr(t_addr))) );
4094 assign(t1, loadLE(ty,mkexpr(addr)));
4212 assign( t1, loadLE(ty, mkexpr(addr)) );
4357 assign(t1, loadLE(ty,mkexpr(addr)));
4390 assign(t3, loadLE(Ity_I64,mkexpr(addr)));
4406 assign(t3, loadLE(Ity_I64,mkexpr(addr)));
4417 assign(t3, loadLE(ty,mkexpr(addr)));
4491 storeLE( mkexpr(td), loadLE(ty,mkexpr(ts)) );
4515 putIRegRAX ( sz, loadLE(ty, mkexpr(ts)) );
4564 assign( tdv, loadLE(ty,mkexpr(td)) );
4566 assign( tsv, loadLE(ty,mkexpr(ts)) );
4596 assign( tdv, loadLE(ty,mkexpr(td)) );
4685 assign( te, loadLE(ty,mkexpr(addr)) );
4733 assign(te, loadLE(ty, mkexpr(addr)));
5216 loadLE(Ity_F64,mkexpr(addr))
5223 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr)))
5241 loadLE(Ity_F64,mkexpr(addr)),
5248 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr))),
5381 loadLE(Ity_F32,mkexpr(addr)))),
5399 loadLE(Ity_F32,mkexpr(addr)))),
5508 loadLE(Ity_F32, mkexpr(addr))));
5601 loadLE(Ity_I16, mkexpr(addr)))
6068 loadLE(Ity_I32, mkexpr(addr)))));
6076 loadLE(Ity_I32, mkexpr(addr))),
6165 loadLE(Ity_I32, mkexpr(addr))));
6389 //.. loadLE(Ity_F64,mkexpr(addr))),
6404 loadLE(Ity_F64,mkexpr(addr))),
6485 put_ST(0, loadLE(Ity_F64, mkexpr(addr)));
6782 loadLE(Ity_I16, mkexpr(addr))))));
6791 loadLE(Ity_I16, mkexpr(addr)))),
6870 loadLE(Ity_I16, mkexpr(addr)))));
6901 loadLE(Ity_I64, mkexpr(addr))));
7145 argE = loadLE(Ity_I64, mkexpr(addr));
7208 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
7353 loadLE(Ity_I32, mkexpr(addr)) ) );
7372 loadLE(Ity_I64, mkexpr(addr)) );
7438 putMMXReg( gregLO3ofRM(modrm), loadLE(Ity_I64, mkexpr(addr)) );
7679 assign( olddata, loadLE( Ity_I64, mkexpr(addr) ));
7813 assign( esrc, loadLE(ty, mkexpr(addr)) );
8051 assign( t_fetched, loadLE(Ity_I8, mkexpr(t_addr1)) );
8103 putIRegE(sz, pfx, modrm, loadLE(szToITy(sz), mkexpr(t_rsp)) );
8143 assign( src, loadLE(ty, mkexpr(addr)) );
8384 assign( dest, loadLE(ty, mkexpr(addr)) );
8475 assign( tmps, loadLE(ty, mkexpr(addr)) );
8534 assign( tmpd, loadLE(ty, mkexpr(addr)) );
8549 assign( tmpd, loadLE(ty, mkexpr(addr)) );
8582 //.. putSReg( gregOfRM(rm), loadLE(Ity_I16, mkexpr(addr)) );
8643 //.. assign( t1, loadLE(Ity_I16, mkexpr(ta)) );
8657 assign(t2, loadLE(Ity_I64,mkexpr(t1)));
8736 loadLE(Ity_V128, mkexpr(addr)))
8738 loadLE(Ity_V128, mkexpr(addr)))
8794 loadLE(Ity_I32, mkexpr(addr))) );
8830 loadLE(Ity_I64, mkexpr(addr))) );
8863 unop(op, loadLE(Ity_V128, mkexpr(addr))) );
8906 loadLE(Ity_I32, mkexpr(addr)) ));
8950 loadLE(Ity_I64, mkexpr(addr)) ));
8985 epart = loadLE(Ity_V128, mkexpr(addr));
9161 ? loadLE(Ity_V128, mkexpr(addr))
9163 ? unop( Iop_64UtoV128, loadLE(Ity_I64, mkexpr(addr)))
9165 unop( Iop_32UtoV128, loadLE(Ity_I32, mkexpr(addr)))
9217 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
9968 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );
10011 assign( argR, loadLE(Ity_F32, mkexpr(addr)) );
10056 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
10100 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
10238 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10286 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
10336 assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) );
10337 assign( f32hi, loadLE(Ity_F32,
10374 assign( f32_0, loadLE(Ity_F32, mkexpr(addr)) );
10375 assign( f32_1, loadLE(Ity_F32,
10377 assign( f32_2, loadLE(Ity_F32,
10379 assign( f32_3, loadLE(Ity_F32,
10411 assign( argV, loadLE(Ity_V128, mkexpr(addr)) );
10458 assign( argV, loadLE(Ity_V128, mkexpr(addr)) );
10508 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10560 assign( argV, loadLE(Ity_V128, mkexpr(addr)) );
10615 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
10669 assign( argV, loadLE(Ity_V128, mkexpr(addr)) );
10716 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
11250 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
11303 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
11382 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
11463 loadLE(Ity_I32, mkexpr(addr))
11576 assign( olddata, loadLE( Ity_V128, mkexpr(addr) ));
11768 loadLE(Ity_V128, mkexpr(addr)) );
11791 loadLE(Ity_I64, mkexpr(addr)) );
11813 loadLE(Ity_I32, mkexpr(addr)) );
11833 loadLE(Ity_V128, mkexpr(addr)) );
11929 loadLE(Ity_I64, mkexpr(addr)) );
11951 loadLE(Ity_I64, mkexpr(addr)) );
12015 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
12043 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
12067 loadLE(Ity_I64, mkexpr(addr)) );
12088 loadLE(Ity_I64, mkexpr(addr)) );
12177 loadLE(Ity_V128, mkexpr(addr)) );
12198 loadLE(Ity_V128, mkexpr(addr)) );
12266 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12306 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
12326 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12354 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
12372 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12408 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12473 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
12474 assign(f32hi, loadLE(Ity_F32, binop( Iop_Add64,
12559 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
12560 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add64,
12824 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
12849 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
13155 ? unop( Iop_32UtoV128,loadLE(Ity_I32, mkexpr(addr)) )
13156 : unop( Iop_64UtoV128,loadLE(Ity_I64, mkexpr(addr)) )
13180 loadLE(Ity_V128, mkexpr(addr)) );
13199 loadLE(Ity_V128, mkexpr(addr)) );
13234 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
13407 loadLE(Ity_I64, mkexpr(addr)) );
13789 assign(t4, loadLE(Ity_I16, mkexpr(addr)));
13825 assign(t4, loadLE(Ity_I16, mkexpr(addr)));
13903 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
13930 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14422 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14449 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
14478 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14511 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14648 assign( d0, loadLE(Ity_I64, mkexpr(addr)) );
14677 assign( d0, loadLE(Ity_I64, mkexpr(addr)) );
14678 assign( d1, loadLE(Ity_I64, binop(Iop_Add64,
14712 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
14744 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
14865 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
14890 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
14915 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
14939 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
14959 loadLE(Ity_V128, mkexpr(addr)) );
15141 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15209 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
15318 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15344 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15438 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15475 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15504 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15570 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15617 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15654 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15691 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15733 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15768 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15840 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
15871 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15963 assign(src, loadLE(ty, mkexpr(addr)));
16008 assign(src, loadLE(ty, mkexpr(addr)));
16069 assign(src, loadLE(ty, mkexpr(addr)));
16209 assign(vecE, loadLE(Ity_V128, mkexpr(addr)));
16248 assign(vecE, loadLE(Ity_V256, mkexpr(addr)));
16385 assign(vecE, loadLE( Ity_V128, mkexpr(addr) ));
16435 assign(vecE, loadLE( Ity_V256, mkexpr(addr) ));
16492 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16533 assign( srcVec, loadLE( Ity_V128, mkexpr(addr) ) );
16576 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16613 assign( srcVec, loadLE( Ity_V128, mkexpr(addr) ) );
16652 assign( srcBytes, loadLE( Ity_I32, mkexpr(addr) ) );
16685 assign( srcBytes, loadLE( Ity_I64, mkexpr(addr) ) );
16721 unop( Iop_32UtoV128, loadLE( Ity_I32, mkexpr(addr) ) ) );
16756 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16802 assign( srcI64, loadLE(Ity_I64, mkexpr(addr)) );
16846 assign( srcVec, loadLE(Ity_V128, mkexpr(addr)) );
16897 unop( Iop_32UtoV128, loadLE( Ity_I32, mkexpr(addr) ) ) );
16939 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16985 assign( srcBytes, loadLE( Ity_I16, mkexpr(addr) ) );
17017 assign( srcBytes, loadLE( Ity_I32, mkexpr(addr) ) );
17066 unop( Iop_16Uto32, loadLE( Ity_I16, mkexpr(addr) ))));
17103 unop( Iop_32UtoV128, loadLE( Ity_I32, mkexpr(addr) )));
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)) ));
17386 assign(vecE, loadLE( Ity_V128, mkexpr(addr) ));
17489 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
17520 loadLE(Ity_V128, mkexpr(addr)) );
17548 assign( argL, loadLE( Ity_V128, mkexpr(addr) ));
17731 assign( argL, loadLE( Ity_V128, mkexpr(addr) ));
17797 assign(valE, loadLE(tyE, mkexpr(addr)));
18175 stmt( IRStmt_Put( OFFB_YMM16, loadLE(Ity_V128, mkexpr(addr)) ));
18693 assign( src0, loadLE(Ity_F32,
18695 assign( src1, loadLE(Ity_F32,
18697 assign( src2, loadLE(Ity_F32,
18699 assign( src3, loadLE(Ity_F32,
18755 assign( src0, loadLE(Ity_F64,
18757 assign( src1, loadLE(Ity_F64,
18809 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
18860 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
18896 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
18933 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
19017 assign( new8, loadLE( Ity_I8, mkexpr(addr) ) );
19054 assign( d2ins, loadLE( Ity_I32, mkexpr(addr) ) );
19089 assign( src_u32, loadLE( Ity_I32, mkexpr(addr) ) );
19120 assign( src_u64, loadLE( Ity_I64, mkexpr(addr) ) );
19155 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
19188 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
19224 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
19261 assign( svec, loadLE( Ity_V128, mkexpr(addr) ) );
19642 assign(t1, loadLE(szToITy(sz),mkexpr(t2)));
19668 loadLE(Ity_I32, mkexpr(addr))));
19876 assign( t1, loadLE(ty, mkexpr(addr)) );
19959 assign( t3, loadLE(Ity_I64, mkexpr(t1)) );
20112 assign(t1, widenUto64(loadLE(szToITy(sz),mkexpr(t2))));
20190 putIRegRAX(sz, loadLE( ty, mkexpr(addr) ));
20510 assign(t2, loadLE(Ity_I64,mkexpr(t1)));
21999 assign(src, loadLE(ty, mkexpr(addr)));
22138 assign(tSR, loadLE(Ity_V128, mkexpr(addr)));
22226 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
22300 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
22379 assign( amt, loadLE(isYMM ? Ity_V256 : Ity_V128, mkexpr(addr)) );
22607 loadLE(Ity_I64, mkexpr(addr))) );
22648 assign(e64, loadLE(Ity_I64, mkexpr(addr)));
22695 assign(e32, loadLE(Ity_I32, mkexpr(addr)));
22744 loadLE(Ity_I32, mkexpr(addr))) );
22814 all_lanes ? loadLE(Ity_V128, mkexpr(addr))
22815 : sz == 8 ? unop( Iop_64UtoV128, loadLE(Ity_I64, mkexpr(addr)))
22816 : /*sz==4*/ unop( Iop_32UtoV128, loadLE(Ity_I32, mkexpr(addr))));
22929 assign(argR, loadLE(Ity_V256, mkexpr(addr)) );
22976 assign(arg, loadLE(Ity_V128, mkexpr(addr)));
23007 assign(arg, loadLE(Ity_V128, mkexpr(addr)));
23051 assign(tSR, loadLE(Ity_V256, mkexpr(addr)));
23151 assign(arg, loadLE(Ity_V256, mkexpr(addr)));
23182 assign(arg, loadLE(Ity_V256, mkexpr(addr)));
23210 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
23247 assign( argV, loadLE(Ity_V256, mkexpr(addr)) );
23389 putXMMRegLane64( rG, 0, loadLE(Ity_I64, mkexpr(addr)) );
23424 putXMMRegLane32( rG, 0, loadLE(Ity_I32, mkexpr(addr)) );
23461 putYMMRegLoAndZU( rG, loadLE(Ity_V128, mkexpr(addr)) );
23478 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
23495 putYMMRegLoAndZU( rG, loadLE(Ity_V128, mkexpr(addr)) );
23512 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
23699 loadLE(Ity_I64, mkexpr(addr))));
23754 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
23782 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
23810 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
23838 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
23885 loadLE(Ity_I64, mkexpr(addr)),
23935 putYMMRegLoAndZU( rG, loadLE(Ity_V128, mkexpr(addr)) );
23953 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
23971 putYMMRegLoAndZU( rG, loadLE(Ity_V128, mkexpr(addr)) );
23989 putYMMReg( rG, loadLE(Ity_V256, mkexpr(addr)) );
24091 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
24117 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
24145 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
24175 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
24632 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)) );
24660 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)) );
25157 unop( Iop_32UtoV128,loadLE(Ity_I32, mkexpr(addr)))
25182 unop( Iop_64UtoV128,loadLE(Ity_I64, mkexpr(addr)))
25211 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
25236 assign(tD, loadLE(Ity_V128, mkexpr(addr)));
25577 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
25607 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
25639 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
25669 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
25703 putXMMRegLane64( rG, 0, loadLE(Ity_I64, mkexpr(addr)) );
25907 assign( new16, loadLE( Ity_I16, mkexpr(addr) ));
25954 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
25984 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
26014 assign( eV, loadLE(Ity_V128, mkexpr(addr)) );
26044 assign( eV, loadLE(Ity_V256, mkexpr(addr)) );
26631 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
26644 assign(tD, loadLE(Ity_V128, mkexpr(addr)));
26996 assign( src, loadLE(ty, mkexpr(addr)) );
27115 assign(vY, loadLE(vty, mkexpr(addr)));
27230 loadLE(ty, IRExpr_ITE(
27330 expr = IRExpr_ITE(mkexpr(cond), loadLE(ty, addr_expr), expr);
27488 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
27539 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
27587 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
27626 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
27670 assign(ctrlV, loadLE(Ity_V128, mkexpr(addr)));
27697 assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));
27727 assign(ctrlV, loadLE(Ity_V128, mkexpr(addr)));
27754 assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));
27825 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
27842 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
27898 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
27933 assign(t128, loadLE(Ity_V128, mkexpr(addr)));
28122 assign(tD, loadLE(Ity_V128, mkexpr(addr)));
28136 assign(tD, loadLE(Ity_V256, mkexpr(addr)));
28540 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
28563 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
28590 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
28611 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
28631 assign(t128, loadLE(Ity_V128, mkexpr(addr)));
28652 assign(t8, loadLE(Ity_I8, mkexpr(addr)));
28678 assign(t8, loadLE(Ity_I8, mkexpr(addr)));
28708 assign(t16, loadLE(Ity_I16, mkexpr(addr)));
28732 assign(t16, loadLE(Ity_I16, mkexpr(addr)));
29074 assign( src2, loadLE(ty, mkexpr(addr)) );
29112 assign( src, loadLE(ty, mkexpr(addr)) );
29146 assign( src, loadLE(ty, mkexpr(addr)) );
29180 assign( src, loadLE(ty, mkexpr(addr)) );
29220 assign( src1, loadLE(ty, mkexpr(addr)) );
29283 assign( mask, loadLE(ty, mkexpr(addr)) );
29316 assign( mask, loadLE(ty, mkexpr(addr)) );
29357 assign( src2, loadLE(ty, mkexpr(addr)) );
29416 assign( src1, loadLE(ty, mkexpr(addr)) );
29559 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
29602 assign(dV, loadLE(Ity_V128, mkexpr(addr)));
29642 assign(dV, loadLE(Ity_V256, mkexpr(addr)));
29680 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
29710 assign(sV, loadLE(Ity_V128, mkexpr(addr)));
29738 assign(sV, loadLE(Ity_V128, mkexpr(addr)));
29771 assign(sV, loadLE(Ity_V256, mkexpr(addr)));
29816 assign(s10, loadLE(Ity_V128, binop(Iop_Add64,
29818 assign(s11, loadLE(Ity_V128, binop(Iop_Add64,
29859 assign( src, loadLE(Ity_V128, mkexpr(addr) ) );
29911 assign( src, loadLE(Ity_V256, mkexpr(addr) ) );
29962 assign( src, loadLE(Ity_V128, mkexpr(addr) ) );
30008 assign( src, loadLE(Ity_V256, mkexpr(addr) ) );
30059 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
30114 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30145 assign(sE, loadLE(Ity_V128, mkexpr(addr)));
30179 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30210 assign(sE, loadLE(Ity_V128, mkexpr(addr)));
30244 assign(sE, loadLE(Ity_V128, mkexpr(addr)));
30277 assign(sE, loadLE(Ity_V256, mkexpr(addr)));
30312 assign( sV, loadLE(Ity_V128, mkexpr(addr)) );
30347 assign( sV, loadLE(Ity_V256, mkexpr(addr)) );
30428 assign(t128, loadLE(Ity_V128, mkexpr(addr)));
30496 assign( src_u8, loadLE( Ity_I8, mkexpr(addr) ) );
30535 assign( d2ins, loadLE( Ity_I32, mkexpr(addr) ) );
30571 assign( src_u32, loadLE( Ity_I32, mkexpr(addr) ) );
30603 assign( src_u64, loadLE( Ity_I64, mkexpr(addr) ) );
30638 assign(t128, loadLE(Ity_V128, mkexpr(addr)));
30704 assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );
30734 assign( dst_vec, loadLE( Ity_V256, mkexpr(addr) ) );
30772 assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );
30811 assign( src_vec, loadLE( Ity_V128, mkexpr(addr) ) );
30848 assign( src_vec, loadLE( Ity_V256, mkexpr(addr) ) );
30892 assign( sV, loadLE( Ity_V128, mkexpr(addr) ) );
30933 assign(s10, loadLE(Ity_V128, binop(Iop_Add64,
30935 assign(s11, loadLE(Ity_V128, binop(Iop_Add64,
31060 assign( src, loadLE(ty, mkexpr(addr)) );