[Mlir-commits] [mlir] [mlir][arith] fix ceildivsi lowering (PR #106696)

[Joachim Giron]

jgiron42 wrote:

@kuhar I'm not sure of what I can do with this script, It was made to check canonicalization but this fix is only about arith lowering.
I can use alive to check the generated code against a reference version of a ceiling division function (like [this](https://alive2.llvm.org/ce/z/rACM-s)) but I don't think that this script will be of much help in this case.

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