[all-commits] [llvm/llvm-project] 7eeee8: [mlir] add normal form checked transform interface

[ftynse via All-commits]

  Branch: refs/heads/users/ftynse/transform-payload
  Home:   https://github.com/llvm/llvm-project
  Commit: 7eeee80fa4f415f8656055e9c2f9214c3fdd8d0e
      https://github.com/llvm/llvm-project/commit/7eeee80fa4f415f8656055e9c2f9214c3fdd8d0e
  Author: Alex Zinenko <git at ozinenko.com>
  Date:   2026-04-17 (Fri, 17 Apr 2026)

  Changed paths:
    M mlir/include/mlir/Dialect/Transform/IR/TransformOps.td
    M mlir/include/mlir/Dialect/Transform/Interfaces/TransformInterfaces.h
    M mlir/include/mlir/Dialect/Transform/Interfaces/TransformInterfaces.td
    M mlir/lib/Dialect/Transform/IR/TransformDialect.cpp
    M mlir/lib/Dialect/Transform/IR/TransformOps.cpp
    M mlir/lib/Dialect/Transform/IR/TransformTypes.cpp
    M mlir/lib/Dialect/Transform/Interfaces/TransformInterfaces.cpp
    M mlir/test/Dialect/Transform/normal-forms.mlir
    M mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.cpp
    M mlir/test/lib/Dialect/Transform/TestTransformDialectExtension.td

  Log Message:
  -----------
  [mlir] add normal form checked transform interface

This interface can be implemented by operations that guarantee certain
normal forms for themselves and their regions. The operations provide
the list of normal forms they guarantee. This interface interacts with
the typed transform handles removing the need for them to check normal
forms that are guaranteed (and preserved by transforms).

Provide a simple `transform.payload` operation to carry a list of normal
forms and implement the interface.

This exposes the fact that the transform interpreter may be running the
verifier too much, but this is a pre-existing beavior that is orthogonal
to this patch.

Assisted-by: Claude Opus 4.7 / Cursor



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications