[llvm] [InstCombine] lshr (mul (X, 2^N + 1)), N -> add (X, lshr(X, N)) (PR #93572)

[via llvm-commits]

AtariDreams wrote:

> I mistakenly reverted the original patch as part of a larger set of reverts. I've now reapplied the original patch in https://github.com/llvm/llvm-project/commit/718ba5a58452f013f40fab94f967064919bf13ff. This PR seems to again contain additional changes -- please open a new PR with those, on top of the relanded patch.

My bad. I thought you retroactively rejected it. 

https://github.com/llvm/llvm-project/pull/93572