[PATCH] D88087: [SCEV] Limited support for unsigned preds in isImpliedViaOperations

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

..The only problem is that it is not possible to create a test for which `isKnownNonNegative` would actually return true for `LHS` beign `a + b`.


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

https://reviews.llvm.org/D88087