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

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n marked 3 inline comments as done.
goldstein.w.n added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:943
       break;
+    case ICmpInst::ICMP_NE:
+      // assume (v & b != 0) where b is a power of 2
----------------
nikic wrote:
> Huh, I would have expected this to require `{}` due to the variable declaration.
Added braces.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140851