Lines Matching refs:vatom1
2001 Vanilla(OP)( PCast-X-to-X-x-Z(vatom1), PCast-X-to-X-x-Z(vatom2) )
2047 IRAtom* vatom1, IRAtom* vatom2)
2061 tl_assert(isShadowAtom(mce,vatom1));
2063 at1 = assignNew('V', mce, Ity_V128, pcast(mce, vatom1));
2071 IRAtom* vatom1, IRAtom* vatom2)
2082 tl_assert(isShadowAtom(mce,vatom1));
2084 at1 = assignNew('V', mce, Ity_I64, pcast(mce, vatom1));
2092 IRAtom* vatom1)
2096 tl_assert(isShadowAtom(mce,vatom1));
2103 at1 = assignNew('V', mce, Ity_I64, unop(narrow_op, vatom1));
2123 at1 = assignNew('V', mce, Ity_V128, pcast(mce, vatom1));
2130 IRAtom* vatom1)
2143 tl_assert(isShadowAtom(mce,vatom1));
2144 at1 = assignNew('V', mce, Ity_V128, unop(longen_op, vatom1));
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);
2261 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2270 tl_assert(isShadowAtom(mce,vatom1));
2274 tl_assert(sameKindedAtoms(atom1,vatom1));
2284 return mkLazy4(mce, Ity_I64, vatom1, vatom2, vatom3, vatom4);
2289 return mkLazy4(mce, Ity_I32, vatom1, vatom2, vatom3, vatom4);
2303 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2310 tl_assert(isShadowAtom(mce,vatom1));
2313 tl_assert(sameKindedAtoms(atom1,vatom1));
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));
2359 return assignNew('V', mce, Ity_I64, triop(op, vatom1, atom2, vatom3));
2377 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2382 tl_assert(isShadowAtom(mce,vatom1));
2384 tl_assert(sameKindedAtoms(atom1,vatom1));
2398 return binary16Ix2(mce, vatom1, vatom2);
2410 return binary8Ix4(mce, vatom1, vatom2);
2425 return assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2));
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);
2508 return mkPCast8x8(mce, vatom1);
2514 return mkPCast16x4(mce, vatom1);
2520 return mkPCast32x2(mce, vatom1);
2526 return mkPCast32x2(mce, vatom1);
2534 return assignNew('V', mce, Ity_I64, binop(Iop_PwMax32Ux2, mkPCast32x2(mce, vatom1),
2541 return assignNew('V', mce, Ity_I64, binop(Iop_PwMax16Ux4, mkPCast16x4(mce, vatom1),
2548 return assignNew('V', mce, Ity_I64, binop(Iop_PwMax8Ux8, mkPCast8x8(mce, vatom1),
2554 assignNew('V', mce, Ity_I64, binop(Iop_PwAdd32x2, mkPCast32x2(mce, vatom1),
2559 assignNew('V', mce, Ity_I64, binop(op, mkPCast16x4(mce, vatom1),
2564 assignNew('V', mce, Ity_I64, binop(op, mkPCast8x8(mce, vatom1),
2572 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
2581 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
2590 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
2609 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
2613 return assignNew('V', mce, Ity_I8, binop(op, vatom1, atom2));
2616 return assignNew('V', mce, Ity_I16, binop(op, vatom1, atom2));
2619 return assignNew('V', mce, Ity_I32, binop(op, vatom1, atom2));
2627 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
2649 return assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2));
2658 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
2668 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
2678 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
2687 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
2696 return mkPCast32x4(mce, vatom1);
2703 return mkPCast32x2(mce, vatom1);
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);
2860 return mkPCast8x16(mce, vatom1);
2866 return mkPCast16x8(mce, vatom1);
2872 return mkPCast32x4(mce, vatom1);
2878 return mkPCast32x4(mce, vatom1);
2884 mkUifU64(mce, vatom1, vatom2));
2890 mkUifU64(mce, vatom1, vatom2));
2896 mkUifU64(mce, vatom1, vatom2));
2900 assignNew('V', mce, Ity_V128, binop(op, mkPCast32x4(mce, vatom1),
2905 assignNew('V', mce, Ity_V128, binop(op, mkPCast16x8(mce, vatom1),
2910 assignNew('V', mce, Ity_V128, binop(op, mkPCast8x16(mce, vatom1),
2937 return assignNew('V', mce, Ity_V128, binop(op, vatom1, vatom2));
2941 return assignNew('V', mce, Ity_I8, binop(op, vatom1, atom2));
2944 return assignNew('V', mce, Ity_I16, binop(op, vatom1, atom2));
2947 return assignNew('V', mce, Ity_I32, binop(op, vatom1, atom2));
2950 return assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2));
2958 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
2972 at = binary16Ix8(mce,vatom1,vatom2);
2982 at = binary8Ix16(mce,vatom1,vatom2);
2995 binop(op, vatom1, vatom2));
3003 return assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2));
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),
3266 difd(mce, improve(mce, atom1, vatom1),
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);
