Lines Matching refs:mkIRExprVec_2
5533 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
5630 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
5728 = mkIRExprVec_2( unop(Iop_8Uto64, get_ST_TAG(0)),
5859 mkIRExprVec_2( mkexpr(argI),
5867 mkIRExprVec_2( mkexpr(argI),
6222 = mkIRExprVec_2( mkexpr(addr),
6529 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
6610 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
7167 mkIRExprVec_2( argL, argR )
11112 mkIRExprVec_2( mkexpr(sVhi), mkexpr(dVhi))));
11116 mkIRExprVec_2( mkexpr(sVlo), mkexpr(dVlo))));
11527 mkIRExprVec_2( mkexpr(s1), mkexpr(d1))),
11531 mkIRExprVec_2( mkexpr(s0), mkexpr(d0)))) );
13583 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
13661 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
17162 mkIRExprVec_2( mkexpr(sLo), mkexpr(sHi) )
17827 mkIRExprVec_2(mkexpr(valG0),
20745 mkIRExprVec_2( mkexpr(t1), mkU64(sz) )
21082 mkIRExprVec_2( mkexpr(addr),
29289 IRExpr** args = mkIRExprVec_2( widenUto64(mkexpr(src)),
29326 IRExpr** args = mkIRExprVec_2( widenUto64(masked),