[PATCH] D149510: [ValueTracking] add UGT/UGE and lshr case in imply icmp
Noah Goldstein via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sat Apr 29 08:39:45 PDT 2023
goldstein.w.n added inline comments.
================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:8004
+ if (isTruePredicate(CmpInst::ICMP_ULE, ALHS, BLHS, DL, Depth) &&
+ isTruePredicate(CmpInst::ICMP_ULE, BRHS, ARHS, DL, Depth))
+ return true;
----------------
nit: fmt.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D149510/new/
https://reviews.llvm.org/D149510
More information about the llvm-commits
mailing list