[llvm] InstCombine: improve optimizations for ceiling division with no overflow (PR #142869)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

Can you please provide generalized Alive2 proof?
See also https://llvm.org/docs/InstCombineContributorGuide.html#proofs.


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