[PATCH] D123453: [InstCombine] Fold mul nuw+lshr exact to a single multiplication when the latter is a factor

[Craig Topper via Phabricator via llvm-commits]

craig.topper added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp:1176
+
+      // lshr exact (mul nuw x, c * (1 << ShAmtC)), ShAmtC -> mul nuw, c
+      if (Op0->hasOneUse() && I.isExact()) {
----------------
c * (1 << ShAmtC) is (c << ShAmtC) isn't it?


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

https://reviews.llvm.org/D123453