[mlir][linalg][bufferize] Fix buffer equivalence around scf.if ops
authorMatthias Springer <springerm@google.com>
Wed, 10 Nov 2021 09:28:41 +0000 (18:28 +0900)
committerMatthias Springer <springerm@google.com>
Wed, 10 Nov 2021 09:33:08 +0000 (18:33 +0900)
commit99ad2079d452f587be050b3867e0ed4856335fb2
treeb209fadb1bdfe18a2ce3c6bd1b87acf0abb3071d
parentc98fe04663a924eba68e3da896a258a06c6f931d
[mlir][linalg][bufferize] Fix buffer equivalence around scf.if ops

Also extend the comments for aliasInfo and equivalenceInfo.

Differential Revision: https://reviews.llvm.org/D113340
mlir/include/mlir/Dialect/Linalg/ComprehensiveBufferize/ComprehensiveBufferize.h
mlir/lib/Dialect/Linalg/ComprehensiveBufferize/ComprehensiveBufferize.cpp
mlir/test/Dialect/Linalg/comprehensive-module-bufferize-invalid.mlir
mlir/test/Dialect/Linalg/comprehensive-module-bufferize.mlir