Home | History | Annotate | Download | only in priv

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);