Lines Matching refs:Ittt
3424 enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt, enumerator
3460 } Ittt; member
3528 case Ittt: in eq_AvailExpr()
3529 return toBool(a1->u.Ittt.co == a2->u.Ittt.co in eq_AvailExpr()
3530 && a1->u.Ittt.e1 == a2->u.Ittt.e1 in eq_AvailExpr()
3531 && a1->u.Ittt.e0 == a2->u.Ittt.e0); in eq_AvailExpr()
3600 case Ittt: in availExpr_to_IRExpr()
3601 return IRExpr_ITE(IRExpr_RdTmp(ae->u.Ittt.co), in availExpr_to_IRExpr()
3602 IRExpr_RdTmp(ae->u.Ittt.e1), in availExpr_to_IRExpr()
3603 IRExpr_RdTmp(ae->u.Ittt.e0)); in availExpr_to_IRExpr()
3689 case Ittt: in subst_AvailExpr()
3690 ae->u.Ittt.co = subst_AvailExpr_Temp( env, ae->u.Ittt.co ); in subst_AvailExpr()
3691 ae->u.Ittt.e1 = subst_AvailExpr_Temp( env, ae->u.Ittt.e1 ); in subst_AvailExpr()
3692 ae->u.Ittt.e0 = subst_AvailExpr_Temp( env, ae->u.Ittt.e0 ); in subst_AvailExpr()
3781 ae->tag = Ittt; in irExpr_to_AvailExpr()
3782 ae->u.Ittt.co = e->Iex.ITE.cond->Iex.RdTmp.tmp; in irExpr_to_AvailExpr()
3783 ae->u.Ittt.e1 = e->Iex.ITE.iftrue->Iex.RdTmp.tmp; in irExpr_to_AvailExpr()
3784 ae->u.Ittt.e0 = e->Iex.ITE.iffalse->Iex.RdTmp.tmp; in irExpr_to_AvailExpr()