[MLIR] Add mergeLocalIds and mergeSymbolIds
authorKunwar Shaanjeet Singh Grover <groverkss@gmail.com>
Tue, 21 Sep 2021 07:29:49 +0000 (12:59 +0530)
committerArjun P <arjunpitchanathan@gmail.com>
Tue, 21 Sep 2021 07:32:23 +0000 (13:02 +0530)
commit0d12c99191de5736a2a49e99121ed8059cb7afd3
treec458eded81f58d5cbfb036ee7a65de9b26dd09bb
parentd87d1aa07612116a5c2a660f678856d3bda94f46
[MLIR] Add mergeLocalIds and mergeSymbolIds

This patch adds mergeLocalIds andmergeSymbolIds as public functions
for FlatAffineConstraints and FlatAffineValueConstraints respectively.

mergeLocalIds is also required to support divisions in intersection,
subtraction, equality checks, and complement for PresburgerSet.

This patch is part of a series of patches aimed at generalizing affine
dependence analysis.

Reviewed By: bondhugula

Differential Revision: https://reviews.llvm.org/D110045
mlir/include/mlir/Analysis/AffineStructures.h
mlir/lib/Analysis/AffineStructures.cpp