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

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri May 27 00:49:47 PDT 2022


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



More information about the llvm-commits mailing list