[PATCH] D139253: [InstCombine] fold more icmp + select patterns by distributive laws
chenglin.bi via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 5 07:55:58 PST 2022
bcl5980 added inline comments.
================
Comment at: llvm/test/Transforms/InstCombine/select-cmp.ll:212
+; CHECK-NEXT: [[R_V:%.*]] = select i1 [[C:%.*]], i6 [[Y:%.*]], i6 [[Z:%.*]]
+; CHECK-NEXT: [[R:%.*]] = icmp uge i6 [[R_V]], [[X:%.*]]
+; CHECK-NEXT: ret i1 [[R]]
----------------
spatel wrote:
> This is not correct.
Ah, Thanks for finding the case.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D139253/new/
https://reviews.llvm.org/D139253
More information about the llvm-commits
mailing list