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

[chenglin.bi via Phabricator via llvm-commits]

bcl5980 added a comment.

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?


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

https://reviews.llvm.org/D123453