[PATCH] D133188: [InstCombine] extractvalue (any_mul_with_overflow X, 2^n), 0 -> X << n

[Chenbing.Zheng via Phabricator via llvm-commits]

Chenbing.Zheng added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:3259
   const APInt *C = nullptr;
   if (match(WO->getRHS(), m_APIntAllowUndef(C))) {
+    if (*EV.idx_begin() == 0 && (OvID == Intrinsic::smul_with_overflow ||
----------------
RKSimon wrote:
> m_AllOnes ?
We don't just deal with AllOnes


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D133188