[PATCH] D140851: [Patch 3/4]: Add cases for assume (X & Y != {0|Y})

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added a comment.

Note:

I have not verified the transformations in this patch individually, I verified the net changes from D140850 <https://reviews.llvm.org/D140850>, D140851 <https://reviews.llvm.org/D140851>, and D140852 <https://reviews.llvm.org/D140852> in bulk.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140851