Lines Matching refs:typeOfIRTemp
1522 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1533 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1561 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1568 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
6257 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
6276 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);