Lines Matching refs:typeOfIRTemp
1135 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);1158 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);1189 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);1212 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);7634 vassert(typeOfIRTemp(irsb->tyenv,t1) == Ity_I32);