Lines Matching defs:e0
3455 IRTemp e0;
3467 IRTemp e0;
3527 && a1->u.Ittt.e0 == a2->u.Ittt.e0);
3535 && a1->u.Itct.e0 == a2->u.Itct.e0);
3599 IRExpr_RdTmp(ae->u.Ittt.e0));
3611 IRExpr_RdTmp(ae->u.Itct.e0));
3688 ae->u.Ittt.e0 = subst_AvailExpr_Temp( env, ae->u.Ittt.e0 );
3696 ae->u.Itct.e0 = subst_AvailExpr_Temp( env, ae->u.Itct.e0 );
3780 ae->u.Ittt.e0 = e->Iex.ITE.iffalse->Iex.RdTmp.tmp;
3788 ae->u.Itct.e0 = e->Iex.ITE.iffalse->Iex.RdTmp.tmp;