[PATCH] D142783: [InstCombine][LV][WIP] Fold (add (zext (add X, -1)), 1) -> (zext X) if X is non-zero.

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp:982
+    if (match(Op0, m_ZExt(m_Add(m_Value(X), m_AllOnes())))) {
+      // TODO: Can we use the inner add as the context? Is that better?
+      const SimplifyQuery Q = SQ.getWithInstruction(&Add);
----------------
The outer add is better.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142783