[all-commits] [llvm/llvm-project] d46afe: [mlir] fix side effects for transform.AlternativesOp

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d46afeef739a6efa71a3a78c52e7ed0b89a51725
      https://github.com/llvm/llvm-project/commit/d46afeef739a6efa71a3a78c52e7ed0b89a51725
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2023-01-23 (Mon, 23 Jan 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Transform/IR/TransformOps.td
    M mlir/lib/Dialect/Transform/IR/TransformOps.cpp
    M mlir/lib/Dialect/Transform/Transforms/CheckUses.cpp
    M mlir/test/Dialect/Transform/check-use-after-free.mlir

  Log Message:
  -----------
  [mlir] fix side effects for transform.AlternativesOp

It should have an "Allocate" effect on entry block arguments of all
regions in addition to consuming the operand.

Also relax the assertion in transform-dialect-check-uses until we can
properly support region-based control flow.

Fixes #60075.

Reviewed By: springerm

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