[all-commits] [llvm/llvm-project] 3bbc86: [mlir][linalg][bufferize] Support scf::IfOp

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3bbc869e2ef26f3bc296d5b4e23ee8678a20fc0b
      https://github.com/llvm/llvm-project/commit/3bbc869e2ef26f3bc296d5b4e23ee8678a20fc0b
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-10-22 (Fri, 22 Oct 2021)

  Changed paths:
    M mlir/lib/Dialect/Linalg/Transforms/ComprehensiveBufferize.cpp
    M mlir/test/Dialect/Linalg/comprehensive-module-bufferize-analysis.mlir
    M mlir/test/Dialect/Linalg/comprehensive-module-bufferize-invalid.mlir
    M mlir/test/Dialect/Linalg/comprehensive-module-bufferize.mlir

  Log Message:
  -----------
  [mlir][linalg][bufferize] Support scf::IfOp

This commit adds support for scf::IfOp to comprehensive bufferization. Support is currently limited to cases where both branches yield tensors that bufferize to the same buffer.

To keep the analysis simple, scf::IfOp are treated as memory writes for analysis purposes, even if no op inside any branch is writing. (scf::ForOps are handled in the same way.)

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