[all-commits] [llvm/llvm-project] a5c2f7: [mlir][interfaces] Add insideMutuallyExclusiveRegi...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a5c2f7828796ce9c3e19e78fbd783fb0206b971d
      https://github.com/llvm/llvm-project/commit/a5c2f7828796ce9c3e19e78fbd783fb0206b971d
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-11-25 (Thu, 25 Nov 2021)

  Changed paths:
    M mlir/include/mlir/Interfaces/ControlFlowInterfaces.h
    M mlir/lib/Dialect/Linalg/ComprehensiveBufferize/ComprehensiveBufferize.cpp
    M mlir/lib/Interfaces/ControlFlowInterfaces.cpp
    M mlir/unittests/Interfaces/CMakeLists.txt
    A mlir/unittests/Interfaces/ControlFlowInterfacesTest.cpp

  Log Message:
  -----------
  [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