[Mlir-commits] [mlir] [mlir][presburger] Optimize the compilation time for calculating bounds of an Integer Relation (PR #164199)

[Arjun P]

Superty wrote:

Hi @cxy-1993, in "Prune constraints that are irrelevant to the target variable.", how is irrelevant defined?

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