3420       enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt,  enumerator
3462          } Ittc;  member
3528       case Ittc:  in eq_AvailExpr()
3529          return toBool(a1->u.Ittc.co == a2->u.Ittc.co  in eq_AvailExpr()
3530                        && a1->u.Ittc.e1 == a2->u.Ittc.e1  in eq_AvailExpr()
3531                        && eqIRConst(&a1->u.Ittc.con0, &a2->u.Ittc.con0));  in eq_AvailExpr()
3600       case Ittc:  in availExpr_to_IRExpr()
3602          *con0 = ae->u.Ittc.con0;  in availExpr_to_IRExpr()
3603          return IRExpr_ITE(IRExpr_RdTmp(ae->u.Ittc.co),   in availExpr_to_IRExpr()
3604                            IRExpr_RdTmp(ae->u.Ittc.e1),  in availExpr_to_IRExpr()
3690       case Ittc:  in subst_AvailExpr()
3691          ae->u.Ittc.co = subst_AvailExpr_Temp( env, ae->u.Ittc.co );  in subst_AvailExpr()
3692          ae->u.Ittc.e1 = subst_AvailExpr_Temp( env, ae->u.Ittc.e1 );  in subst_AvailExpr()
3794                   ae->tag       = Ittc;  in irExpr_to_AvailExpr()
3795                   ae->u.Ittc.co = e->Iex.ITE.cond->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3796                   ae->u.Ittc.e1 = e->Iex.ITE.iftrue->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3797                   ae->u.Ittc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con);  in irExpr_to_AvailExpr()