[all-commits] [llvm/llvm-project] c580bd: [mlir][transform] fix handle invalidation check fo...

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c580bd261c14bde64fff19eaf5efbf7fc2ea7b4f
      https://github.com/llvm/llvm-project/commit/c580bd261c14bde64fff19eaf5efbf7fc2ea7b4f
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2023-06-23 (Fri, 23 Jun 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Transform/IR/TransformInterfaces.h
    M mlir/lib/Dialect/Transform/IR/TransformInterfaces.cpp
    M mlir/test/Dialect/Transform/expensive-checks.mlir
    M mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.cpp
    M mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.td

  Log Message:
  -----------
  [mlir][transform] fix handle invalidation check for reentrant regions

When exiting the scope of a region attached to a transform op, clean up
the handle invalidation checks assocaited with handles defined in this
region. Otherwise, these checks may trigger on the next entry to the
region while there is no incorrect usage.

Reviewed By: springerm

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


  Commit: 135e5bf8940f3d965c44e31eb4c94b8f8388a100
      https://github.com/llvm/llvm-project/commit/135e5bf8940f3d965c44e31eb4c94b8f8388a100
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2023-06-23 (Fri, 23 Jun 2023)

  Changed paths:
    M mlir/lib/Dialect/Transform/IR/TransformOps.cpp
    M mlir/test/Dialect/Transform/ops-invalid.mlir

  Log Message:
  -----------
  [mlir][transform] don't wrap a warning into silenceable failure

Wrapping a warning into a silenceable failure will result in the warning
being interpreted as an error, which it is not.

Reviewed By: nicolasvasilache

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


Compare: https://github.com/llvm/llvm-project/compare/dd639eb15aac...135e5bf8940f