Lines Matching refs:expr2vbits
141 static IRExpr* expr2vbits ( struct _MCEnv* mce, IRExpr* e );
1236 vatom = expr2vbits( mce, atom ); in complainIfUndefined()
1445 vatom = expr2vbits( mce, atom ); in do_shadow_PUT()
1496 vatom = expr2vbits( mce, atom ); in do_shadow_PUTI()
1866 here = mkPCastTo( mce, mergeTy, expr2vbits(mce, exprvec[i]) ); in mkLazyN()
2769 IRAtom* vatom1 = expr2vbits( mce, atom1 ); in expr2vbits_Qop()
2770 IRAtom* vatom2 = expr2vbits( mce, atom2 ); in expr2vbits_Qop()
2771 IRAtom* vatom3 = expr2vbits( mce, atom3 ); in expr2vbits_Qop()
2772 IRAtom* vatom4 = expr2vbits( mce, atom4 ); in expr2vbits_Qop()
2816 IRAtom* vatom1 = expr2vbits( mce, atom1 ); in expr2vbits_Triop()
2817 IRAtom* vatom2 = expr2vbits( mce, atom2 ); in expr2vbits_Triop()
2818 IRAtom* vatom3 = expr2vbits( mce, atom3 ); in expr2vbits_Triop()
2939 IRAtom* vatom1 = expr2vbits( mce, atom1 ); in expr2vbits_Binop()
2940 IRAtom* vatom2 = expr2vbits( mce, atom2 ); in expr2vbits_Binop()
4288 IRAtom* vatom = expr2vbits( mce, atom ); in expr2vbits_Unop()
4875 vbitsC = expr2vbits(mce, cond); in expr2vbits_ITE()
4876 vbits1 = expr2vbits(mce, iftrue); in expr2vbits_ITE()
4877 vbits0 = expr2vbits(mce, iffalse); in expr2vbits_ITE()
4889 IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e ) in expr2vbits() function
5039 vdata = expr2vbits( mce, data ); in do_shadow_Store()
5315 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, arg) ); in do_shadow_Dirty()
5759 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo)); in do_shadow_CAS_single()
5770 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo)); in do_shadow_CAS_single()
5867 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataHi)); in do_shadow_CAS_double()
5869 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo)); in do_shadow_CAS_double()
5885 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdHi)); in do_shadow_CAS_double()
5887 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo)); in do_shadow_CAS_double()
6091 = expr2vbits( mce, lg->alt ); in do_shadow_LoadG()
6439 expr2vbits( &mce, st->Ist.WrTmp.data) ); in MC_()