Home | History | Annotate | Download | only in exp-dhat

Lines Matching refs:tyenv

785    IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64);
786    IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64);
811    tyAddr = typeOfIRExpr( sbOut->tyenv, addr );
837    IRTemp sp = newIRTemp(sbOut->tyenv, tyAddr);
840    IRTemp sp_minus_rz = newIRTemp(sbOut->tyenv, tyAddr);
849    IRTemp diff = newIRTemp(sbOut->tyenv, tyAddr);
858    IRTemp guard = newIRTemp(sbOut->tyenv, Ity_I1);
881    IRTypeEnv* tyenv = sbIn->tyenv;
937                          sizeofIRType(typeOfIRExpr(tyenv, data)),
977             dataSize = sizeofIRType(typeOfIRExpr(tyenv, cas->dataLo));
991                dataTy = typeOfIRTemp(tyenv, st->Ist.LLSC.result);
997                dataTy = typeOfIRExpr(tyenv, st->Ist.LLSC.storedata);