Lines Matching refs:Iex
335 TempMapEnt* ent = VG_(indexXA)( mce->tmpMap, a1->Iex.RdTmp.tmp ); in isOriginalAtom()
348 TempMapEnt* ent = VG_(indexXA)( mce->tmpMap, a1->Iex.RdTmp.tmp ); in isShadowAtom()
1092 && e->Iex.Const.con->tag == Ico_U32 in isZeroU32()
1093 && e->Iex.Const.con->Ico.U32 == 0 ); in isZeroU32()
1100 && e->Iex.Const.con->tag == Ico_U64 in isZeroU64()
1101 && e->Iex.Const.con->Ico.U64 == 0 ); in isZeroU64()
1381 newShadowTmpV(mce, atom->Iex.RdTmp.tmp); in complainIfUndefined()
1382 assign('V', mce, findShadowTmpV(mce, atom->Iex.RdTmp.tmp), in complainIfUndefined()
1388 IRTemp old_tmpV = findShadowTmpV(mce, atom->Iex.RdTmp.tmp); in complainIfUndefined()
1389 newShadowTmpV(mce, atom->Iex.RdTmp.tmp); in complainIfUndefined()
1394 assign('V', mce, findShadowTmpV(mce, atom->Iex.RdTmp.tmp), new_tmpV); in complainIfUndefined()
4973 return shadow_GET( mce, e->Iex.Get.offset, e->Iex.Get.ty ); in expr2vbits()
4976 return shadow_GETI( mce, e->Iex.GetI.descr, in expr2vbits()
4977 e->Iex.GetI.ix, e->Iex.GetI.bias ); in expr2vbits()
4980 return IRExpr_RdTmp( findShadowTmpV(mce, e->Iex.RdTmp.tmp) ); in expr2vbits()
4988 e->Iex.Qop.details->op, in expr2vbits()
4989 e->Iex.Qop.details->arg1, e->Iex.Qop.details->arg2, in expr2vbits()
4990 e->Iex.Qop.details->arg3, e->Iex.Qop.details->arg4 in expr2vbits()
4996 e->Iex.Triop.details->op, in expr2vbits()
4997 e->Iex.Triop.details->arg1, e->Iex.Triop.details->arg2, in expr2vbits()
4998 e->Iex.Triop.details->arg3 in expr2vbits()
5004 e->Iex.Binop.op, in expr2vbits()
5005 e->Iex.Binop.arg1, e->Iex.Binop.arg2 in expr2vbits()
5009 return expr2vbits_Unop( mce, e->Iex.Unop.op, e->Iex.Unop.arg ); in expr2vbits()
5012 return expr2vbits_Load( mce, e->Iex.Load.end, in expr2vbits()
5013 e->Iex.Load.ty, in expr2vbits()
5014 e->Iex.Load.addr, 0/*addr bias*/, in expr2vbits()
5018 return mkLazyN( mce, e->Iex.CCall.args, in expr2vbits()
5019 e->Iex.CCall.retty, in expr2vbits()
5020 e->Iex.CCall.cee ); in expr2vbits()
5023 return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue, in expr2vbits()
5024 e->Iex.ITE.iffalse); in expr2vbits()
5678 assign('V', mce, findShadowTmpV(mce,orig->Iex.RdTmp.tmp), in bind_shadow_tmp_to_orig()
5682 assign('B', mce, findShadowTmpB(mce,orig->Iex.RdTmp.tmp), in bind_shadow_tmp_to_orig()
6210 con = at->Iex.Const.con; in isBogusAtom()
6255 return isBogusAtom(e->Iex.Unop.arg) in checkForBogusLiterals()
6256 || e->Iex.Unop.op == Iop_GetMSBs8x16; in checkForBogusLiterals()
6258 return isBogusAtom(e->Iex.GetI.ix); in checkForBogusLiterals()
6260 return isBogusAtom(e->Iex.Binop.arg1) in checkForBogusLiterals()
6261 || isBogusAtom(e->Iex.Binop.arg2); in checkForBogusLiterals()
6263 return isBogusAtom(e->Iex.Triop.details->arg1) in checkForBogusLiterals()
6264 || isBogusAtom(e->Iex.Triop.details->arg2) in checkForBogusLiterals()
6265 || isBogusAtom(e->Iex.Triop.details->arg3); in checkForBogusLiterals()
6267 return isBogusAtom(e->Iex.Qop.details->arg1) in checkForBogusLiterals()
6268 || isBogusAtom(e->Iex.Qop.details->arg2) in checkForBogusLiterals()
6269 || isBogusAtom(e->Iex.Qop.details->arg3) in checkForBogusLiterals()
6270 || isBogusAtom(e->Iex.Qop.details->arg4); in checkForBogusLiterals()
6272 return isBogusAtom(e->Iex.ITE.cond) in checkForBogusLiterals()
6273 || isBogusAtom(e->Iex.ITE.iftrue) in checkForBogusLiterals()
6274 || isBogusAtom(e->Iex.ITE.iffalse); in checkForBogusLiterals()
6276 return isBogusAtom(e->Iex.Load.addr); in checkForBogusLiterals()
6278 for (i = 0; e->Iex.CCall.args[i]; i++) in checkForBogusLiterals()
6279 if (isBogusAtom(e->Iex.CCall.args[i])) in checkForBogusLiterals()
6745 return eqIRConst( e1->Iex.Const.con, e2->Iex.Const.con ); in sameIRValue()
6747 return e1->Iex.Binop.op == e2->Iex.Binop.op in sameIRValue()
6748 && sameIRValue(e1->Iex.Binop.arg1, e2->Iex.Binop.arg1) in sameIRValue()
6749 && sameIRValue(e1->Iex.Binop.arg2, e2->Iex.Binop.arg2); in sameIRValue()
6751 return e1->Iex.Unop.op == e2->Iex.Unop.op in sameIRValue()
6752 && sameIRValue(e1->Iex.Unop.arg, e2->Iex.Unop.arg); in sameIRValue()
6754 return e1->Iex.RdTmp.tmp == e2->Iex.RdTmp.tmp; in sameIRValue()
6756 return sameIRValue( e1->Iex.ITE.cond, e2->Iex.ITE.cond ) in sameIRValue()
6757 && sameIRValue( e1->Iex.ITE.iftrue, e2->Iex.ITE.iftrue ) in sameIRValue()
6758 && sameIRValue( e1->Iex.ITE.iffalse, e2->Iex.ITE.iffalse ); in sameIRValue()
7150 IRRegArray* descr = e->Iex.GetI.descr; in schemeE()
7168 IRExpr_GetI( descr_b, e->Iex.GetI.ix, in schemeE()
7169 e->Iex.GetI.bias )); in schemeE()
7171 t3 = schemeE( mce, e->Iex.GetI.ix ); in schemeE()
7178 IRExpr** args = e->Iex.CCall.args; in schemeE()
7185 if (e->Iex.CCall.cee->mcx_mask & (1<<i)) { in schemeE()
7189 e->Iex.CCall.cee->name, i); in schemeE()
7201 dszB = sizeofIRType(e->Iex.Load.ty); in schemeE()
7204 tl_assert(isIRAtom(e->Iex.Load.addr)); in schemeE()
7206 return gen_load_b( mce, dszB, e->Iex.Load.addr, 0 ); in schemeE()
7209 IRAtom* b1 = schemeE( mce, e->Iex.ITE.cond ); in schemeE()
7210 IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue ); in schemeE()
7211 IRAtom* b2 = schemeE( mce, e->Iex.ITE.iffalse ); in schemeE()
7215 IRAtom* b1 = schemeE( mce, e->Iex.Qop.details->arg1 ); in schemeE()
7216 IRAtom* b2 = schemeE( mce, e->Iex.Qop.details->arg2 ); in schemeE()
7217 IRAtom* b3 = schemeE( mce, e->Iex.Qop.details->arg3 ); in schemeE()
7218 IRAtom* b4 = schemeE( mce, e->Iex.Qop.details->arg4 ); in schemeE()
7223 IRAtom* b1 = schemeE( mce, e->Iex.Triop.details->arg1 ); in schemeE()
7224 IRAtom* b2 = schemeE( mce, e->Iex.Triop.details->arg2 ); in schemeE()
7225 IRAtom* b3 = schemeE( mce, e->Iex.Triop.details->arg3 ); in schemeE()
7229 switch (e->Iex.Binop.op) { in schemeE()
7239 IRAtom* b1 = schemeE( mce, e->Iex.Binop.arg1 ); in schemeE()
7240 IRAtom* b2 = schemeE( mce, e->Iex.Binop.arg2 ); in schemeE()
7248 IRAtom* b1 = schemeE( mce, e->Iex.Unop.arg ); in schemeE()
7254 return mkexpr( findShadowTmpB( mce, e->Iex.RdTmp.tmp )); in schemeE()
7257 e->Iex.Get.offset, in schemeE()
7258 sizeofIRType(e->Iex.Get.ty) in schemeE()