Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_I1

737    vassert(typeOfIRExpr(irsb->tyenv,x) == Ity_I1);
738    vassert(typeOfIRExpr(irsb->tyenv,y) == Ity_I1);
986    IRTemp guardB = newTemp(Ity_I1);
2575       IRTemp rot_amt32b = newTemp(Ity_I1);
3701    IRTemp in_range_and_finite = newTemp(Ity_I1);
6470    IRTemp srcB  = newTemp(Ity_I1);
6652    IRTemp cond  = newTemp(Ity_I1);
14747          IRTemp success   = newTemp(Ity_I1);