[all-commits] [llvm/llvm-project] 5f22f2: [MLIR] Use IntegerPolyhedron in Simplex instead of...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5f22f248d85726f6dd0a056189424949020f28b2
      https://github.com/llvm/llvm-project/commit/5f22f248d85726f6dd0a056189424949020f28b2
  Author: Groverkss <groverkss at gmail.com>
  Date:   2021-12-27 (Mon, 27 Dec 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/Simplex.h
    M mlir/lib/Analysis/Presburger/Simplex.cpp
    M mlir/lib/Analysis/PresburgerSet.cpp
    M mlir/unittests/Analysis/Presburger/SimplexTest.cpp

  Log Message:
  -----------
  [MLIR] Use IntegerPolyhedron in Simplex instead of FlatAffineConstraints

This patch replaces usage of FlatAffineConstraints in Simplex with
IntegerPolyhedron. This removes dependency of Simplex on FlatAffineConstraints
and puts it on IntegerPolyhedron, which is part of Presburger library.

Reviewed By: arjunp

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