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

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev reclaimed this revision.
mkazantsev added a comment.

It seems that there is no way that SCEV can now both make this query and return true for it. I'm currently building a chain of patch that will fix the query responds. Hopefully with them we will be able to construct a test for it.

Or can we just merge it basing on obviousness of this logic?


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

https://reviews.llvm.org/D87890