[PATCH] D104741: [SCEV] Support single-cond range check idiom in applyLoopGuards.
Roman Lebedev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 23 08:20:21 PDT 2021
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
More information about the llvm-commits
mailing list