[PATCH] D109194: [InstCombine] Optimize (a & b) | (~a & c)

[Matthias Braun via Phabricator via llvm-commits]

MatzeB added a subscriber: echristo.
MatzeB added a comment.

So @lebedev.ri if I did my history research correctly, then the pattern in my patch here has also been part of https://reviews.llvm.org/D46814. That diff however was reverted in the meantime (see https://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20180528/556578.html @echristo) because of undef behavior? My version here adds a `freeze` instruction (thanks to alive2.llvm.org for catching this or I would have missed that subtlety too!).

So maybe it this is ok now?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109194