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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

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

I mean "generalized" proof. The proof should replace specific constants (excluding bitwidth) with parameters and preconditions. See https://llvm.org/docs/InstCombineContributorGuide.html#use-generic-values-in-proofs


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