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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D123453#3441114 <https://reviews.llvm.org/D123453#3441114>, @bcl5980 wrote:

> In D123453#3441088 <https://reviews.llvm.org/D123453#3441088>, @lebedev.ri wrote:
>
>> Please can you post the link to the general proof?
>
> I'm sorry but can you help to explain what the general proof is?

The one you linked has hardcoded constants, yet the constants aren't hardcoded in the transform itself.


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

https://reviews.llvm.org/D123453