Lines Matching defs:e0
3375 IRTemp e0;
3387 IRTemp e0;
3441 && a1->u.Ittt.e0 == a2->u.Ittt.e0);
3449 && a1->u.Itct.e0 == a2->u.Itct.e0);
3506 IRExpr_RdTmp(ae->u.Ittt.e0));
3518 IRExpr_RdTmp(ae->u.Itct.e0));
3589 ae->u.Ittt.e0 = subst_AvailExpr_Temp( env, ae->u.Ittt.e0 );
3597 ae->u.Itct.e0 = subst_AvailExpr_Temp( env, ae->u.Itct.e0 );
3681 ae->u.Ittt.e0 = e->Iex.ITE.iffalse->Iex.RdTmp.tmp;
3689 ae->u.Itct.e0 = e->Iex.ITE.iffalse->Iex.RdTmp.tmp;