[all-commits] [llvm/llvm-project] f87489: [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: f87489c2c6b8f368ebeab066a95b9b3ea478cd6c
      https://github.com/llvm/llvm-project/commit/f87489c2c6b8f368ebeab066a95b9b3ea478cd6c
  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