[PATCH] D137435: [InstSimplify] (~A & B) | ~(A | B) --> ~A with logical and

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

I wonder if we could replace all of the matchers in this whole function. We can't leak poison when simplifying to an existing value? This will need a pile of tests...

Also, if any logic expression folds to a constant, then a transform must be safe to match with logical and/or sub-expressions too?


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

https://reviews.llvm.org/D137435