Lines Matching refs:tyenv
4407 IRTemp wide1 = newIRTemp(sbOut->tyenv, Ity_I32); in mk_And1()
4408 IRTemp wide2 = newIRTemp(sbOut->tyenv, Ity_I32); in mk_And1()
4409 IRTemp anded = newIRTemp(sbOut->tyenv, Ity_I32); in mk_And1()
4410 IRTemp res = newIRTemp(sbOut->tyenv, Ity_I1); in mk_And1()
4442 tyAddr = typeOfIRExpr( sbOut->tyenv, addr ); in instrument_mem_access()
4538 IRTemp sp = newIRTemp(sbOut->tyenv, tyAddr); in instrument_mem_access()
4542 IRTemp addr_minus_sp = newIRTemp(sbOut->tyenv, tyAddr); in instrument_mem_access()
4552 IRTemp diff = newIRTemp(sbOut->tyenv, tyAddr); in instrument_mem_access()
4562 IRTemp guardA = newIRTemp(sbOut->tyenv, Ity_I1); in instrument_mem_access()
4648 bbOut->tyenv = deepCopyIRTypeEnv(bbIn->tyenv); in hg_instrument()
4728 * sizeofIRType(typeOfIRExpr(bbIn->tyenv, cas->dataLo)), in hg_instrument()
4744 dataTy = typeOfIRTemp(bbIn->tyenv, st->Ist.LLSC.result); in hg_instrument()
4767 sizeofIRType(typeOfIRExpr(bbIn->tyenv, st->Ist.Store.data)), in hg_instrument()
4779 IRType type = typeOfIRExpr(bbIn->tyenv, data); in hg_instrument()