[Mlir-commits] [mlir] [mlir][arith] Fold trivial integer division and remainder (PR #212074)

[Ivan Butygin]

Hardcode84 wrote:

Folding `div(x, 0) -> poison` may be more profitable, but then we have an ordering problem between `div(x, x)` and `div(x, 0)` foldings. Can you check alive2 and llvm proper if 1. poison folding is actually allowed, 2. how they handle ordering.

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