We can prove more facts if we have knowledge about dominating checks.
Details
Details
Diff Detail
Diff Detail
Event Timeline
mkazantsev mentioned this in D87832: [IndVars] Remove monotonic checks with unknown exit count.Sep 21 2020, 1:17 AM
mkazantsev removed a parent revision: D87832: [IndVars] Remove monotonic checks with unknown exit count.
mkazantsev removed a parent revision: D87833: [SCEV][NFC] Introduce isKnownPredicateAt method.Sep 21 2020, 1:57 AM