Lines Matching refs:mkPCast64x2
1414 static IRAtom* mkPCast64x2 ( MCEnv* mce, IRAtom* at )1509 at = assignNew(mce, Ity_V128, mkPCast64x2(mce, at));1518 at = assignNew(mce, Ity_V128, mkPCast64x2(mce, vatomX));1630 at = mkPCast64x2(mce, at);