[Mlir-commits] [mlir] [MLIR][Index] Restrict subtraction comparison canonicalization (PR #216831)

[Fabian Mora]

https://github.com/fabianmcg approved this pull request.

Thank you for the PR!
LGTM! Consider adding a small example of the behavior in the PR description to make it more readable, eg. `(-2^32 - 1 -> 2^32 -1) < 0 -> False` is not equal to `-2^31 < - 1 -> True`.  Also, please rebase the PR to main to trigger the CI.

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