[all-commits] [llvm/llvm-project] f5f592: [MLIR] FlatAffineValueConstraints: Fix bug in merg...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f5f592683f82a78ca53f999716f476f8030863e0
      https://github.com/llvm/llvm-project/commit/f5f592683f82a78ca53f999716f476f8030863e0
  Author: Groverkss <groverkss at gmail.com>
  Date:   2021-10-24 (Sun, 24 Oct 2021)

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

  Log Message:
  -----------
  [MLIR] FlatAffineValueConstraints: Fix bug in mergeSymbolIds

This patch fixes a bug in implementation `mergeSymbolIds` where symbol
identifiers were not unique after merging them. Asserts for checking uniqueness
before and after the merge are also added. The asserts checking uniqueness
after the merge fail without the fix on existing test cases.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D111958