[PATCH] D131142: [InstCombine] Canonicalize "and, add", "or, add", "xor, add"

[Eric Gullufsen via Phabricator via llvm-commits]

emgullufsen added a comment.

In D131142#3752110 <https://reviews.llvm.org/D131142#3752110>, @spatel wrote:

> This seems right, but can you verify with Alive2 and add the links to the patch summary.
> If I modeled the code correctly, it looks like this for or/xor:
> https://alive2.llvm.org/ce/z/BhAeCl
> ...and needs a small adjustment for 'and'.

Oh shoot I had meant to include alive2 proofs - sorry for that - will get patch summary updated.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D131142