[Mlir-commits] [mlir] [mlir][presburger] Preserve relative ordering of symbols and non-symbol vars when setting up SymbolicLexSimplex (PR #119036)

[Christopher Bate]

christopherbate wrote:

The `llvm_unreachable` my downstream tests are hitting seems to be a separate bug in `computeSetDifference` (in the PresburgerRelation implementation) or in `Simplex`. I'll file another issue for that for more details. 

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