Lines Matching refs:Ity_I1
4273 IRTemp res = newIRTemp(sbOut->tyenv, Ity_I1);4425 IRTemp guardA = newIRTemp(sbOut->tyenv, Ity_I1);