Lines Matching refs:typeOfIRTemp
1395 vassert(typeOfIRTemp(irsb->tyenv, t_dep1 == Ity_I64));1396 vassert(typeOfIRTemp(irsb->tyenv, t_dep2 == Ity_I64));1397 vassert(typeOfIRTemp(irsb->tyenv, t_ndep == Ity_I64));