Searched refs:RecomputedDisposition (Results 1 – 1 of 1) sorted by relevance
14249 const auto RecomputedDisposition = SE2.getLoopDisposition(S, Loop); in verify() local14250 if (CachedDisposition != RecomputedDisposition) { in verify()14254 << loopDispositionToStr(RecomputedDisposition) << "\n"; in verify()14263 const auto RecomputedDisposition = SE2.getBlockDisposition(S, BB); in verify() local14264 if (CachedDisposition != RecomputedDisposition) { in verify()