[all-commits] [llvm/llvm-project] cd7de4: [mlir][bufferize] Simplify ModuleBufferization driver

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cd7de446fd27ba7f9865087ce1b97a3e01d42cee
      https://github.com/llvm/llvm-project/commit/cd7de446fd27ba7f9865087ce1b97a3e01d42cee
  Author: Matthias Springer <springerm at google.com>
  Date:   2022-04-06 (Wed, 06 Apr 2022)

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

  Log Message:
  -----------
  [mlir][bufferize] Simplify ModuleBufferization driver

* Bufferize FuncOp bodies and boundaries in the same loop. This is in preparation of moving FuncOp bufferization into an external model implementation.
* As a side effect, stop bufferization earlier if there was an error. (Do not continue bufferization, fewer error messages.)
* Run equivalence analysis of CallOps before the main analysis. This is needed so that equialvence info is propagated properly.

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