[PATCH] D126503: [SCEV] Use fact that B >u 0 for A <u B in applyLoopGuards.

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Will it still work if `c1` and `c2` are checked in the loop? To me it looks like there is some piece of logic is missing in `isImpliedCondition`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D126503