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

[Sanjay Patel via Phabricator via llvm-commits]

spatel accepted this revision.
spatel added a comment.
This revision is now accepted and ready to land.

LGTM - but please add a TODO comment that other (maybe all) of the similar transforms near here could be enhanced in the same way. And so we probably want to wrap the matchers or create a new matcher that works with both logical and bitwise ops.


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

https://reviews.llvm.org/D137435