[MLIR][Prebsurger] Add IntegerRelation::intersect supporting locals properly
authorArjun P <arjunpitchanathan@gmail.com>
Thu, 17 Mar 2022 22:25:40 +0000 (22:25 +0000)
committerArjun P <arjunpitchanathan@gmail.com>
Tue, 22 Mar 2022 13:13:56 +0000 (13:13 +0000)
commitb68e78cea65faef45342a2af420b32877413e9c5
treec8d6000d54ced49dabf284a6e9d1193bf4ec7958
parent7f6112496b9bb97648e1cee8e9059528e2f5b1a8
[MLIR][Prebsurger] Add IntegerRelation::intersect supporting locals properly

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D122149
mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
mlir/lib/Analysis/Presburger/IntegerRelation.cpp
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp