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

[Matthias Braun via Phabricator via llvm-commits]

MatzeB added a comment.

And for the record: It's easy enough to prove this correct with value tables and alive. Though I can't currently figure out a way to deduce this formula myself so there may be generalizations or underlying principles that I am missing...


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109194