Lines Matching refs:expr2vbits
550 static IRExpr* expr2vbits ( struct _MCEnv* mce, IRExpr* e );
1073 vatom = expr2vbits( mce, atom );
1181 vatom = expr2vbits( mce, atom );
1212 vatom = expr2vbits( mce, atom );
1326 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, exprvec[i]) );
1649 IRAtom* vatom1 = expr2vbits( mce, atom1 );
1650 IRAtom* vatom2 = expr2vbits( mce, atom2 );
1963 IRAtom* vatom = expr2vbits( mce, atom );
2147 vbitsC = expr2vbits(mce, cond);
2148 vbits0 = expr2vbits(mce, iffalse);
2149 vbits1 = expr2vbits(mce, iftrue);
2160 IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e )
2204 VG_(tool_panic)("memcheck: expr2vbits");
2272 vdata = expr2vbits( mce, data );
2393 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
2671 expr2vbits( &mce, st->Ist.WrTmp.data) );