Lines Matching full:vatom1
2369 Vanilla(OP)( PCast-X-to-X-x-Z(vatom1), PCast-X-to-X-x-Z(vatom2) )
2417 IRAtom* vatom1, IRAtom* vatom2)
2433 tl_assert(isShadowAtom(mce,vatom1));
2435 at1 = assignNew('V', mce, Ity_V128, pcast(mce, vatom1));
2443 IRAtom* vatom1, IRAtom* vatom2)
2454 tl_assert(isShadowAtom(mce,vatom1));
2456 at1 = assignNew('V', mce, Ity_I64, pcast(mce, vatom1));
2464 IRAtom* vatom1)
2468 tl_assert(isShadowAtom(mce,vatom1));
2475 at1 = assignNew('V', mce, Ity_I64, unop(narrow_op, vatom1));
2495 at1 = assignNew('V', mce, Ity_V128, pcast(mce, vatom1));
2502 IRAtom* vatom1)
2515 tl_assert(isShadowAtom(mce,vatom1));
2516 at1 = assignNew('V', mce, Ity_V128, unop(longen_op, vatom1));
2529 IRAtom* binary8Ix32 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2532 at = mkUifUV256(mce, vatom1, vatom2);
2538 IRAtom* binary16Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2541 at = mkUifUV256(mce, vatom1, vatom2);
2547 IRAtom* binary32Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2550 at = mkUifUV256(mce, vatom1, vatom2);
2556 IRAtom* binary64Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2559 at = mkUifUV256(mce, vatom1, vatom2);
2567 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2570 at = mkUifUV128(mce, vatom1, vatom2);
2576 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2579 at = mkUifUV128(mce, vatom1, vatom2);
2585 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2588 at = mkUifUV128(mce, vatom1, vatom2);
2594 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2597 at = mkUifUV128(mce, vatom1, vatom2);
2605 IRAtom* binary8Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2608 at = mkUifU64(mce, vatom1, vatom2);
2614 IRAtom* binary16Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2617 at = mkUifU64(mce, vatom1, vatom2);
2623 IRAtom* binary32Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2626 at = mkUifU64(mce, vatom1, vatom2);
2632 IRAtom* binary64Ix1 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2635 at = mkUifU64(mce, vatom1, vatom2);
2643 IRAtom* binary8Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2646 at = mkUifU32(mce, vatom1, vatom2);
2652 IRAtom* binary16Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2655 at = mkUifU32(mce, vatom1, vatom2);
2671 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2680 tl_assert(isShadowAtom(mce,vatom1));
2684 tl_assert(sameKindedAtoms(atom1,vatom1));
2694 return mkLazy4(mce, Ity_I64, vatom1, vatom2, vatom3, vatom4);
2699 return mkLazy4(mce, Ity_I32, vatom1, vatom2, vatom3, vatom4);
2704 IRExpr_Qop(op, vatom1, vatom2, vatom3, vatom4));
2718 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2725 tl_assert(isShadowAtom(mce,vatom1));
2728 tl_assert(sameKindedAtoms(atom1,vatom1));
2742 return mkLazy3(mce, Ity_I128, vatom1, vatom2, vatom3);
2763 return mkLazy3(mce, Ity_I64, vatom1, vatom2, vatom3);
2767 return mkLazy3(mce, Ity_I32, vatom1, vatom2, vatom3);
2773 return mkLazy3(mce, Ity_I32, vatom1, vatom2, vatom3);
2776 return mkLazy3(mce, Ity_I64, vatom1, vatom2, vatom3);
2779 return mkLazy3(mce, Ity_I128, vatom1, vatom2, vatom3);
2782 return assignNew('V', mce, Ity_V128, triop(op, vatom1, vatom2, atom3));
2785 return assignNew('V', mce, Ity_I64, triop(op, vatom1, vatom2, atom3));
2790 return assignNew('V', mce, Ity_I64, triop(op, vatom1, atom2, vatom3));
2795 return assignNew('V', mce, Ity_V128, triop(op, vatom1, vatom2, atom3));
2802 return binary64Fx2_w_rm(mce, vatom1, vatom2, vatom3);
2808 return binary32Fx4_w_rm(mce, vatom1, vatom2, vatom3);
2814 return binary64Fx4_w_rm(mce, vatom1, vatom2, vatom3);
2820 return binary32Fx8_w_rm(mce, vatom1, vatom2, vatom3);
2839 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2844 tl_assert(isShadowAtom(mce,vatom1));
2846 tl_assert(sameKindedAtoms(atom1,vatom1));
2862 return binary16Ix2(mce, vatom1, vatom2);
2874 return binary8Ix4(mce, vatom1, vatom2);
2889 return assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2));
2894 return vectorNarrowBin64(mce, op, vatom1, vatom2);
2914 return binary8Ix8(mce, vatom1, vatom2);
2937 return binary16Ix4(mce, vatom1, vatom2);
2957 return binary32Ix2(mce, vatom1, vatom2);
2966 return binary64Ix1(mce, vatom1, vatom2);
2972 return mkPCast8x8(mce, vatom1);
2978 return mkPCast16x4(mce, vatom1);
2984 return mkPCast32x2(mce, vatom1);
2990 return mkPCast32x2(mce, vatom1);
3000 mkPCast32x2(mce, vatom1),
3009 mkPCast16x4(mce, vatom1),
3018 mkPCast8x8(mce, vatom1),
3026 mkPCast32x2(mce, vatom1),
3032 binop(op, mkPCast16x4(mce, vatom1),
3038 binop(op, mkPCast8x8(mce, vatom1),
3046 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3055 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3064 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3083 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
3087 return assignNew('V', mce, Ity_I8, binop(op, vatom1, atom2));
3090 return assignNew('V', mce, Ity_I16, binop(op, vatom1, atom2));
3093 return assignNew('V', mce, Ity_I32, binop(op, vatom1, atom2));
3101 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3123 return assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2));
3132 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3142 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3153 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3162 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3171 return mkPCast32x4(mce, vatom1);
3178 return mkPCast32x2(mce, vatom1);
3200 return binary8Ix16(mce, vatom1, vatom2);
3225 return binary16Ix8(mce, vatom1, vatom2);
3248 return binary32Ix4(mce, vatom1, vatom2);
3270 return binary64Ix2(mce, vatom1, vatom2);
3280 return vectorNarrowBinV128(mce, op, vatom1, vatom2);
3288 return binary64Fx2(mce, vatom1, vatom2);
3300 return binary64F0x2(mce, vatom1, vatom2);
3312 return binary32Fx4(mce, vatom1, vatom2);
3324 return binary32Fx2(mce, vatom1, vatom2);
3336 return binary32F0x4(mce, vatom1, vatom2);
3342 return mkPCast8x16(mce, vatom1);
3348 return mkPCast16x8(mce, vatom1);
3354 return mkPCast32x4(mce, vatom1);
3360 return mkPCast32x4(mce, vatom1);
3366 mkUifU64(mce, vatom1, vatom2));
3372 mkUifU64(mce, vatom1, vatom2));
3378 mkUifU64(mce, vatom1, vatom2));
3382 assignNew('V', mce, Ity_V128, binop(op, mkPCast32x4(mce, vatom1),
3387 assignNew('V', mce, Ity_V128, binop(op, mkPCast16x8(mce, vatom1),
3392 assignNew('V', mce, Ity_V128, binop(op, mkPCast8x16(mce, vatom1),
3419 return assignNew('V', mce, Ity_V128, binop(op, vatom1, vatom2));
3423 return assignNew('V', mce, Ity_I8, binop(op, vatom1, atom2));
3426 return assignNew('V', mce, Ity_I16, binop(op, vatom1, atom2));
3429 return assignNew('V', mce, Ity_I32, binop(op, vatom1, atom2));
3432 return assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2));
3440 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3446 assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2)),
3460 at = binary16Ix8(mce,vatom1,vatom2);
3470 at = binary8Ix16(mce,vatom1,vatom2);
3480 at = binary32Ix4(mce,vatom1,vatom2);
3494 binop(op, vatom1, vatom2));
3502 return assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2));
3508 return assignNew('V', mce, Ity_V128, binop(op, vatom1, atom2));
3512 return assignNew('V', mce, Ity_I128, binop(op, vatom1, vatom2));
3518 return binary64Fx4(mce, vatom1, vatom2);
3522 return binary32Fx8(mce, vatom1, vatom2);
3526 return assignNew('V', mce, Ity_V256, binop(op, vatom1, vatom2));
3533 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3537 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3551 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3557 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3563 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3570 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3579 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3588 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3597 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3602 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3606 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3613 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3620 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3628 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3633 binop(Iop_64HLto128, vatom1, vatom2));
3642 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3646 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3650 return mkLazy2(mce, Ity_I16, vatom1, vatom2);
3654 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3658 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3667 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3673 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3677 return mkLazy2(mce, Ity_I128, vatom1, vatom2);
3680 return assignNew('V', mce, Ity_I16, binop(op, vatom1, vatom2));
3682 return assignNew('V', mce, Ity_I32, binop(op, vatom1, vatom2));
3684 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
3689 IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3697 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3705 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
3713 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
3725 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3731 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3736 vatom1,vatom2, atom1,atom2);
3742 vatom1,vatom2, atom1,atom2);
3748 return mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3754 return doCmpORD(mce, op, vatom1,vatom2, atom1,atom2);
3759 vatom1,vatom2, atom1,atom2);
3765 vatom1,vatom2, atom1,atom2);
3771 return mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3776 return mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
3781 return mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
3792 return expensiveCmpEQorNE(mce,Ity_I64, vatom1,vatom2, atom1,atom2 );
3797 return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
3808 return expensiveCmpEQorNE(mce,Ity_I32, vatom1,vatom2, atom1,atom2 );
3813 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
3816 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
3819 return expensiveCmpEQorNE(mce,Ity_I16, vatom1,vatom2, atom1,atom2 );
3822 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
3833 return scalarShift( mce, Ity_I64, op, vatom1,vatom2, atom1,atom2 );
3836 return scalarShift( mce, Ity_I32, op, vatom1,vatom2, atom1,atom2 );
3839 return scalarShift( mce, Ity_I16, op, vatom1,vatom2, atom1,atom2 );
3842 return scalarShift( mce, Ity_I8, op, vatom1,vatom2, atom1,atom2 );
3887 difd(mce, uifu(mce, vatom1, vatom2),
3888 difd(mce, improve(mce, atom1, vatom1),
3892 return mkUifU8(mce, vatom1, vatom2);
3894 return mkUifU16(mce, vatom1, vatom2);
3896 return mkUifU32(mce, vatom1, vatom2);
3898 return mkUifU64(mce, vatom1, vatom2);
3900 return mkUifUV128(mce, vatom1, vatom2);
3902 return mkUifUV256(mce, vatom1, vatom2);
3918 return assignNew('V', mce, Ity_V256, binop(op, vatom1, atom2));
3933 return binary8Ix32(mce, vatom1, vatom2);
3951 return binary16Ix16(mce, vatom1, vatom2);
3962 return binary32Ix8(mce, vatom1, vatom2);
3968 return binary64Ix4(mce, vatom1, vatom2);
3976 assignNew('V', mce, Ity_V256, binop(op, vatom1, atom2)),
