[mlir][affine] Fix unfolded bounding maps for affine.for
authoreopXD <eopxd@skymizer.com>
Mon, 12 Apr 2021 12:22:58 +0000 (17:52 +0530)
committerUday Bondhugula <uday@polymagelabs.com>
Mon, 12 Apr 2021 18:42:43 +0000 (00:12 +0530)
commit9cc417cbca1cece0d55fa3d1e15682943a06139e
treee4ac41335ecb92bd837a8b8926195e25c2ab882f
parentfc1e146e4412334d6c70173c345a698a01b122b8
[mlir][affine] Fix unfolded bounding maps for affine.for

Loop bounds of affine.for didn't perform foldings like affine.load, affine.store.
Bound maps shall be more composed, leaving most affine.apply become dead.

This resolves the bug listed on https://bugs.llvm.org/show_bug.cgi?id=45203

Differential Revision: https://reviews.llvm.org/D99323
mlir/lib/Dialect/Affine/IR/AffineOps.cpp
mlir/test/Dialect/Affine/canonicalize.mlir