[mlir][linalg] Improve implementation of hoist padding.
authorNicolas Vasilache <nicolas.vasilache@gmail.com>
Thu, 15 Jul 2021 09:56:50 +0000 (09:56 +0000)
committerNicolas Vasilache <nicolas.vasilache@gmail.com>
Thu, 15 Jul 2021 12:10:31 +0000 (12:10 +0000)
commit01bdb0f75efb2bb795a79cea9f3f918136d13a7f
tree2266950b282a3ec22ebab03a3dfee04e36e9772d
parent5024fe93068082ac230643095cbbac5c2aa74d36
[mlir][linalg] Improve implementation of hoist padding.

Instead of relying on adhoc bounds calculations, use a projection-based
implementation. This simplifies the implementation and finds more static
constant sizes than previously/

Differential Revision: https://reviews.llvm.org/D106054
mlir/include/mlir/Dialect/Linalg/Analysis/ConstraintsSet.h [new file with mode: 0644]
mlir/lib/Dialect/Linalg/Analysis/CMakeLists.txt
mlir/lib/Dialect/Linalg/Analysis/ConstraintsSet.cpp [new file with mode: 0644]
mlir/lib/Dialect/Linalg/Transforms/Hoisting.cpp
mlir/test/Dialect/Linalg/hoist-padding.mlir