Lines Matching refs:tyenv
721 tl_assert(typeOfIRExpr(clgs->sbOut->tyenv, guard) in addEvent_Bc()
741 tl_assert(typeOfIRExpr(clgs->sbOut->tyenv, whereTo) in addEvent_Bi()
966 IRTypeEnv* tyenv = sbIn->tyenv; in CLG_() local
1066 sizeofIRType(typeOfIRExpr(sbIn->tyenv, data)), aexpr ); in CLG_()
1074 IRType type = typeOfIRExpr(tyenv, data); in CLG_()
1130 dataSize = sizeofIRType(typeOfIRExpr(sbIn->tyenv, cas->dataLo)); in CLG_()
1143 dataTy = typeOfIRTemp(sbIn->tyenv, st->Ist.LLSC.result); in CLG_()
1150 dataTy = typeOfIRExpr(sbIn->tyenv, st->Ist.LLSC.storedata); in CLG_()
1197 IRTemp guard1 = newIRTemp(clgs.sbOut->tyenv, Ity_I1); in CLG_()
1198 IRTemp guardW = newIRTemp(clgs.sbOut->tyenv, tyW); in CLG_()
1199 IRTemp guard = newIRTemp(clgs.sbOut->tyenv, tyW); in CLG_()