Lines Matching refs:expr2vbits
550 static IRExpr* expr2vbits ( struct _MCEnv* mce, IRExpr* e );
1073 vatom = expr2vbits( mce, atom ); in complainIfUndefined()
1181 vatom = expr2vbits( mce, atom ); in do_shadow_PUT()
1212 vatom = expr2vbits( mce, atom ); in do_shadow_PUTI()
1326 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, exprvec[i]) ); in mkLazyN()
1649 IRAtom* vatom1 = expr2vbits( mce, atom1 ); in expr2vbits_Binop()
1650 IRAtom* vatom2 = expr2vbits( mce, atom2 ); in expr2vbits_Binop()
1963 IRAtom* vatom = expr2vbits( mce, atom ); in expr2vbits_Unop()
2147 vbitsC = expr2vbits(mce, cond); in expr2vbits_ITE()
2148 vbits0 = expr2vbits(mce, iffalse); in expr2vbits_ITE()
2149 vbits1 = expr2vbits(mce, iftrue); in expr2vbits_ITE()
2160 IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e ) in expr2vbits() function
2272 vdata = expr2vbits( mce, data ); in do_shadow_STle()
2393 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) ); in do_shadow_Dirty()
2671 expr2vbits( &mce, st->Ist.WrTmp.data) ); in mc_instrument()