Lines Matching refs:mkPCast64x2
1370 static IRAtom* mkPCast64x2 ( MCEnv* mce, IRAtom* at )1465 at = assignNew(mce, Ity_V128, mkPCast64x2(mce, at));1474 at = assignNew(mce, Ity_V128, mkPCast64x2(mce, vatomX));1586 at = mkPCast64x2(mce, at);