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

Lines Matching refs:IRTemp

786    IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64);
787    IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64);
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);