[PATCH] D100211: [InstCombine] Fold cmpeq/ne(and(~X,Y),0) --> cmpeq/ne(or(freeze(X),Y),X)

[Simon Pilgrim via Phabricator via llvm-commits]

RKSimon added a comment.

The missing middle-end fold was noted on the ticket (PR44136) - this patch is to show what would be necessary.

Limiting this to isGuaranteedNotToBeUndefOrPoison would be safer, although I'm not sure how common the case is tbh. Happy to abandon and close the ticket if this is pointless extra work.

@lebedev.ri any thoughts?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D100211