[Mlir-commits] [mlir] [MLIR][Presburger] Implement PresburgerRelation::convertVarKind and a… (PR #66104)

[Kunwar Grover]

Groverkss wrote:

> I noticed while implementing this that the interface for `IntegerRelation::convertVarKind` is slightly different from `PresburgerSpace::convertVarKind` from @Groverkss's recent [d222b69](https://github.com/llvm/llvm-project/commit/d222b69093d69e034b7f01d9ceedce28d48fbb0c) commit. I feel it is worth making them consistent, let me know what you think @Superty @Groverkss.

IntegerRelation::convertVarKind needs to be changed to be consistent with PresburgerSpace.

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