[PATCH] D87890: [SCEV] Handle `less` predicates for FoundPred = NE

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:9725
+
+        // `LHS < RHS` is handled in the same way as `RHS > LHS`.
+        case ICmpInst::ICMP_SLE:
----------------
fhahn wrote:
> nit: Might be good to mention both the LE & LT variants and say that both `LHS <= RHS` and `LHS < RHS` are handled in the same way as `RHS >= LHS` and `RHS > LHS` respectively.
Ok.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D87890/new/

https://reviews.llvm.org/D87890