Home | History | Annotate | Download | only in memcheck

Lines Matching refs:Iex

316       TempMapEnt* ent = VG_(indexXA)( mce->tmpMap, a1->Iex.RdTmp.tmp );
329 TempMapEnt* ent = VG_(indexXA)( mce->tmpMap, a1->Iex.RdTmp.tmp );
917 && e->Iex.Const.con->tag == Ico_U32
918 && e->Iex.Const.con->Ico.U32 == 0 );
925 && e->Iex.Const.con->tag == Ico_U64
926 Iex.Const.con->Ico.U64 == 0 );
1176 newShadowTmpV(mce, atom->Iex.RdTmp.tmp);
1177 assign('V', mce, findShadowTmpV(mce, atom->Iex.RdTmp.tmp),
3706 return shadow_GET( mce, e->Iex.Get.offset, e->Iex.Get.ty );
3709 return shadow_GETI( mce, e->Iex.GetI.descr,
3710 e->Iex.GetI.ix, e->Iex.GetI.bias );
3713 return IRExpr_RdTmp( findShadowTmpV(mce, e->Iex.RdTmp.tmp) );
3721 e->Iex.Qop.op,
3722 e->Iex.Qop.arg1, e->Iex.Qop.arg2,
3723 e->Iex.Qop.arg3, e->Iex.Qop.arg4
3729 e->Iex.Triop.op,
3730 e->Iex.Triop.arg1, e->Iex.Triop.arg2, e->Iex.Triop.arg3
3736 e->Iex.Binop.op,
3737 e->Iex.Binop.arg1, e->Iex.Binop.arg2
3741 return expr2vbits_Unop( mce, e->Iex.Unop.op, e->Iex.Unop.arg );
3744 return expr2vbits_Load( mce, e->Iex.Load.end,
3745 e->Iex.Load.ty,
3746 e->Iex.Load.addr, 0/*addr bias*/ );
3749 return mkLazyN( mce, e->Iex.CCall.args,
3750 e->Iex.CCall.retty,
3751 e->Iex.CCall.cee );
3754 return expr2vbits_Mux0X( mce, e->Iex.Mux0X.cond, e->Iex.Mux0X.expr0,
3755 e->Iex.Mux0X.exprX);
4276 assign('V', mce, findShadowTmpV(mce,orig->Iex.RdTmp.tmp),
4280 assign('B', mce, findShadowTmpB(mce,orig->Iex.RdTmp.tmp),
4749 con = at->Iex.Const.con;
4790 return isBogusAtom(e->Iex.Unop.arg);
4792 return isBogusAtom(e->Iex.GetI.ix);
4794 return isBogusAtom(e->Iex.Binop.arg1)
4795 || isBogusAtom(e->Iex.Binop.arg2);
4797 return isBogusAtom(e->Iex.Triop.arg1)
4798 || isBogusAtom(e->Iex.Triop.arg2)
4799 || isBogusAtom(e->Iex.Triop.arg3);
4801 return isBogusAtom(e->Iex.Qop.arg1)
4802 || isBogusAtom(e->Iex.Qop.arg2)
4803 || isBogusAtom(e->Iex.Qop.arg3)
4804 || isBogusAtom(e->Iex.Qop.arg4);
4806 return isBogusAtom(e->Iex.Mux0X.cond)
4807 || isBogusAtom(e->Iex.Mux0X.expr0)
4808 || isBogusAtom(e->Iex.Mux0X.exprX);
4810 return isBogusAtom(e->Iex.Load.addr);
4812 for (i = 0; e->Iex.CCall.args[i]; i++)
4813 if (isBogusAtom(e->Iex.CCall.args[i]))
5191 return eqIRConst( e1->Iex.Const.con, e2->Iex.Const.con );
5193 return e1->Iex.Binop.op == e2->Iex.Binop.op
5194 && sameIRValue(e1->Iex.Binop.arg1, e2->Iex.Binop.arg1)
5195 && sameIRValue(e1->Iex.Binop.arg2, e2->Iex.Binop.arg2);
5197 return e1->Iex.Unop.op == e2->Iex.Unop.op
5198 && sameIRValue(e1->Iex.Unop.arg, e2->Iex.Unop.arg);
5200 return e1->Iex.RdTmp.tmp == e2->Iex.RdTmp.tmp;
5202 return sameIRValue( e1->Iex.Mux0X.cond, e2->Iex.Mux0X.cond )
5203 && sameIRValue( e1->Iex.Mux0X.expr0, e2->Iex.Mux0X.expr0 )
5204 && sameIRValue( e1->Iex.Mux0X.exprX, e2->Iex.Mux0X.exprX );
5468 IRRegArray* descr = e->Iex.GetI.descr;
5486 IRExpr_GetI( descr_b, e->Iex.GetI.ix,
5487 e->Iex.GetI.bias ));
5489 t3 = schemeE( mce, e->Iex.GetI.ix );
5496 IRExpr** args = e->Iex.CCall.args;
5503 if (e->Iex.CCall.cee->mcx_mask & (1<<i)) {
5507 e->Iex.CCall.cee->name, i);
5519 dszB = sizeofIRType(e->Iex.Load.ty);
5522 tl_assert(isIRAtom(e->Iex.Load.addr));
5524 return gen_load_b( mce, dszB, e->Iex.Load.addr, 0 );
5527 IRAtom* b1 = schemeE( mce, e->Iex.Mux0X.cond );
5528 IRAtom* b2 = schemeE( mce, e->Iex.Mux0X.expr0 );
5529 IRAtom* b3 = schemeE( mce, e->Iex.Mux0X.exprX );
5533 IRAtom* b1 = schemeE( mce, e->Iex.Qop.arg1 );
5534 IRAtom* b2 = schemeE( mce, e->Iex.Qop.arg2 );
5535 IRAtom* b3 = schemeE( mce, e->Iex.Qop.arg3 );
5536 IRAtom* b4 = schemeE( mce, e->Iex.Qop.arg4 );
5541 IRAtom* b1 = schemeE( mce, e->Iex.Triop.arg1 );
5542 IRAtom* b2 = schemeE( mce, e->Iex.Triop.arg2 );
5543 IRAtom* b3 = schemeE( mce, e->Iex.Triop.arg3 );
5547 switch (e->Iex.Binop.op) {
5557 IRAtom* b1 = schemeE( mce, e->Iex.Binop.arg1 );
5558 IRAtom* b2 = schemeE( mce, e->Iex.Binop.arg2 );
5566 IRAtom* b1 = schemeE( mce, e->Iex.Unop.arg );
5572 return mkexpr( findShadowTmpB( mce, e->Iex.RdTmp.tmp ));
5575 e->Iex.Get.offset,
5576 sizeofIRType(e->Iex.Get.ty)