Lines Matching refs:expr2vbits
128 static IRExpr* expr2vbits ( struct _MCEnv* mce, IRExpr* e );
1056 vatom = expr2vbits( mce, atom );
1238 vatom = expr2vbits( mce, atom );
1277 vatom = expr2vbits( mce, atom );
1610 here = mkPCastTo( mce, mergeTy, expr2vbits(mce, exprvec[i]) );
2261 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2262 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2263 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2264 IRAtom* vatom4 = expr2vbits( mce, atom4 );
2303 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2304 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2305 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2377 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2378 IRAtom* vatom2 = expr2vbits( mce, atom2 );
3290 IRAtom* vatom = expr2vbits( mce, atom );
3687 vbitsC = expr2vbits(mce, cond);
3688 vbits0 = expr2vbits(mce, expr0);
3689 vbitsX = expr2vbits(mce, exprX);
3701 IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e )
3761 VG_(tool_panic)("memcheck: expr2vbits");
3845 vdata = expr2vbits( mce, data );
4044 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
4452 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo));
4463 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo));
4559 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataHi));
4561 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo));
4577 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdHi));
4579 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo));
5037 expr2vbits( &mce, st->Ist.WrTmp.data) );
