Lines Matching refs:mkPCast64x2
1393 static IRAtom* mkPCast64x2 ( MCEnv* mce, IRAtom* at )1488 at = assignNew(mce, Ity_V128, mkPCast64x2(mce, at));1497 at = assignNew(mce, Ity_V128, mkPCast64x2(mce, vatomX));1609 at = mkPCast64x2(mce, at);