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

Lines Matching defs:tyenv

786    IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64);
787    IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64);
812    tyAddr = typeOfIRExpr( sbOut->tyenv, addr );
838    IRTemp sp = newIRTemp(sbOut->tyenv, tyAddr);
841    IRTemp sp_minus_rz = newIRTemp(sbOut->tyenv, tyAddr);
850    IRTemp diff = newIRTemp(sbOut->tyenv, tyAddr);
859    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);