[llvm] [InstCombine] Fold zext(X) + C2 pred C -> X + C3 pred C4 (PR #110511)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Is this intentionally still in draft form? Or are you ready for review?

It is ready for review now. I believe I cannot generalize it further without new ConstantRange API.


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