3424       enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt,  enumerator
3478          } Itcc;  member
3540       case Itcc:  in eq_AvailExpr()
3541          return toBool(a1->u.Itcc.co == a2->u.Itcc.co  in eq_AvailExpr()
3542                        && eqIRConst(&a1->u.Itcc.con1, &a2->u.Itcc.con1)  in eq_AvailExpr()
3543                        && eqIRConst(&a1->u.Itcc.con0, &a2->u.Itcc.con0));  in eq_AvailExpr()
3617       case Itcc:  in availExpr_to_IRExpr()
3620          *con0 = ae->u.Itcc.con0;  in availExpr_to_IRExpr()
3621          *con1 = ae->u.Itcc.con1;  in availExpr_to_IRExpr()
3622          return IRExpr_ITE(IRExpr_RdTmp(ae->u.Itcc.co),   in availExpr_to_IRExpr()
3702       case Itcc:  in subst_AvailExpr()
3703          ae->u.Itcc.co = subst_AvailExpr_Temp( env, ae->u.Itcc.co );  in subst_AvailExpr()
3806                   ae->tag       = Itcc;  in irExpr_to_AvailExpr()
3807                   ae->u.Itcc.co = e->Iex.ITE.cond->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3808                   ae->u.Itcc.con1 = *(e->Iex.ITE.iftrue->Iex.Const.con);  in irExpr_to_AvailExpr()
3809                   ae->u.Itcc.con0 = *(e->Iex.ITE.iffalse->Iex.Const.con);  in irExpr_to_AvailExpr()