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

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

The code doesn't match the proofs (the proofs have freeze instructions, the code does not).

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