commit	5d0df777e9523d74a71be2314eddb5ea9d25d814	[log] [tgz]
author	Matthias Springer <springerm@google.com>	Thu Nov 25 17:42:08 2021 +0900
committer	Copybara-Service <copybara-worker@google.com>	Thu Nov 25 00:50:46 2021 -0800
tree	ece59dbb86a8a3a4273d168ef6b94b8550f8f9cc
parent	3fb7cbf461c4194d387c928598ff5ab64c80e4bd [diff]

[mlir][interfaces] Add insideMutuallyExclusiveRegions helper

Add a helper function to ControlFlowInterfaces for checking if two ops
are in mutually exclusive regions according to RegionBranchOpInterface.

Utilize this new helper in Linalg ComprehensiveBufferize. This makes the
analysis independent of the SCF dialect and generalizes it to other ops
that implement RegionBranchOpInterface.

Differential Revision: https://reviews.llvm.org/D114220

GitOrigin-RevId: a5c2f7828796ce9c3e19e78fbd783fb0206b971d

include/mlir/Interfaces/ControlFlowInterfaces.h[diff]
lib/Dialect/Linalg/ComprehensiveBufferize/ComprehensiveBufferize.cpp[diff]
lib/Interfaces/ControlFlowInterfaces.cpp[diff]
unittests/Interfaces/CMakeLists.txt[diff]
unittests/Interfaces/ControlFlowInterfacesTest.cpp[Added - diff]

5 files changed

tree: ece59dbb86a8a3a4273d168ef6b94b8550f8f9cc

cmake/
docs/
examples/
include/
lib/
python/
test/
tools/
unittests/
utils/
.clang-format
.clang-tidy
CMakeLists.txt
LICENSE.TXT
README.md

README.md

Multi-Level Intermediate Representation

See https://mlir.llvm.org/ for more information.