Lines Matching refs:vatom2
2001 Vanilla(OP)( PCast-X-to-X-x-Z(vatom1), PCast-X-to-X-x-Z(vatom2) )
2047 IRAtom* vatom1, IRAtom* vatom2)
2062 tl_assert(isShadowAtom(mce,vatom2));
2064 at2 = assignNew('V', mce, Ity_V128, pcast(mce, vatom2));
2071 IRAtom* vatom1, IRAtom* vatom2)
2083 tl_assert(isShadowAtom(mce,vatom2));
2085 at2 = assignNew('V', mce, Ity_I64, pcast(mce, vatom2));
2157 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2160 at = mkUifUV128(mce, vatom1, vatom2);
2166 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2169 at = mkUifUV128(mce, vatom1, vatom2);
2175 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2178 at = mkUifUV128(mce, vatom1, vatom2);
2184 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2187 at = mkUifUV128(mce, vatom1, vatom2);
2195 IRAtom* binary8Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2198 at = mkUifU64(mce, vatom1, vatom2);
2204 IRAtom* binary16Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2207 at = mkUifU64(mce, vatom1, vatom2);
2213 IRAtom* binary32Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2216 at = mkUifU64(mce, vatom1, vatom2);
2222 IRAtom* binary64Ix1 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2225 at = mkUifU64(mce, vatom1, vatom2);
2233 IRAtom* binary8Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2236 at = mkUifU32(mce, vatom1, vatom2);
2242 IRAtom* binary16Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2245 at = mkUifU32(mce, vatom1, vatom2);
2262 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2271 tl_assert(isShadowAtom(mce,vatom2));
2275 tl_assert(sameKindedAtoms(atom2,vatom2));
2284 return mkLazy4(mce, Ity_I64, vatom1, vatom2, vatom3, vatom4);
2289 return mkLazy4(mce, Ity_I32, vatom1, vatom2, vatom3, vatom4);
2304 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2311 tl_assert(isShadowAtom(mce,vatom2));
2314 tl_assert(sameKindedAtoms(atom2,vatom2));
2322 return mkLazy3(mce, Ity_I128, vatom1, vatom2, vatom3);
2338 return mkLazy3(mce, Ity_I64, vatom1, vatom2, vatom3);
2342 return mkLazy3(mce, Ity_I32, vatom1, vatom2, vatom3);
2348 return mkLazy3(mce, Ity_I32, vatom1, vatom2, vatom3);
2351 return assignNew('V', mce, Ity_V128, triop(op, vatom1, vatom2, atom3));
2354 return assignNew('V', mce, Ity_I64, triop(op, vatom1, vatom2, atom3));
2378 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2383 tl_assert(isShadowAtom(mce,vatom2));
2385 tl_assert(sameKindedAtoms(atom2,vatom2));
2398 return binary16Ix2(mce, vatom1, vatom2);
2410 return binary8Ix4(mce, vatom1, vatom2);
2430 return vectorNarrowBin64(mce, op, vatom1, vatom2);
2450 return binary8Ix8(mce, vatom1, vatom2);
2473 return binary16Ix4(mce, vatom1, vatom2);
2493 return binary32Ix2(mce, vatom1, vatom2);
2502 return binary64Ix1(mce, vatom1, vatom2);
2535 mkPCast32x2(mce, vatom2)));
2542 mkPCast16x4(mce, vatom2)));
2549 mkPCast8x8(mce, vatom2)));
2555 mkPCast32x2(mce, vatom2))));
2560 mkPCast16x4(mce, vatom2))));
2565 mkPCast8x8(mce, vatom2))));
2573 mkPCast8x8(mce,vatom2)
2582 mkPCast16x4(mce,vatom2)
2591 mkPCast32x2(mce,vatom2)
2609 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
2628 mkPCast8x8(mce, vatom2)
2659 mkPCast8x16(mce,vatom2)
2669 mkPCast16x8(mce,vatom2)
2679 mkPCast32x4(mce,vatom2)
2688 mkPCast64x2(mce,vatom2)
2724 return binary8Ix16(mce, vatom1, vatom2);
2748 return binary16Ix8(mce, vatom1, vatom2);
2770 return binary32Ix4(mce, vatom1, vatom2);
2782 return binary64Ix2(mce, vatom1, vatom2);
2790 return vectorNarrowBinV128(mce, op, vatom1, vatom2);
2802 return binary64Fx2(mce, vatom1, vatom2);
2814 return binary64F0x2(mce, vatom1, vatom2);
2830 return binary32Fx4(mce, vatom1, vatom2);
2842 return binary32Fx2(mce, vatom1, vatom2);
2854 return binary32F0x4(mce, vatom1, vatom2);
2884 mkUifU64(mce, vatom1, vatom2));
2890 mkUifU64(mce, vatom1, vatom2));
2896 mkUifU64(mce, vatom1, vatom2));
2901 mkPCast32x4(mce, vatom2))));
2906 mkPCast16x8(mce, vatom2))));
2911 mkPCast8x16(mce, vatom2))));
2937 return assignNew('V', mce, Ity_V128, binop(op, vatom1, vatom2));
2959 mkPCast8x16(mce, vatom2)
2972 at = binary16Ix8(mce,vatom1,vatom2);
2982 at = binary8Ix16(mce,vatom1,vatom2);
2995 binop(op, vatom1, vatom2));
3007 return assignNew('V', mce, Ity_I128, binop(op, vatom1, vatom2));
3013 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3017 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3031 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3036 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3040 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3045 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3049 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3053 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3056 return assignNew('V', mce, Ity_I128, binop(Iop_64HLto128, vatom1, vatom2));
3063 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3067 return mkLazy2(mce, Ity_I16, vatom1, vatom2);
3072 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3078 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3082 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3085 return assignNew('V', mce, Ity_I32, binop(op, vatom1, vatom2));
3087 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
3092 IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3099 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3106 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
3113 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
3123 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3129 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3134 vatom1,vatom2, atom1,atom2);
3140 vatom1,vatom2, atom1,atom2);
3146 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3152 return doCmpORD(mce, op, vatom1,vatom2, atom1,atom2);
3157 vatom1,vatom2, atom1,atom2);
3163 vatom1,vatom2, atom1,atom2);
3169 return mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3174 return mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
3178 return mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
3183 return expensiveCmpEQorNE(mce,Ity_I64, vatom1,vatom2, atom1,atom2 );
3189 return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
3194 return expensiveCmpEQorNE(mce,Ity_I32, vatom1,vatom2, atom1,atom2 );
3200 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
3203 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
3206 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
3217 return scalarShift( mce, Ity_I64, op, vatom1,vatom2, atom1,atom2 );
3220 return scalarShift( mce, Ity_I32, op, vatom1,vatom2, atom1,atom2 );
3223 return scalarShift( mce, Ity_I16, op, vatom1,vatom2, atom1,atom2 );
3226 return scalarShift( mce, Ity_I8, op, vatom1,vatom2, atom1,atom2 );
3265 difd(mce, uifu(mce, vatom1, vatom2),
3267 improve(mce, atom2, vatom2) ) ) );
3270 return mkUifU8(mce, vatom1, vatom2);
3272 return mkUifU16(mce, vatom1, vatom2);
3274 return mkUifU32(mce, vatom1, vatom2);
3276 return mkUifU64(mce, vatom1, vatom2);
3278 return mkUifUV128(mce, vatom1, vatom2);
