Lines Matching refs:tyenv
2050 IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64);2051 IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64);