3424       enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt,  enumerator
3466          } Ittc;  member
3532       case Ittc:  in eq_AvailExpr()
3533          return toBool(a1->u.Ittc.co == a2->u.Ittc.co  in eq_AvailExpr()
3534                        && a1->u.Ittc.e1 == a2->u.Ittc.e1  in eq_AvailExpr()
3535                        && eqIRConst(&a1->u.Ittc.con0, &a2->u.Ittc.con0));  in eq_AvailExpr()
3604       case Ittc:  in availExpr_to_IRExpr()
3606          *con0 = ae->u.Ittc.con0;  in availExpr_to_IRExpr()
3607          return IRExpr_ITE(IRExpr_RdTmp(ae->u.Ittc.co),   in availExpr_to_IRExpr()
3608                            IRExpr_RdTmp(ae->u.Ittc.e1),  in availExpr_to_IRExpr()
3694       case Ittc:  in subst_AvailExpr()
3695          ae->u.Ittc.co = subst_AvailExpr_Temp( env, ae->u.Ittc.co );  in subst_AvailExpr()
3696          ae->u.Ittc.e1 = subst_AvailExpr_Temp( env, ae->u.Ittc.e1 );  in subst_AvailExpr()
3798                   ae->tag       = Ittc;  in irExpr_to_AvailExpr()
3799                   ae->u.Ittc.co = e->Iex.ITE.cond->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3800                   ae->u.Ittc.e1 = e->Iex.ITE.iftrue->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3801                   ae->u.Ittc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con);  in irExpr_to_AvailExpr()