[MLIR][Presburger] Merge PresburgerLocalSpace and PresburgerSpace
authorGroverkss <groverkss@gmail.com>
Thu, 24 Mar 2022 23:46:48 +0000 (05:16 +0530)
committerGroverkss <groverkss@gmail.com>
Fri, 25 Mar 2022 00:06:32 +0000 (05:36 +0530)
commitfcbe64ddb8f915c240ee00e7984d8ca18b1ad424
tree331c595217e6ed8767d66ddbba00d8ee5c2d5e2f
parent3c6bd176fb898352aaa03facdd4626af9043884a
[MLIR][Presburger] Merge PresburgerLocalSpace and PresburgerSpace

This patch is a cleanup patch that merges PresburgerLocalSpace and
PresburgerSpace. Asserting that there are no locals is shifted to the
users of PresburgerSpace themselves.

The reasoning for this patch is that PresburgerLocalSpace did not contribute
much and only introduced additional complexity as locals could still be present
in PresburgerSpace, just not writable. This could introduce problems if a
PresburgerSpace with locals was copied to PresburgerLocalSpace which expected
no locals in a PresburgerSpace.

Reviewed By: arjunp

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