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

[Alex Gaynor via llvm-commits]

alex wrote:

Oops, sorry the alive2 proof was on the issue: https://alive2.llvm.org/ce/z/Ys4qAy

Let me know if that's not sufficient. Will make the other improvements later this evening.

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