3424       enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt,  enumerator
3472          } Itct;  member
3536       case Itct:  in eq_AvailExpr()
3537          return toBool(a1->u.Itct.co == a2->u.Itct.co  in eq_AvailExpr()
3538                        && eqIRConst(&a1->u.Itct.con1, &a2->u.Itct.con1)  in eq_AvailExpr()
3539                        && a1->u.Itct.e0 == a2->u.Itct.e0);  in eq_AvailExpr()
3610       case Itct:  in availExpr_to_IRExpr()
3612          *con1 = ae->u.Itct.con1;  in availExpr_to_IRExpr()
3613          return IRExpr_ITE(IRExpr_RdTmp(ae->u.Itct.co),   in availExpr_to_IRExpr()
3615                            IRExpr_RdTmp(ae->u.Itct.e0));  in availExpr_to_IRExpr()
3698       case Itct:  in subst_AvailExpr()
3699          ae->u.Itct.co = subst_AvailExpr_Temp( env, ae->u.Itct.co );  in subst_AvailExpr()
3700          ae->u.Itct.e0 = subst_AvailExpr_Temp( env, ae->u.Itct.e0 );  in subst_AvailExpr()
3789                   ae->tag       = Itct;  in irExpr_to_AvailExpr()
3790                   ae->u.Itct.co = e->Iex.ITE.cond->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3791                   ae->u.Itct.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con);  in irExpr_to_AvailExpr()
3792                   ae->u.Itct.e0 = e->Iex.ITE.iffalse->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()