aqjune added inline comments.
================ Comment at: llvm/test/Transforms/InstCombine/or.ll:1102 +; CHECK-NEXT: [[AND:%.*]] = select i1 [[Y]], i1 [[X]], i1 false +; CHECK-NEXT: [[OR:%.*]] = select i1 [[X_INV]], i1 true, i1 [[AND]] ; CHECK-NEXT: ret i1 [[OR]] ---------------- nikic wrote: > Can be salvaged: https://alive2.llvm.org/ce/z/-STJ2d > > I thought this was already covered by one of the folds though... No, it didn't exist. I think there are too many possible combinations here. It should be reduced into more compact code someday... Made a patch here: D101807 Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D101191/new/ https://reviews.llvm.org/D101191 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits