[all-commits] [llvm/llvm-project] bb9013: [MLIR][Presburger] Move functionality from Integer...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bb9013555f79fa781a4c3b7cab22836321091f6b
      https://github.com/llvm/llvm-project/commit/bb9013555f79fa781a4c3b7cab22836321091f6b
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-03-02 (Wed, 02 Mar 2022)

  Changed paths:
    R mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h
    A mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
    M mlir/include/mlir/Analysis/Presburger/LinearTransform.h
    M mlir/include/mlir/Analysis/Presburger/PWMAFunction.h
    M mlir/include/mlir/Analysis/Presburger/PresburgerSet.h
    M mlir/include/mlir/Analysis/Presburger/Simplex.h
    M mlir/include/mlir/Analysis/Presburger/Utils.h
    M mlir/include/mlir/Dialect/Affine/Analysis/AffineStructures.h
    M mlir/lib/Analysis/Presburger/CMakeLists.txt
    R mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
    A mlir/lib/Analysis/Presburger/IntegerRelation.cpp
    M mlir/lib/Analysis/Presburger/LinearTransform.cpp
    M mlir/lib/Analysis/Presburger/PresburgerSet.cpp
    M mlir/lib/Analysis/Presburger/PresburgerSpace.cpp
    M mlir/lib/Analysis/Presburger/Simplex.cpp
    M mlir/lib/Analysis/Presburger/Utils.cpp
    M mlir/lib/Dialect/Affine/Analysis/AffineStructures.cpp
    M mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp
    M mlir/unittests/Analysis/Presburger/Utils.h

  Log Message:
  -----------
  [MLIR][Presburger] Move functionality from IntegerPolyhedron to IntegerRelation

This patch moves all functionality from IntegerPolyhedron to IntegerRelation.
IntegerPolyhedron is now implemented as a relation with no domain. All existing
functionality is extended to work on relations.

This patch does not affect external users like FlatAffineConstraints as they
can still continue to use IntegerPolyhedron abstraction.

This patch is part of a series of patches to support relations in Presburger
library.

Reviewed By: arjunp

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