Lines Matching refs:vatom1
2467 Vanilla(OP)( PCast-X-to-X-x-Z(vatom1), PCast-X-to-X-x-Z(vatom2) )
2515 IRAtom* vatom1, IRAtom* vatom2)
2531 tl_assert(isShadowAtom(mce,vatom1));
2533 at1 = assignNew('V', mce, Ity_V128, pcast(mce, vatom1));
2541 IRAtom* vatom1, IRAtom* vatom2)
2552 tl_assert(isShadowAtom(mce,vatom1));
2554 at1 = assignNew('V', mce, Ity_I64, pcast(mce, vatom1));
2562 IRAtom* vatom1)
2566 tl_assert(isShadowAtom(mce,vatom1));
2573 at1 = assignNew('V', mce, Ity_I64, unop(narrow_op, vatom1));
2593 at1 = assignNew('V', mce, Ity_V128, pcast(mce, vatom1));
2600 IRAtom* vatom1)
2613 tl_assert(isShadowAtom(mce,vatom1));
2614 at1 = assignNew('V', mce, Ity_V128, unop(longen_op, vatom1));
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);
2769 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2778 tl_assert(isShadowAtom(mce,vatom1));
2782 tl_assert(sameKindedAtoms(atom1,vatom1));
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));
2816 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2823 tl_assert(isShadowAtom(mce,vatom1));
2826 tl_assert(sameKindedAtoms(atom1,vatom1));
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));
2890 return assignNew('V', mce, Ity_I64, triop(op, vatom1, atom2, vatom3));
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);
2939 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2944 tl_assert(isShadowAtom(mce,vatom1));
2946 tl_assert(sameKindedAtoms(atom1,vatom1));
2962 return binary16Ix2(mce, vatom1, vatom2);
2974 return binary8Ix4(mce, vatom1, vatom2);
2989 return assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2));
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);
3072 return mkPCast8x8(mce, vatom1);
3078 return mkPCast16x4(mce, vatom1);
3084 return mkPCast32x2(mce, vatom1);
3090 return mkPCast32x2(mce, vatom1);
3100 mkPCast32x2(mce, vatom1),
3109 mkPCast16x4(mce, vatom1),
3118 mkPCast8x8(mce, vatom1),
3126 mkPCast32x2(mce, vatom1),
3132 binop(op, mkPCast16x4(mce, vatom1),
3138 binop(op, mkPCast8x8(mce, vatom1),
3146 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3155 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3164 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3183 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
3187 return assignNew('V', mce, Ity_I8, binop(op, vatom1, atom2));
3190 return assignNew('V', mce, Ity_I16, binop(op, vatom1, atom2));
3193 return assignNew('V', mce, Ity_I32, binop(op, vatom1, atom2));
3201 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3208 return unary32Fx4_w_rm(mce, vatom1, vatom2);
3210 return unary64Fx2_w_rm(mce, vatom1, vatom2);
3228 return assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2));
3246 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3258 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3270 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3282 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3293 return binary8Ix16(mce, vatom1, vatom2);
3296 return binary16Ix8(mce, vatom1, vatom2);
3299 return binary32Ix4(mce, vatom1, vatom2);
3302 return binary64Ix2(mce, vatom1, vatom2);
3309 return mkPCast32x4(mce, vatom1);
3316 return mkPCast32x2(mce, vatom1);
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);
3490 return mkPCast8x16(mce, vatom1);
3496 return mkPCast16x8(mce, vatom1);
3502 return mkPCast32x4(mce, vatom1);
3508 return mkPCast32x4(mce, vatom1);
3573 = fnPessim(mce, vatom1);
3588 mkUifU64(mce, vatom1, vatom2));
3594 mkUifU64(mce, vatom1, vatom2));
3600 mkUifU64(mce, vatom1, vatom2));
3604 assignNew('V', mce, Ity_V128, binop(op, mkPCast32x4(mce, vatom1),
3609 assignNew('V', mce, Ity_V128, binop(op, mkPCast16x8(mce, vatom1),
3614 assignNew('V', mce, Ity_V128, binop(op, mkPCast8x16(mce, vatom1),
3641 return assignNew('V', mce, Ity_V128, binop(op, vatom1, vatom2));
3645 return assignNew('V', mce, Ity_I8, binop(op, vatom1, atom2));
3648 return assignNew('V', mce, Ity_I16, binop(op, vatom1, atom2));
3651 return assignNew('V', mce, Ity_I32, binop(op, vatom1, atom2));
3654 return assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2));
3662 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3668 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3682 at = binary16Ix8(mce,vatom1,vatom2);
3692 at = binary8Ix16(mce,vatom1,vatom2);
3702 at = binary32Ix4(mce,vatom1,vatom2);
3716 binop(op, vatom1, vatom2));
3724 return assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2));
3730 return assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2));
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),
4117 difd(mce, improve(mce, atom1, vatom1),
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);
4147 return assignNew('V', mce, Ity_V256, binop(op, vatom1, atom2));
4162 return binary8Ix32(mce, vatom1, vatom2);
4180 return binary16Ix16(mce, vatom1, vatom2);
4191 return binary32Ix8(mce, vatom1, vatom2);
4197 return binary64Ix4(mce, vatom1, vatom2);
4205 assignNew('V', mce, Ity_V256, binop(op, vatom1, atom2)),
4261 IRAtom* shV = binaryNIxM(mce, vatom1, vatom2);
