Lines Matching defs:expr2vbits
506 static IRExpr* expr2vbits ( struct _MCEnv* mce, IRExpr* e );
1029 vatom = expr2vbits( mce, atom );
1137 vatom = expr2vbits( mce, atom );
1168 vatom = expr2vbits( mce, atom );
1282 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, exprvec[i]) );
1605 IRAtom* vatom1 = expr2vbits( mce, atom1 );
1606 IRAtom* vatom2 = expr2vbits( mce, atom2 );
1919 IRAtom* vatom = expr2vbits( mce, atom );
2104 vbitsC = expr2vbits(mce, cond);
2105 vbits0 = expr2vbits(mce, expr0);
2106 vbitsX = expr2vbits(mce, exprX);
2117 IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e )
2161 VG_(tool_panic)("memcheck: expr2vbits");
2229 vdata = expr2vbits( mce, data );
2350 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
2628 expr2vbits( &mce, st->Ist.WrTmp.data) );