[mlir][affine] Canonicalize single value affine.min/max
authorKai Sasaki <lewuathe@gmail.com>
Tue, 10 Jan 2023 05:42:39 +0000 (14:42 +0900)
committerKai Sasaki <lewuathe@gmail.com>
Wed, 11 Jan 2023 02:04:14 +0000 (11:04 +0900)
commit5b779a3df351a21b92f22e3716943c4be0bf5d50
tree79a1576525a74ba0118dfd47bf404ccf5bd8a81d
parent9119d9bfcef47b245d15fc9d2e5044bc67724bfc
[mlir][affine] Canonicalize single value affine.min/max

Canonicalize identity affine.min/max to allow further optimization to follow the def-use chain of the given values. The reported issue is https://github.com/llvm/llvm-project/issues/59399.

Differential Revision: https://reviews.llvm.org/D141354
mlir/include/mlir/IR/AffineMap.h
mlir/lib/Dialect/Affine/IR/AffineOps.cpp
mlir/lib/IR/AffineMap.cpp
mlir/test/Dialect/Affine/canonicalize.mlir