[llvm] [InstCombineCompare] Use known bits to insert assume intrinsics. (PR #96017)

[Mikhail Gudim via llvm-commits]

mgudim wrote:

> it creates extra uses: https://godbolt.org/z/xecq1YEda

> which inturn block a fair number of optimizations.

Got it, thanks for the example.


> We could theoretically add some infrastructure for discounting assume uses (or maybe simpler in this case, to only do this if %x is not an instruction or has more than some threshold of uses where we don't expect it to ever become single-use).

Good idea, I can look into that. 


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