[PATCH] D104741: [SCEV] Support single-cond range check idiom in applyLoopGuards.

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

LG in general



================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:13660-13661
 
+    // Check for a condition of the form (X - C1) < C2.  InstCombine will create
+    // this form when combining two checks of the form x u<= C2 and x >=u C1.
+    auto MatchRangeCheckIdiom = [this, Predicate, LHS, RHS, &RewriteMap]() {
----------------
This comment doesn't make sense right now.
https://godbolt.org/z/n7qqsTY9e


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104741