[all-commits] [llvm/llvm-project] 978ca8: Canonicalize affine set + operands while adding af...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 978ca8cae26e2a50d18cac7839c304c625a917e6
      https://github.com/llvm/llvm-project/commit/978ca8cae26e2a50d18cac7839c304c625a917e6
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2023-01-12 (Thu, 12 Jan 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Analysis/AffineStructures.h
    M mlir/lib/Dialect/Affine/Analysis/AffineStructures.cpp
    M mlir/test/Transforms/memref-dependence-check.mlir

  Log Message:
  -----------
  Canonicalize affine set + operands while adding affine.if op domain

Canonicalize affine set + operands in addAffineIfOpDomain. This is to
ensure a unique set of operands for FlatAffineValueConstraints and in
general to provide a simplified set of constraints. For the latter
scenario, this just leads to efficiency improvements as opposed to
functionality. While on this, remove outdated/stale stuff from
AffineStructures.h.

Fixes: https://github.com/llvm/llvm-project/issues/59461

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