[all-commits] [llvm/llvm-project] 061aa2: [mlir][bufferization] Better error checking for op...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 061aa2e3ba2717b503821188e1dcbe13a30ac7d4
      https://github.com/llvm/llvm-project/commit/061aa2e3ba2717b503821188e1dcbe13a30ac7d4
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-08-15 (Tue, 15 Aug 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Bufferization/IR/BufferizableOpInterface.td
    M mlir/lib/Dialect/Bufferization/Transforms/Bufferize.cpp
    M mlir/lib/Dialect/Bufferization/Transforms/OneShotAnalysis.cpp
    M mlir/test/Dialect/SCF/one-shot-bufferize-invalid.mlir

  Log Message:
  -----------
  [mlir][bufferization] Better error checking for ops with unstructured control flow

Report an error when trying to bufferize an op that contains unstructured control flow but for ops for which the bufferization implementation does not support unstructured control flow. At the moment, there are no ops for which unstructured control flow is supported.

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