Lines Matching refs:mkIRExprVec_3
14219 args = mkIRExprVec_3(mkexpr(t0), mkexpr(t1), mkU64(0));14223 args = mkIRExprVec_3(mkexpr(t0), mkexpr(t1), mkU64(1));17778 mkIRExprVec_3( mkexpr(t1),