1847 IRAtom* binary32Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary32Fx4()  argument
1850    tl_assert(isShadowAtom(mce, vatomX));  in binary32Fx4()
1852    at = mkUifUV128(mce, vatomX, vatomY);  in binary32Fx4()
1858 IRAtom* unary32Fx4 ( MCEnv* mce, IRAtom* vatomX )  in unary32Fx4()  argument
1861    tl_assert(isShadowAtom(mce, vatomX));  in unary32Fx4()
1862    at = assignNew('V', mce, Ity_V128, mkPCast32x4(mce, vatomX));  in unary32Fx4()
1867 IRAtom* binary32F0x4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary32F0x4()  argument
1870    tl_assert(isShadowAtom(mce, vatomX));  in binary32F0x4()
1872    at = mkUifUV128(mce, vatomX, vatomY);  in binary32F0x4()
1875    at = assignNew('V', mce, Ity_V128, binop(Iop_SetV128lo32, vatomX, at));  in binary32F0x4()
1880 IRAtom* unary32F0x4 ( MCEnv* mce, IRAtom* vatomX )  in unary32F0x4()  argument
1883    tl_assert(isShadowAtom(mce, vatomX));  in unary32F0x4()
1884    at = assignNew('V', mce, Ity_I32, unop(Iop_V128to32, vatomX));  in unary32F0x4()
1886    at = assignNew('V', mce, Ity_V128, binop(Iop_SetV128lo32, vatomX, at));  in unary32F0x4()
1893 IRAtom* binary64Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary64Fx2()  argument
1896    tl_assert(isShadowAtom(mce, vatomX));  in binary64Fx2()
1898    at = mkUifUV128(mce, vatomX, vatomY);  in binary64Fx2()
1904 IRAtom* unary64Fx2 ( MCEnv* mce, IRAtom* vatomX )  in unary64Fx2()  argument
1907    tl_assert(isShadowAtom(mce, vatomX));  in unary64Fx2()
1908    at = assignNew('V', mce, Ity_V128, mkPCast64x2(mce, vatomX));  in unary64Fx2()
1913 IRAtom* binary64F0x2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary64F0x2()  argument
1916    tl_assert(isShadowAtom(mce, vatomX));  in binary64F0x2()
1918    at = mkUifUV128(mce, vatomX, vatomY);  in binary64F0x2()
1921    at = assignNew('V', mce, Ity_V128, binop(Iop_SetV128lo64, vatomX, at));  in binary64F0x2()
1926 IRAtom* unary64F0x2 ( MCEnv* mce, IRAtom* vatomX )  in unary64F0x2()  argument
1929    tl_assert(isShadowAtom(mce, vatomX));  in unary64F0x2()
1930    at = assignNew('V', mce, Ity_I64, unop(Iop_V128to64, vatomX));  in unary64F0x2()
1932    at = assignNew('V', mce, Ity_V128, binop(Iop_SetV128lo64, vatomX, at));  in unary64F0x2()
1939 IRAtom* binary32Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )  in binary32Fx2()  argument
1942    tl_assert(isShadowAtom(mce, vatomX));  in binary32Fx2()
1944    at = mkUifU64(mce, vatomX, vatomY);  in binary32Fx2()
1950 IRAtom* unary32Fx2 ( MCEnv* mce, IRAtom* vatomX )  in unary32Fx2()  argument
1953    tl_assert(isShadowAtom(mce, vatomX));  in unary32Fx2()
1954    at = assignNew('V', mce, Ity_I64, mkPCast32x2(mce, vatomX));  in unary32Fx2()