3424       enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt,  enumerator
3444          } Btc;  member
3516       case Btc:   in eq_AvailExpr()
3518                 a1->u.Btc.op == a2->u.Btc.op  in eq_AvailExpr()
3519                 && a1->u.Btc.arg1 == a2->u.Btc.arg1  in eq_AvailExpr()
3520                 && eqIRConst(&a1->u.Btc.con2, &a2->u.Btc.con2));  in eq_AvailExpr()
3586       case Btc:  in availExpr_to_IRExpr()
3588          *con = ae->u.Btc.con2;  in availExpr_to_IRExpr()
3589          return IRExpr_Binop( ae->u.Btc.op,  in availExpr_to_IRExpr()
3590                               IRExpr_RdTmp(ae->u.Btc.arg1),   in availExpr_to_IRExpr()
3681       case Btc:  in subst_AvailExpr()
3682          ae->u.Btc.arg1 = subst_AvailExpr_Temp( env, ae->u.Btc.arg1 );  in subst_AvailExpr()
3750                ae->tag        = Btc;  in irExpr_to_AvailExpr()
3751                ae->u.Btc.op   = e->Iex.Binop.op;  in irExpr_to_AvailExpr()
3752                ae->u.Btc.arg1 = e->Iex.Binop.arg1->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3753                ae->u.Btc.con2 = *(e->Iex.Binop.arg2->Iex.Const.con);  in irExpr_to_AvailExpr()