[mlir][Presburger] Introduce Domain and Range identifiers in PresburgerSpace
authorGroverkss <groverkss@gmail.com>
Fri, 18 Feb 2022 18:54:18 +0000 (00:24 +0530)
committerGroverkss <groverkss@gmail.com>
Fri, 18 Feb 2022 19:00:58 +0000 (00:30 +0530)
commiteae62b226630377e7b88ed019fa3b6c7cec12fd8
treed9131885fe40b839a64f95e80c3ec8e2a44b6307
parent3ad0bdae8f0b2dbf2ddc8505ccebc921b39c1af4
[mlir][Presburger] Introduce Domain and Range identifiers in PresburgerSpace

This patch introducing seperating dimensions into two types: Domain and Range.
This allows building relations over PresburgerSpace.

This patch is part of a series of patches to introduce relations in Presburger
library.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D119709
mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
mlir/lib/Analysis/Presburger/PresburgerSpace.cpp
mlir/lib/Dialect/Affine/Analysis/AffineStructures.cpp
mlir/unittests/Analysis/Presburger/CMakeLists.txt
mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp
mlir/unittests/Analysis/Presburger/PresburgerSpaceTest.cpp [new file with mode: 0644]