llvm-project

da8d1b52 - [MLIR][Presburger] Fix simplify() of IntegerRelation (#181469)

[MLIR][Presburger] Fix simplify() of IntegerRelation (#181469) In `simplify()`, we currently skip all columns from 0 to `firstVar` (the column of the pivot) when we eliminate inequalities. This is invalid, because unlike equalities, it is not guaranteed that these columns contain only zeroes, and a scale by `rowMultiplier` cannot be ignored. We must not skip any columns for inequalities.