Lines Matching refs:typeOfIRTemp
1628 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1639 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1667 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1674 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
6611 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
6630 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);