Lines Matching refs:expr2vbits
129 static IRExpr* expr2vbits ( struct _MCEnv* mce, IRExpr* e );
1116 vatom = expr2vbits( mce, atom );
1310 vatom = expr2vbits( mce, atom );
1361 vatom = expr2vbits( mce, atom );
1694 here = mkPCastTo( mce, mergeTy, expr2vbits(mce, exprvec[i]) );
2399 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2400 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2401 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2402 IRAtom* vatom4 = expr2vbits( mce, atom4 );
2446 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2447 IRAtom* vatom2 = expr2vbits
2448 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2536 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2537 IRAtom* vatom2 = expr2vbits( mce, atom2 );
3536 IRAtom* vatom = expr2vbits( mce, atom );
3999 vbitsC = expr2vbits(mce, cond);
4000 vbits0 = expr2vbits(mce, expr0);
4001 vbitsX = expr2vbits(mce, exprX);
4013 IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e )
4074 VG_(tool_panic)("memcheck: expr2vbits");
4158 vdata = expr2vbits( mce, data );
4431 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
4875 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo));
4886 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo));
4982 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataHi));
4984 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo));
5000 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdHi));
5002 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo));
5474 expr2vbits( &mce, st->Ist.WrTmp.data) );
