[MLIR][Presburger] Add intersectDomain/Range to IntegerRelation
authorGroverkss <groverkss@gmail.com>
Fri, 27 May 2022 10:21:40 +0000 (15:51 +0530)
committerGroverkss <groverkss@gmail.com>
Fri, 27 May 2022 10:21:54 +0000 (15:51 +0530)
commitf168a65943f934bcb161e01a600b9bb4e4340c24
tree402adfa53ea7891c89b1848f6934e77583f37f57
parent7df25978ef7882a3d793eecee854ec5d961c02d2
[MLIR][Presburger] Add intersectDomain/Range to IntegerRelation

This patch adds support for intersection a set with a relation.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D126328
mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
mlir/lib/Analysis/Presburger/IntegerRelation.cpp
mlir/unittests/Analysis/Presburger/IntegerRelationTest.cpp