[MLIR][Presburger] Implement domain and range restriction for PresburgerRelation
authoriambrj <joshibharathiramana@gmail.com>
Tue, 18 Jul 2023 13:36:30 +0000 (19:06 +0530)
committerGroverkss <groverkss@gmail.com>
Tue, 18 Jul 2023 13:42:12 +0000 (19:12 +0530)
commit3dd9931c0f6fa9a69c3297329611c23e8cbe5043
treecc73e9830e63eec16c11f7bd8c8efdab525866dd
parent6236bf53418eb23c62a73d6346f0edec914084e7
[MLIR][Presburger] Implement domain and range restriction for PresburgerRelation

This patch implements domain and range restriction for PresburgerRelation

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D154798
mlir/include/mlir/Analysis/Presburger/PresburgerRelation.h
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp
mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp