Lines Matching refs:vatomX
1457 IRAtom* binary32Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary32Fx4() argument
1460 tl_assert(isShadowAtom(mce, vatomX)); in binary32Fx4()
1462 at = mkUifUV128(mce, vatomX, vatomY); in binary32Fx4()
1468 IRAtom* unary32Fx4 ( MCEnv* mce, IRAtom* vatomX ) in unary32Fx4() argument
1471 tl_assert(isShadowAtom(mce, vatomX)); in unary32Fx4()
1472 at = assignNew(mce, Ity_V128, mkPCast32x4(mce, vatomX)); in unary32Fx4()
1477 IRAtom* binary32F0x4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary32F0x4() argument
1480 tl_assert(isShadowAtom(mce, vatomX)); in binary32F0x4()
1482 at = mkUifUV128(mce, vatomX, vatomY); in binary32F0x4()
1485 at = assignNew(mce, Ity_V128, binop(Iop_SetV128lo32, vatomX, at)); in binary32F0x4()
1490 IRAtom* unary32F0x4 ( MCEnv* mce, IRAtom* vatomX ) in unary32F0x4() argument
1493 tl_assert(isShadowAtom(mce, vatomX)); in unary32F0x4()
1494 at = assignNew(mce, Ity_I32, unop(Iop_V128to32, vatomX)); in unary32F0x4()
1496 at = assignNew(mce, Ity_V128, binop(Iop_SetV128lo32, vatomX, at)); in unary32F0x4()
1503 IRAtom* binary64Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary64Fx2() argument
1506 tl_assert(isShadowAtom(mce, vatomX)); in binary64Fx2()
1508 at = mkUifUV128(mce, vatomX, vatomY); in binary64Fx2()
1514 IRAtom* unary64Fx2 ( MCEnv* mce, IRAtom* vatomX ) in unary64Fx2() argument
1517 tl_assert(isShadowAtom(mce, vatomX)); in unary64Fx2()
1518 at = assignNew(mce, Ity_V128, mkPCast64x2(mce, vatomX)); in unary64Fx2()
1523 IRAtom* binary64F0x2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary64F0x2() argument
1526 tl_assert(isShadowAtom(mce, vatomX)); in binary64F0x2()
1528 at = mkUifUV128(mce, vatomX, vatomY); in binary64F0x2()
1531 at = assignNew(mce, Ity_V128, binop(Iop_SetV128lo64, vatomX, at)); in binary64F0x2()
1536 IRAtom* unary64F0x2 ( MCEnv* mce, IRAtom* vatomX ) in unary64F0x2() argument
1539 tl_assert(isShadowAtom(mce, vatomX)); in unary64F0x2()
1540 at = assignNew(mce, Ity_I64, unop(Iop_V128to64, vatomX)); in unary64F0x2()
1542 at = assignNew(mce, Ity_V128, binop(Iop_SetV128lo64, vatomX, at)); in unary64F0x2()