3424       enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt,  enumerator
3438          } Btt;  member
3511       case Btt:   in eq_AvailExpr()
3513                 a1->u.Btt.op == a2->u.Btt.op  in eq_AvailExpr()
3514                 && a1->u.Btt.arg1 == a2->u.Btt.arg1  in eq_AvailExpr()
3515                 && a1->u.Btt.arg2 == a2->u.Btt.arg2);  in eq_AvailExpr()
3582       case Btt:  in availExpr_to_IRExpr()
3583          return IRExpr_Binop( ae->u.Btt.op,  in availExpr_to_IRExpr()
3584                               IRExpr_RdTmp(ae->u.Btt.arg1),  in availExpr_to_IRExpr()
3585                               IRExpr_RdTmp(ae->u.Btt.arg2) );  in availExpr_to_IRExpr()
3677       case Btt:  in subst_AvailExpr()
3678          ae->u.Btt.arg1 = subst_AvailExpr_Temp( env, ae->u.Btt.arg1 );  in subst_AvailExpr()
3679          ae->u.Btt.arg2 = subst_AvailExpr_Temp( env, ae->u.Btt.arg2 );  in subst_AvailExpr()
3742                ae->tag        = Btt;  in irExpr_to_AvailExpr()
3743                ae->u.Btt.op   = e->Iex.Binop.op;  in irExpr_to_AvailExpr()
3744                ae->u.Btt.arg1 = e->Iex.Binop.arg1->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3745                ae->u.Btt.arg2 = e->Iex.Binop.arg2->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()