[all-commits] [llvm/llvm-project] ae8cb6: [mlir][scf][bufferize] Fix bug in WhileOp analysis...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ae8cb6437294ca99ba203607c0dd522db4dbf6b6
      https://github.com/llvm/llvm-project/commit/ae8cb6437294ca99ba203607c0dd522db4dbf6b6
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-05-15 (Mon, 15 May 2023)

  Changed paths:
    M mlir/lib/Dialect/SCF/Transforms/BufferizableOpInterfaceImpl.cpp
    M mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize-invalid.mlir

  Log Message:
  -----------
  [mlir][scf][bufferize] Fix bug in WhileOp analysis verification

Block arguments and yielded values are not equivalent if there are not enough block arguments. This fixes #59442.

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