1413 IRAtom* binary32Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary32Fx4()  argument
1416    tl_assert(isShadowAtom(mce, vatomX));  in binary32Fx4()
1418    at = mkUifUV128(mce, vatomX, vatomY);  in binary32Fx4()
1424 IRAtom* unary32Fx4 ( MCEnv* mce, IRAtom* vatomX )  in unary32Fx4()  argument
1427    tl_assert(isShadowAtom(mce, vatomX));  in unary32Fx4()
1428    at = assignNew(mce, Ity_V128, mkPCast32x4(mce, vatomX));  in unary32Fx4()
1433 IRAtom* binary32F0x4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary32F0x4()  argument
1436    tl_assert(isShadowAtom(mce, vatomX));  in binary32F0x4()
1438    at = mkUifUV128(mce, vatomX, vatomY);  in binary32F0x4()
1441    at = assignNew(mce, Ity_V128, binop(Iop_SetV128lo32, vatomX, at));  in binary32F0x4()
1446 IRAtom* unary32F0x4 ( MCEnv* mce, IRAtom* vatomX )  in unary32F0x4()  argument
1449    tl_assert(isShadowAtom(mce, vatomX));  in unary32F0x4()
1450    at = assignNew(mce, Ity_I32, unop(Iop_V128to32, vatomX));  in unary32F0x4()
1452    at = assignNew(mce, Ity_V128, binop(Iop_SetV128lo32, vatomX, at));  in unary32F0x4()
1459 IRAtom* binary64Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary64Fx2()  argument
1462    tl_assert(isShadowAtom(mce, vatomX));  in binary64Fx2()
1464    at = mkUifUV128(mce, vatomX, vatomY);  in binary64Fx2()
1470 IRAtom* unary64Fx2 ( MCEnv* mce, IRAtom* vatomX )  in unary64Fx2()  argument
1473    tl_assert(isShadowAtom(mce, vatomX));  in unary64Fx2()
1474    at = assignNew(mce, Ity_V128, mkPCast64x2(mce, vatomX));  in unary64Fx2()
1479 IRAtom* binary64F0x2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary64F0x2()  argument
1482    tl_assert(isShadowAtom(mce, vatomX));  in binary64F0x2()
1484    at = mkUifUV128(mce, vatomX, vatomY);  in binary64F0x2()
1487    at = assignNew(mce, Ity_V128, binop(Iop_SetV128lo64, vatomX, at));  in binary64F0x2()
1492 IRAtom* unary64F0x2 ( MCEnv* mce, IRAtom* vatomX )  in unary64F0x2()  argument
1495    tl_assert(isShadowAtom(mce, vatomX));  in unary64F0x2()
1496    at = assignNew(mce, Ity_I64, unop(Iop_V128to64, vatomX));  in unary64F0x2()
1498    at = assignNew(mce, Ity_V128, binop(Iop_SetV128lo64, vatomX, at));  in unary64F0x2()