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