[all-commits] [llvm/llvm-project] 0d12c9: [MLIR] Add mergeLocalIds and mergeSymbolIds

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0d12c99191de5736a2a49e99121ed8059cb7afd3
      https://github.com/llvm/llvm-project/commit/0d12c99191de5736a2a49e99121ed8059cb7afd3
  Author: Kunwar Shaanjeet Singh Grover <groverkss at gmail.com>
  Date:   2021-09-21 (Tue, 21 Sep 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/AffineStructures.h
    M mlir/lib/Analysis/AffineStructures.cpp

  Log Message:
  -----------
  [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