[all-commits] [llvm/llvm-project] 770353: [MLIR] The return type in the `computeSingleVarRep...

[Prashant Kumar via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 770353cd94f829f5013e21d8846d516b8cb095a2
      https://github.com/llvm/llvm-project/commit/770353cd94f829f5013e21d8846d516b8cb095a2
  Author: Prashant Kumar <pk5561 at gmail.com>
  Date:   2022-01-20 (Thu, 20 Jan 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h
    M mlir/include/mlir/Analysis/Presburger/Utils.h
    M mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
    M mlir/lib/Analysis/Presburger/PresburgerSet.cpp
    M mlir/lib/Analysis/Presburger/Utils.cpp
    M mlir/lib/Dialect/Affine/Analysis/AffineStructures.cpp

  Log Message:
  -----------
  [MLIR] The return type in the `computeSingleVarRepr` function is modified to include equality expressions.

Earlier `computeSingleVarRepr` was returning a pair of upper bound and
lower bound indices of the inequality contraints that can be expressed
as a floordiv of an affine function. The equality expression can also be
expressed as a floordiv but contains only one index and hence the `LocalRepr`
class is introduced to facilitate this.

Reviewed By: Groverkss

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