[llvm] [InstCombine] Fold mul (lshr exact (X, N)), 2^N + 1 -> add (X , lshr exact (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?
> 
> > > 
> 
> > > 
> 
> > > Im not sure what you are asking.
> 
> > 
> 
> > See:
> 
> 
> 
> 
> 
> As a general rule, don't create more instructions. So in that case, req oneuse.

And what about the freeze? Does that count? 

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