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);