Lines Matching full:vatom2
1552 the-narrowing-op( PCastWxN(vatom1), PCastWxN(vatom2))
1576 IRAtom* vatom1, IRAtom* vatom2)
1587 tl_assert(isShadowAtom(mce,vatom2));
1589 at2 = assignNew(mce, Ity_V128, pcast(mce, vatom2));
1599 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1602 at = mkUifUV128(mce, vatom1, vatom2);
1608 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1611 at = mkUifUV128(mce, vatom1, vatom2);
1617 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1620 at = mkUifUV128(mce, vatom1, vatom2);
1626 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
1629 at = mkUifUV128(mce, vatom1, vatom2);
1650 IRAtom* vatom2 = expr2vbits( mce, atom2 );
1655 tl_assert(isShadowAtom(mce,vatom2));
1657 tl_assert(sameKindedAtoms(atom2,vatom2));
1685 return binary8Ix16(mce, vatom1, vatom2);
1701 return binary16Ix8(mce, vatom1, vatom2);
1711 return binary32Ix4(mce, vatom1, vatom2);
1719 return binary64Ix2(mce, vatom1, vatom2);
1724 return vectorNarrowV128(mce, op, vatom1, vatom2);
1735 return binary64Fx2(mce, vatom1, vatom2);
1746 return binary64F0x2(mce, vatom1, vatom2);
1759 return binary32Fx4(mce, vatom1, vatom2);
1770 return binary32F0x4(mce, vatom1, vatom2);
1784 return assignNew(mce, Ity_V128, binop(op, vatom1, vatom2));
1793 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1800 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1804 return mkLazy2(mce, Ity_I16, vatom1, vatom2);
1815 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1818 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1824 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1827 return assignNew(mce, Ity_I32, binop(op, vatom1, vatom2));
1829 return assignNew(mce, Ity_I64, binop(op, vatom1, vatom2));
1833 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
1840 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
1847 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
1854 return expensiveAdd32(mce, vatom1,vatom2, atom1,atom2);
1858 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
1863 return mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
1867 return mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
1872 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
1875 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
1878 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
1938 difd(mce, uifu(mce, vatom1, vatom2),
1940 improve(mce, atom2, vatom2) ) ) );
1943 return mkUifU8(mce, vatom1, vatom2);
1945 return mkUifU16(mce, vatom1, vatom2);
1947 return mkUifU32(mce, vatom1, vatom2);
1949 return mkUifU64(mce, vatom1, vatom2);
1951 return mkUifUV128(mce, vatom1, vatom2);
