[all-commits] [llvm/llvm-project] 480758: [MLIR][Presburger] Factor out space information to...

[Kunwar Shaanjeet Singh Grover via All-commits]

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

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h
    M mlir/include/mlir/Analysis/Presburger/PWMAFunction.h
    M mlir/include/mlir/Analysis/Presburger/PresburgerSet.h
    A mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
    M mlir/include/mlir/Dialect/Affine/Analysis/AffineStructures.h
    M mlir/lib/Analysis/Presburger/CMakeLists.txt
    M mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
    M mlir/lib/Analysis/Presburger/PresburgerSet.cpp
    A mlir/lib/Analysis/Presburger/PresburgerSpace.cpp

  Log Message:
  -----------
  [MLIR][Presburger] Factor out space information to PresburgerSpace

This patch factors out space information from IntegerPolyhedron, PresburgerSet
and PWMAFunction to PresburgerSpace and its extension with local variables,
PresburgerLocalSpace.

Generally any new data structure additions in Presburger library will require
space information. This patch removes the need to duplicate the space
information.

Reviewed By: arjunp

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