[Mlir-commits] [mlir] [mlir][arith] Fix overflow bug in arith::CeilDivSIOp::fold (PR #90947)

[Mehdi Amini]

joker-eph wrote:

> the fold should handle all defined cases in the dialect doc

This is the TODO we discussed before I believe.

> we either need to make the semantics less defined 

Why? It seems just fine to have "incomplete" or "conservative" folders: these are opportunistic, not guaranteed to fold all possible cases in general.

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