Lines Matching full:vatom3
2771 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2780 tl_assert(isShadowAtom(mce,vatom3));
2784 tl_assert(sameKindedAtoms(atom3,vatom3));
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));
2818 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2825 tl_assert(isShadowAtom(mce,vatom3));
2828 tl_assert(sameKindedAtoms(atom3,vatom3));
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);
2890 return assignNew('V', mce, Ity_I64, triop(op, vatom1, atom2, vatom3));
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);