[all-commits] [llvm/llvm-project] 6ebeba: Support emptiness checks for unbounded FlatAffineC...

[Arjun P via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6ebeba88f51959d763a8f274cdfecea46d51d28c
      https://github.com/llvm/llvm-project/commit/6ebeba88f51959d763a8f274cdfecea46d51d28c
  Author: Arjun P <arjunpitchanathan at gmail.com>
  Date:   2021-01-14 (Thu, 14 Jan 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/AffineStructures.h
    A mlir/include/mlir/Analysis/LinearTransform.h
    M mlir/include/mlir/Analysis/Presburger/Fraction.h
    M mlir/include/mlir/Analysis/Presburger/Matrix.h
    M mlir/include/mlir/Analysis/Presburger/Simplex.h
    M mlir/lib/Analysis/AffineStructures.cpp
    M mlir/lib/Analysis/CMakeLists.txt
    A mlir/lib/Analysis/LinearTransform.cpp
    M mlir/lib/Analysis/Presburger/CMakeLists.txt
    M mlir/lib/Analysis/Presburger/Matrix.cpp
    M mlir/lib/Analysis/Presburger/Simplex.cpp
    M mlir/unittests/Analysis/AffineStructuresTest.cpp
    M mlir/unittests/Analysis/CMakeLists.txt
    A mlir/unittests/Analysis/LinearTransformTest.cpp

  Log Message:
  -----------
  Support emptiness checks for unbounded FlatAffineConstraints.

With this, we have complete support for emptiness checks. This also paves the way for future support to check if two FlatAffineConstraints are equal.

Reviewed By: ftynse

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