Lines Matching refs:vatom1
1508 the-narrowing-op( PCastWxN(vatom1), PCastWxN(vatom2))
1511 vatom1 or 2, doesn't matter.
1532 IRAtom* vatom1, IRAtom* vatom2)
1542 tl_assert(isShadowAtom(mce,vatom1));
1544 at1 = assignNew(mce, Ity_V128, pcast(mce, vatom1));
1555 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1558 at = mkUifUV128(mce, vatom1, vatom2);
1564 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1567 at = mkUifUV128(mce, vatom1, vatom2);
1573 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1576 at = mkUifUV128(mce, vatom1, vatom2);
1582 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1585 at = mkUifUV128(mce, vatom1, vatom2);
1605 IRAtom* vatom1 = expr2vbits( mce, atom1 );
1610 tl_assert(isShadowAtom(mce,vatom1));
1612 tl_assert(sameKindedAtoms(atom1,vatom1));
1628 return assignNew(mce, Ity_V128, binop(op, vatom1, atom2));
1641 return binary8Ix16(mce, vatom1, vatom2);
1657 return binary16Ix8(mce, vatom1, vatom2);
1667 return binary32Ix4(mce, vatom1, vatom2);
1675 return binary64Ix2(mce, vatom1, vatom2);
1680 return vectorNarrowV128(mce, op, vatom1, vatom2);
1691 return binary64Fx2(mce, vatom1, vatom2);
1702 return binary64F0x2(mce, vatom1, vatom2);
1715 return binary32Fx4(mce, vatom1, vatom2);
1726 return binary32F0x4(mce, vatom1, vatom2);
1740 return assignNew(mce, Ity_V128, binop(op, vatom1, vatom2));
1749 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1756 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1760 return mkLazy2(mce, Ity_I16, vatom1, vatom2);
1771 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1774 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1780 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1783 return assignNew(mce, Ity_I32, binop(op, vatom1, vatom2));
1785 return assignNew(mce, Ity_I64, binop(op, vatom1, vatom2));
1789 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
1796 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
1803 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
1810 return expensiveAdd32(mce, vatom1,vatom2, atom1,atom2);
1814 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
1819 return mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
1823 return mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
1828 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
1831 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
1834 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
1840 return assignNew(mce, Ity_I32, binop(op, vatom1, atom2));
1845 return assignNew(mce, Ity_I16, binop(op, vatom1, atom2));
1850 return assignNew(mce, Ity_I8, binop(op, vatom1, atom2));
1855 return assignNew(mce, Ity_I64, binop(op, vatom1, atom2));
1894 difd(mce, uifu(mce, vatom1, vatom2),
1895 difd(mce, improve(mce, atom1, vatom1),
1899 return mkUifU8(mce, vatom1, vatom2);
1901 return mkUifU16(mce, vatom1, vatom2);
1903 return mkUifU32(mce, vatom1, vatom2);
1905 return mkUifU64(mce, vatom1, vatom2);
1907 return mkUifUV128(mce, vatom1, vatom2);
