Home | History | Annotate | Download | only in memcheck

Lines Matching refs:Iex

328       TempMapEnt* ent = VG_(indexXA)( mce->tmpMap, a1->Iex.RdTmp.tmp );
341 TempMapEnt* ent = VG_(indexXA)( mce->tmpMap, a1->Iex.RdTmp.tmp );
1012 && e->Iex.Const.con->tag == Ico_U32
1013 && e->Iex.Const.con->Ico.U32 == 0 );
1020 && e->Iex.Const.con->tag == Ico_U64
1021 && e->Iex.Const.con->Ico.U64 == 0 );
1301 newShadowTmpV(mce, atom->Iex.RdTmp.tmp);
1302 assign('V', mce, findShadowTmpV(mce, atom->Iex.RdTmp.tmp),
1308 IRTemp old_tmpV = findShadowTmpV(mce, atom->Iex.RdTmp.tmp);
1309 newShadowTmpV(mce, atom->Iex.RdTmp.tmp);
1314 assign('V', mce, findShadowTmpV(mce, atom->Iex.RdTmp.tmp), new_tmpV);
4610 return shadow_GET( mce, e->Iex.Get.offset, e->Iex.Get.ty );
4613 return shadow_GETI( mce, e->Iex.GetI.descr,
4614 e->Iex.GetI.ix, e->Iex.GetI.bias );
4617 return IRExpr_RdTmp( findShadowTmpV(mce, e->Iex.RdTmp.tmp) );
4625 e->Iex.Qop.details->op,
4626 e->Iex.Qop.details->arg1, e->Iex.Qop.details->arg2,
4627 e->Iex.Qop.details->arg3, e->Iex.Qop.details->arg4
4633 e->Iex.Triop.details->op,
4634 e->Iex.Triop.details->arg1, e->Iex.Triop.details->arg2,
4635 e->Iex.Triop.details->arg3
4641 e->Iex.Binop.op,
4642 e->Iex.Binop.arg1, e->Iex.Binop.arg2
4646 return expr2vbits_Unop( mce, e->Iex.Unop.op, e->Iex.Unop.arg );
4649 return expr2vbits_Load( mce, e->Iex.Load.end,
4650 e->Iex.Load.ty,
4651 e->Iex.Load.addr, 0/*addr bias*/,
4655 return mkLazyN( mce, e->Iex.CCall.args,
4656 e->Iex.CCall.retty,
4657 e->Iex.CCall.cee );
4660 return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue,
4661 e->Iex.ITE.iffalse);
5299 assign('V', mce, findShadowTmpV(mce,orig->Iex.RdTmp.tmp),
5303 assign('B', mce, findShadowTmpB(mce,orig->Iex.RdTmp.tmp),
5829 con = at->Iex.Const.con;
5873 return isBogusAtom(e->Iex.Unop.arg)
5874 || e->Iex.Unop.op == Iop_GetMSBs8x16;
5876 return isBogusAtom(e->Iex.GetI.ix);
5878 return isBogusAtom(e->Iex.Binop.arg1)
5879 || isBogusAtom(e->Iex.Binop.arg2);
5881 return isBogusAtom(e->Iex.Triop.details->arg1)
5882 || isBogusAtom(e->Iex.Triop.details->arg2)
5883 || isBogusAtom(e->Iex.Triop.details->arg3);
5885 return isBogusAtom(e->Iex.Qop.details->arg1)
5886 || isBogusAtom(e->Iex.Qop.details->arg2)
5887 || isBogusAtom(e->Iex.Qop.details->arg3)
5888 || isBogusAtom(e->Iex.Qop.details->arg4);
5890 return isBogusAtom(e->Iex.ITE.cond)
5891 || isBogusAtom(e->Iex.ITE.iftrue)
5892 || isBogusAtom(e->Iex.ITE.iffalse);
5894 return isBogusAtom(e->Iex.Load.addr);
5896 for (i = 0; e->Iex.CCall.args[i]; i++)
5897 if (isBogusAtom(e->Iex.CCall.args[i]))
6308 return eqIRConst( e1->Iex.Const.con, e2->Iex.Const.con );
6310 return e1->Iex.Binop.op == e2->Iex.Binop.op
6311 && sameIRValue(e1->Iex.Binop.arg1, e2->Iex.Binop.arg1)
6312 && sameIRValue(e1->Iex.Binop.arg2, e2->Iex.Binop.arg2);
6314 return e1->Iex.Unop.op == e2->Iex.Unop.op
6315 && sameIRValue(e1->Iex.Unop.arg, e2->Iex.Unop.arg);
6317 return e1->Iex.RdTmp.tmp == e2->Iex.RdTmp.tmp;
6319 return sameIRValue( e1->Iex.ITE.cond, e2->Iex.ITE.cond )
6320 && sameIRValue( e1->Iex.ITE.iftrue, e2->Iex.ITE.iftrue )
6321 && sameIRValue( e1->Iex.ITE.iffalse, e2->Iex.ITE.iffalse );
6655 IRRegArray* descr = e->Iex.GetI.descr;
6673 IRExpr_GetI( descr_b, e->Iex.GetI.ix,
6674 e->Iex.GetI.bias ));
6676 t3 = schemeE( mce, e->Iex.GetI.ix );
6683 IRExpr** args = e->Iex.CCall.args;
6690 if (e->Iex.CCall.cee->mcx_mask & (1<<i)) {
6694 e->Iex.CCall.cee->name, i);
6706 dszB = sizeofIRType(e->Iex.Load.ty);
6709 tl_assert(isIRAtom(e->Iex.Load.addr));
6711 return gen_load_b( mce, dszB, e->Iex.Load.addr, 0 );
6714 IRAtom* b1 = schemeE( mce, e->Iex.ITE.cond );
6715 IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue );
6716 IRAtom* b2 = schemeE( mce, e->Iex.ITE.iffalse );
6720 IRAtom* b1 = schemeE( mce, e->Iex.Qop.details->arg1 );
6721 IRAtom* b2 = schemeE( mce, e->Iex.Qop.details->arg2 );
6722 IRAtom* b3 = schemeE( mce, e->Iex.Qop.details->arg3 );
6723 IRAtom* b4 = schemeE( mce, e->Iex.Qop.details->arg4 );
6728 IRAtom* b1 = schemeE( mce, e->Iex.Triop.details->arg1 );
6729 IRAtom* b2 = schemeE( mce, e->Iex.Triop.details->arg2 );
6730 IRAtom* b3 = schemeE( mce, e->Iex.Triop.details->arg3 );
6734 switch (e->Iex.Binop.op) {
6744 IRAtom* b1 = schemeE( mce, e->Iex.Binop.arg1 );
6745 IRAtom* b2 = schemeE( mce, e->Iex.Binop.arg2 );
6753 IRAtom* b1 = schemeE( mce, e->Iex.Unop.arg );
6759 return mkexpr( findShadowTmpB( mce, e->Iex.RdTmp.tmp ));
6762 e->Iex.Get.offset,
6763 sizeofIRType(e->Iex.Get.ty)