llvm-project

dc0fa08d - [MLIR][Presburger] optimize bound computation by pruning orthogonal constraints (#164199)

[MLIR][Presburger] optimize bound computation by pruning orthogonal constraints (#164199) IntegerRelation uses Fourier-Motzkin elimination and Gaussian elimination to simplify constraints. These methods may repeatedly perform calculations and elimination on irrelevant variables. Preemptively eliminating irrelevant variables and their associated constraints can speed up up the calculation process.