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

[via llvm-commits]

AtariDreams wrote:

Okay so if the IR just repeats I guess I can remove one use but what if there's frozen involved @goldsteinn 

Then it should be one use no?

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