[llvm] [InstCombine] fold add(zext(udiv(A,C)), zext(icmp ne(urem(A,C),0))) -> zext(udiv(A+C-1,C)) (PR #187890)

[Takashi Idobe via llvm-commits]

Takashiidobe wrote:

Alive2 link: https://alive2.llvm.org/ce/z/ueaBkb
It doesn't look like this implementation really catches div_ceil, it catches add + div_ceil which isn't broad enough imo. Going to close this and rethink this some more.

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