[mlir][linalg][bufferize] Relax rules for extract_slice/insert_slice matching
authorMatthias Springer <springerm@google.com>
Sat, 16 Oct 2021 08:08:00 +0000 (17:08 +0900)
committerMatthias Springer <springerm@google.com>
Sat, 16 Oct 2021 08:08:47 +0000 (17:08 +0900)
commite7bb8dd92983a918fbb370b135e664825f387580
treeacca10fa7df31f3a61d3806a4685c3a89bec4868
parent64591f217d984e955c27942437117f9ee5af570c
[mlir][linalg][bufferize] Relax rules for extract_slice/insert_slice matching

The rules were too restrictive, causing out-of-place bufferization when the result of two ExtractSliceOp is fed into an InsertSliceOp.

Differential Revision: https://reviews.llvm.org/D111861
mlir/lib/Dialect/Linalg/Transforms/ComprehensiveBufferize.cpp
mlir/test/Dialect/Linalg/comprehensive-module-bufferize-analysis.mlir