[mlir][bufferization] Fix unknown ops in BufferViewFlowAnalysis
authorMatthias Springer <me@m-sp.org>
Mon, 15 May 2023 12:31:26 +0000 (14:31 +0200)
committerMatthias Springer <me@m-sp.org>
Mon, 15 May 2023 12:33:06 +0000 (14:33 +0200)
commit38bef476552021b7ad45d1aa989d250bcd0a38ff
treecfe15d118c24f8ecd9a875d919fdb46092936ee3
parentd0e89116aff224ac2d8d3f88029ae44e12c9b6cc
[mlir][bufferization] Fix unknown ops in BufferViewFlowAnalysis

If an op is unknown to the analysis, it must be treated conservatively: assume that every operand aliases with every result.

Differential Revision: https://reviews.llvm.org/D150546
mlir/lib/Dialect/Bufferization/Transforms/BufferViewFlowAnalysis.cpp
mlir/test/Dialect/Bufferization/Transforms/buffer-deallocation.mlir