[PATCH] D139253: [InstCombine] fold more icmp + select patterns by distributive laws

[chenglin.bi via Phabricator via llvm-commits]

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]]
----------------
bcl5980 wrote:
> spatel wrote:
> > This is not correct.
> Ah, Thanks for finding the case.
Can I ask you how could you find that? Local alive2?


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

https://reviews.llvm.org/D139253