[PATCH] D42835: [SCEV] Make isLoopEntryGuardedByCond a bit smarter

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/trunk/lib/Analysis/ScalarEvolution.cpp:9091
+        isKnownPredicateViaConstantRanges(ICmpInst::ICMP_NE, LHS, RHS);
+    assert((!ProvedNonStrictComparison || !ProvedNonEquality) &&
+           "Why we were unable to prove (Pred, LHS, RHS) via constant ranges?");
----------------
This assert fails, meaning that the logic of `isKnownPredicateViaConstantRanges` may be somehow incomplete. We can safely return true here, though.


Repository:
  rL LLVM

https://reviews.llvm.org/D42835