Lines Matching refs:vatom2

2467    Vanilla(OP)( PCast-X-to-X-x-Z(vatom1), PCast-X-to-X-x-Z(vatom2) )
2515 IRAtom* vatom1, IRAtom* vatom2)
2532 tl_assert(isShadowAtom(mce,vatom2));
2534 at2 = assignNew('V', mce, Ity_V128, pcast(mce, vatom2));
2541 IRAtom* vatom1, IRAtom* vatom2)
2553 tl_assert(isShadowAtom(mce,vatom2));
2555 at2 = assignNew('V', mce, Ity_I64, pcast(mce, vatom2));
2627 IRAtom* binary8Ix32 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2630 at = mkUifUV256(mce, vatom1, vatom2);
2636 IRAtom* binary16Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2639 at = mkUifUV256(mce, vatom1, vatom2);
2645 IRAtom* binary32Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2648 at = mkUifUV256(mce, vatom1, vatom2);
2654 IRAtom* binary64Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2657 at = mkUifUV256(mce, vatom1, vatom2);
2665 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2668 at = mkUifUV128(mce, vatom1, vatom2);
2674 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2677 at = mkUifUV128(mce, vatom1, vatom2);
2683 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2686 at = mkUifUV128(mce, vatom1, vatom2);
2692 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2695 at = mkUifUV128(mce, vatom1, vatom2);
2703 IRAtom* binary8Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2706 at = mkUifU64(mce, vatom1, vatom2);
2712 IRAtom* binary16Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2715 at = mkUifU64(mce, vatom1, vatom2);
2721 IRAtom* binary32Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2724 at = mkUifU64(mce, vatom1, vatom2);
2730 IRAtom* binary64Ix1 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2733 at = mkUifU64(mce, vatom1, vatom2);
2741 IRAtom* binary8Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2744 at = mkUifU32(mce, vatom1, vatom2);
2750 IRAtom* binary16Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2753 at = mkUifU32(mce, vatom1, vatom2);
2770 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2779 tl_assert(isShadowAtom(mce,vatom2));
2783 tl_assert(sameKindedAtoms(atom2,vatom2));
2792 return mkLazy4(mce, Ity_I64, vatom1, vatom2, vatom3, vatom4);
2797 return mkLazy4(mce, Ity_I32, vatom1, vatom2, vatom3, vatom4);
2802 IRExpr_Qop(op, vatom1, vatom2, vatom3, vatom4));
2817 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2824 tl_assert(isShadowAtom(mce,vatom2));
2827 tl_assert(sameKindedAtoms(atom2,vatom2));
2840 return mkLazy3(mce, Ity_I128, vatom1, vatom2, vatom3);
2861 return mkLazy3(mce, Ity_I64, vatom1, vatom2, vatom3);
2865 return mkLazy3(mce, Ity_I32, vatom1, vatom2, vatom3);
2871 return mkLazy3(mce, Ity_I32, vatom1, vatom2, vatom3);
2874 return mkLazy3(mce, Ity_I64, vatom1, vatom2, vatom3);
2877 return mkLazy3(mce, Ity_I128, vatom1, vatom2, vatom3);
2881 return assignNew('V', mce, Ity_V128, triop(op, vatom1, vatom2, atom3));
2885 return assignNew('V', mce, Ity_I64, triop(op, vatom1, vatom2, atom3));
2895 return assignNew('V', mce, Ity_V128, triop(op, vatom1, vatom2, atom3));
2902 return binary64Fx2_w_rm(mce, vatom1, vatom2, vatom3);
2908 return binary32Fx4_w_rm(mce, vatom1, vatom2, vatom3);
2914 return binary64Fx4_w_rm(mce, vatom1, vatom2, vatom3);
2920 return binary32Fx8_w_rm(mce, vatom1, vatom2, vatom3);
2940 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2945 tl_assert(isShadowAtom(mce,vatom2));
2947 tl_assert(sameKindedAtoms(atom2,vatom2));
2962 return binary16Ix2(mce, vatom1, vatom2);
2974 return binary8Ix4(mce, vatom1, vatom2);
2994 return vectorNarrowBin64(mce, op, vatom1, vatom2);
3014 return binary8Ix8(mce, vatom1, vatom2);
3037 return binary16Ix4(mce, vatom1, vatom2);
3057 return binary32Ix2(mce, vatom1, vatom2);
3066 return binary64Ix1(mce, vatom1, vatom2);
3101 mkPCast32x2(mce, vatom2)));
3110 mkPCast16x4(mce, vatom2)));
3119 mkPCast8x8(mce, vatom2)));
3127 mkPCast32x2(mce, vatom2))));
3133 mkPCast16x4(mce, vatom2))));
3139 mkPCast8x8(mce, vatom2))));
3147 mkPCast8x8(mce,vatom2)
3156 mkPCast16x4(mce,vatom2)
3165 mkPCast32x2(mce,vatom2)
3183 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
3202 mkPCast8x8(mce, vatom2)
3208 return unary32Fx4_w_rm(mce, vatom1, vatom2);
3210 return unary64Fx2_w_rm(mce, vatom1, vatom2);
3247 mkPCast8x16(mce,vatom2)
3259 mkPCast16x8(mce,vatom2)
3271 mkPCast32x4(mce,vatom2)
3283 mkPCast64x2(mce,vatom2)
3293 return binary8Ix16(mce, vatom1, vatom2);
3296 return binary16Ix8(mce, vatom1, vatom2);
3299 return binary32Ix4(mce, vatom1, vatom2);
3302 return binary64Ix2(mce, vatom1, vatom2);
3340 return binary8Ix16(mce, vatom1, vatom2);
3367 return binary16Ix8(mce, vatom1, vatom2);
3392 return binary32Ix4(mce, vatom1, vatom2);
3416 return binary64Ix2(mce, vatom1, vatom2);
3426 return vectorNarrowBinV128(mce, op, vatom1, vatom2);
3436 return binary64Fx2(mce, vatom1, vatom2);
3448 return binary64F0x2(mce, vatom1, vatom2);
3460 return binary32Fx4(mce, vatom1, vatom2);
3472 return binary32Fx2(mce, vatom1, vatom2);
3484 return binary32F0x4(mce, vatom1, vatom2);
3588 mkUifU64(mce, vatom1, vatom2));
3594 mkUifU64(mce, vatom1, vatom2));
3600 mkUifU64(mce, vatom1, vatom2));
3605 mkPCast32x4(mce, vatom2))));
3610 mkPCast16x8(mce, vatom2))));
3615 mkPCast8x16(mce, vatom2))));
3641 return assignNew('V', mce, Ity_V128, binop(op, vatom1, vatom2));
3663 mkPCast8x16(mce, vatom2)
3669 mkPCast32x4(mce, vatom2)
3682 at = binary16Ix8(mce,vatom1,vatom2);
3692 at = binary8Ix16(mce,vatom1,vatom2);
3702 at = binary32Ix4(mce,vatom1,vatom2);
3716 binop(op, vatom1, vatom2));
3734 return assignNew('V', mce, Ity_I128, binop(op, vatom1, vatom2));
3740 return binary64Fx4(mce, vatom1, vatom2);
3744 return binary32Fx8(mce, vatom1, vatom2);
3748 return assignNew('V', mce, Ity_V256, binop(op, vatom1, vatom2));
3755 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3759 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3774 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3780 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3786 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3793 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3802 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3811 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3820 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3826 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3830 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3837 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3842 return mkLazy2(mce, Ity_I16, vatom1, vatom2);
3849 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3857 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3862 binop(Iop_64HLto128, vatom1, vatom2));
3871 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3875 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3879 return mkLazy2(mce, Ity_I16, vatom1, vatom2);
3883 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3887 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3896 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3902 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3906 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3909 return assignNew('V', mce, Ity_I16, binop(op, vatom1, vatom2));
3911 return assignNew('V', mce, Ity_I32, binop(op, vatom1, vatom2));
3913 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
3918 IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3926 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3934 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
3942 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
3954 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3960 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3965 vatom1,vatom2, atom1,atom2);
3971 vatom1,vatom2, atom1,atom2);
3977 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3983 return doCmpORD(mce, op, vatom1,vatom2, atom1,atom2);
3988 vatom1,vatom2, atom1,atom2);
3994 vatom1,vatom2, atom1,atom2);
4000 return mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
4005 return mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
4010 return mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
4021 return expensiveCmpEQorNE(mce,Ity_I64, vatom1,vatom2, atom1,atom2 );
4026 return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
4037 return expensiveCmpEQorNE(mce,Ity_I32, vatom1,vatom2, atom1,atom2 );
4042 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
4045 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
4048 return expensiveCmpEQorNE(mce,Ity_I16, vatom1,vatom2, atom1,atom2 );
4051 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
4062 return scalarShift( mce, Ity_I64, op, vatom1,vatom2, atom1,atom2 );
4065 return scalarShift( mce, Ity_I32, op, vatom1,vatom2, atom1,atom2 );
4068 return scalarShift( mce, Ity_I16, op, vatom1,vatom2, atom1,atom2 );
4071 return scalarShift( mce, Ity_I8, op, vatom1,vatom2, atom1,atom2 );
4116 difd(mce, uifu(mce, vatom1, vatom2),
4118 improve(mce, atom2, vatom2) ) ) );
4121 return mkUifU8(mce, vatom1, vatom2);
4123 return mkUifU16(mce, vatom1, vatom2);
4125 return mkUifU32(mce, vatom1, vatom2);
4127 return mkUifU64(mce, vatom1, vatom2);
4129 return mkUifUV128(mce, vatom1, vatom2);
4131 return mkUifUV256(mce, vatom1, vatom2);
4162 return binary8Ix32(mce, vatom1, vatom2);
4180 return binary16Ix16(mce, vatom1, vatom2);
4191 return binary32Ix8(mce, vatom1, vatom2);
4197 return binary64Ix4(mce, vatom1, vatom2);
4206 mkPCast32x8(mce, vatom2)
4261 IRAtom* shV = binaryNIxM(mce, vatom1, vatom2);