[all-commits] [llvm/llvm-project] 3be3c9: [MLIR] FlatAffineConstraints: Ensure dimensionalit...

[Kunwar Shaanjeet Singh Grover via All-commits]

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

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

  Log Message:
  -----------
  [MLIR] FlatAffineConstraints: Ensure dimensionalities match when calling mergeLocalIds

This patch reorders mergeLocalIds usage to merge locals only after number of
dimensions and symbols are same. This does not change any functionality
because it does not matter in what order identifiers are merged, since
the reason to do it is to ensure that two FACs are aligned.

The order ensured in this patch simplifies a subsequent patch to improve
mergeLocalIds which requires dimensions and symbols to be aligned.

Reviewed By: bondhugula

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