Home | History | Annotate | Download | only in VEX

Lines Matching full:vatom1

1531       the-narrowing-op( PCastWxN(vatom1), PCastWxN(vatom2))
1534 vatom1 or 2, doesn't matter.
1555 IRAtom* vatom1, IRAtom* vatom2)
1565 tl_assert(isShadowAtom(mce,vatom1));
1567 at1 = assignNew(mce, Ity_V128, pcast(mce, vatom1));
1578 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1581 at = mkUifUV128(mce, vatom1, vatom2);
1587 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1590 at = mkUifUV128(mce, vatom1, vatom2);
1596 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1599 at = mkUifUV128(mce, vatom1, vatom2);
1605 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1608 at = mkUifUV128(mce, vatom1, vatom2);
1628 IRAtom* vatom1 = expr2vbits( mce, atom1 );
1633 tl_assert(isShadowAtom(mce,vatom1));
1635 tl_assert(sameKindedAtoms(atom1,vatom1));
1651 return assignNew(mce, Ity_V128, binop(op, vatom1, atom2));
1664 return binary8Ix16(mce, vatom1, vatom2);
1680 return binary16Ix8(mce, vatom1, vatom2);
1690 return binary32Ix4(mce, vatom1, vatom2);
1698 return binary64Ix2(mce, vatom1, vatom2);
1703 return vectorNarrowV128(mce, op, vatom1, vatom2);
1714 return binary64Fx2(mce, vatom1, vatom2);
1725 return binary64F0x2(mce, vatom1, vatom2);
1738 return binary32Fx4(mce, vatom1, vatom2);
1749 return binary32F0x4(mce, vatom1, vatom2);
1763 return assignNew(mce, Ity_V128, binop(op, vatom1, vatom2));
1772 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1779 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1783 return mkLazy2(mce, Ity_I16, vatom1, vatom2);
1794 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1797 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1803 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1806 return assignNew(mce, Ity_I32, binop(op, vatom1, vatom2));
1808 return assignNew(mce, Ity_I64, binop(op, vatom1, vatom2));
1812 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
1819 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
1826 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
1833 return expensiveAdd32(mce, vatom1,vatom2, atom1,atom2);
1837 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
1842 return mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
1846 return mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
1851 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
1854 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
1857 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
1863 return assignNew(mce, Ity_I32, binop(op, vatom1, atom2));
1868 return assignNew(mce, Ity_I16, binop(op, vatom1, atom2));
1873 return assignNew(mce, Ity_I8, binop(op, vatom1, atom2));
1878 return assignNew(mce, Ity_I64, binop(op, vatom1, atom2));
1917 difd(mce, uifu(mce, vatom1, vatom2),
1918 difd(mce, improve(mce, atom1, vatom1),
1922 return mkUifU8(mce, vatom1, vatom2);
1924 return mkUifU16(mce, vatom1, vatom2);
1926 return mkUifU32(mce, vatom1, vatom2);
1928 return mkUifU64(mce, vatom1, vatom2);
1930 return mkUifUV128(mce, vatom1, vatom2);