Lines Matching refs:IRTemp
1120 IRTemp guard1 = newIRTemp(clgs.sbOut->tyenv, Ity_I1);1121 IRTemp guardW = newIRTemp(clgs.sbOut->tyenv, tyW);1122 IRTemp guard = newIRTemp(clgs.sbOut->tyenv, tyW);