[all-commits] [llvm/llvm-project] e11919: [MLIR][Presburger] Add support for IntegerRelation

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e1191965da38b5f9e8ce29becfef9e35c3730109
      https://github.com/llvm/llvm-project/commit/e1191965da38b5f9e8ce29becfef9e35c3730109
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-02-22 (Tue, 22 Feb 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h
    M mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h

  Log Message:
  -----------
  [MLIR][Presburger] Add support for IntegerRelation

This patch adds a class to represent a relation in Presburger Library.

This patch only adds the skeleton class. Functionality from IntegerPolyhedron
will be moved to IntegerRelation in later patches to make it easier to review.

This patch is a part of a series of patches adding support for relations in
Presburger Library.

Reviewed By: arjunp

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