Lines Matching refs:expr2vbits
141 static IRExpr* expr2vbits ( struct _MCEnv* mce, IRExpr* e );
1236 vatom = expr2vbits( mce, atom );
1445 vatom = expr2vbits( mce, atom );
1496 vatom = expr2vbits( mce, atom );
1866 here = mkPCastTo( mce, mergeTy, expr2vbits(mce, exprvec[i]) );
2769 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2770 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2771 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2772 IRAtom* vatom4 = expr2vbits( mce, atom4 );
2816 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2817 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2818 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2939 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2940 IRAtom* vatom2 = expr2vbits( mce, atom2 );
4284 IRAtom* vatom = expr2vbits( mce, atom );
4871 vbitsC = expr2vbits(mce, cond);
4872 vbits1 = expr2vbits(mce, iftrue);
4873 vbits0 = expr2vbits(mce, iffalse);
4885 IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e )
4947 VG_(tool_panic)("memcheck: expr2vbits");
5035 vdata = expr2vbits( mce, data );
5311 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, arg) );
5755 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo));
5766 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo));
5863 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataHi));
5865 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo));
5881 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdHi));
5883 = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo));
6086 = expr2vbits( mce, lg->alt );
6432 expr2vbits( &mce, st->Ist.WrTmp.data) );
