[all-commits] [llvm/llvm-project] 5e8093: [MLIR] Add method to drop duplicate result exprs f...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 5e8093134af282765989be7ad213a105fe0ca3b4
      https://github.com/llvm/llvm-project/commit/5e8093134af282765989be7ad213a105fe0ca3b4
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2020-04-02 (Thu, 02 Apr 2020)

  Changed paths:
    M mlir/include/mlir/IR/AffineMap.h
    M mlir/include/mlir/Transforms/LoopUtils.h
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/lib/IR/AffineMap.cpp
    M mlir/lib/Transforms/Utils/LoopUtils.cpp
    M mlir/test/Conversion/AffineToStandard/lower-affine.mlir
    M mlir/test/Dialect/Affine/canonicalize.mlir

  Log Message:
  -----------
  [MLIR] Add method to drop duplicate result exprs from AffineMap

Add a method that given an affine map returns another with just its unique
results. Use this to drop redundant bounds in max/min for affine.for. Update
affine.for's canonicalization pattern and createCanonicalizedForOp to use
this.

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