[all-commits] [llvm/llvm-project] 0a06ac: [MLIR][Affine][Analysis] Merge FAC and FACV

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0a06ac749b3a9624140c6d5a74d90de1d86164b1
      https://github.com/llvm/llvm-project/commit/0a06ac749b3a9624140c6d5a74d90de1d86164b1
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-04-06 (Wed, 06 Apr 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Analysis/AffineStructures.h
    M mlir/lib/Dialect/Affine/Analysis/AffineAnalysis.cpp
    M mlir/lib/Dialect/Affine/Analysis/AffineStructures.cpp
    M mlir/lib/Dialect/Affine/Analysis/Utils.cpp
    M mlir/lib/Dialect/Affine/Utils/LoopUtils.cpp
    M mlir/lib/Dialect/Affine/Utils/Utils.cpp
    M mlir/lib/Dialect/Linalg/Utils/Utils.cpp
    M mlir/lib/Dialect/SCF/Utils/AffineCanonicalizationUtils.cpp
    M mlir/unittests/Dialect/Affine/Analysis/AffineStructuresParser.cpp
    M mlir/unittests/Dialect/Affine/Analysis/AffineStructuresParser.h
    M mlir/unittests/Dialect/Affine/Analysis/AffineStructuresParserTest.cpp

  Log Message:
  -----------
  [MLIR][Affine][Analysis] Merge FAC and FACV

With the introduction of IntegerPolyhedron and IntegerRelation in Presburger
directory, the purpose of FlatAffineConstraints becomes redundant. For users
requiring Presburger arithmetic without IR information, Presburger library can
directly be used. For users requiring IR information,
FlatAffineValueConstraints can be used.

This patch merges FAC and FACV to remove redundancy of FAC.

Reviewed By: arjunp

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