Lines Matching defs:tyenv
912 tl_assert(typeOfIRExpr(cgs->sbOut->tyenv, guard)
932 tl_assert(typeOfIRExpr(cgs->sbOut->tyenv, whereTo)
961 IRTypeEnv* tyenv = sbIn->tyenv;
1051 sizeofIRType(typeOfIRExpr(tyenv, data)), aexpr );
1090 dataSize = sizeofIRType(typeOfIRExpr(tyenv, cas->dataLo));
1105 dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result);
1110 dataTy = typeOfIRExpr(tyenv, st->Ist.LLSC.storedata);
1132 IRTemp guard1 = newIRTemp(cgs.sbOut->tyenv, Ity_I1);
1133 IRTemp guardW = newIRTemp(cgs.sbOut->tyenv, tyW);
1134 IRTemp guard = newIRTemp(cgs.sbOut->tyenv, tyW);