[PATCH] D126040: [InstCombine] Fold a mul with bool value into and

[Noel Grandin via Phabricator via llvm-commits]

grandinj added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp:312
+        match(Op1, m_And(m_Value(Y), m_One())))
+      return BinaryOperator::CreateAnd(Op0, Op1);
+  }
----------------
Surely the more general case is something like:

    if (ComputeMaxSignificantBits(Op0) ==1 ||
        ComputeMaxSignificantBits(Op1)==1)

?



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

https://reviews.llvm.org/D126040