[all-commits] [llvm/llvm-project] 4bf9cb: [MLIR][Presburger] subtract: improve redundant con...

[Arjun P via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4bf9cbc408a3fb1539aeb7a5a5b6b2a86363bc53
      https://github.com/llvm/llvm-project/commit/4bf9cbc408a3fb1539aeb7a5a5b6b2a86363bc53
  Author: Arjun P <arjunpitchanathan at gmail.com>
  Date:   2022-06-08 (Wed, 08 Jun 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/Simplex.h
    M mlir/lib/Analysis/Presburger/PresburgerRelation.cpp
    M mlir/lib/Analysis/Presburger/Simplex.cpp
    M mlir/unittests/Analysis/Presburger/PresburgerSetTest.cpp

  Log Message:
  -----------
  [MLIR][Presburger] subtract: improve redundant constraint detection

When constraints in the two operands make each other redundant, prefer constraints of the second because this affects the number of sets in the output at each level; reducing these can help prevent exponential blowup.

This is accomplished by adding extra overloads to Simplex::detectRedundant that only scan a subrange of the constraints for redundancy.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D127237