[all-commits] [llvm/llvm-project] 5b98e4: [mlir][linalg][bufferize] Add analysis fuzzer option

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5b98e4ed163b3712fc96a995717129256562f8df
      https://github.com/llvm/llvm-project/commit/5b98e4ed163b3712fc96a995717129256562f8df
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-10-27 (Wed, 27 Oct 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/Linalg/Passes.td
    M mlir/include/mlir/Dialect/Linalg/Transforms/ComprehensiveBufferize.h
    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.mlir

  Log Message:
  -----------
  [mlir][linalg][bufferize] Add analysis fuzzer option

Analyze ops in a pseudo-random order to see if any assertions are triggered. Randomizing the order of analysis likely worsens the quality of the bufferization result (more out-of-place bufferizations). However, assertions should never fail, as that would indicate a problem with our implementation.

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