[all-commits] [llvm/llvm-project] 1cfd86: [mlir][IR] Add builtin `TokenTypeInterface`

Matthias Springer via All-commits all-commits at lists.llvm.org
Tue Jun 2 03:06:54 PDT 2026 

  Branch: refs/heads/users/matthias-springer/token-type-interface
  Home:   https://github.com/llvm/llvm-project
  Commit: 1cfd86331235bf98a7c6ece280a1ca16c39a8631
      https://github.com/llvm/llvm-project/commit/1cfd86331235bf98a7c6ece280a1ca16c39a8631
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    A mlir/docs/Tokens.md
    M mlir/include/mlir/Dialect/Async/IR/Async.h
    M mlir/include/mlir/Dialect/Async/IR/AsyncOps.td
    M mlir/include/mlir/IR/BuiltinDialectBytecode.td
    M mlir/include/mlir/IR/BuiltinTypes.td
    M mlir/include/mlir/IR/CommonTypeConstraints.td
    M mlir/lib/AsmParser/TokenKinds.def
    M mlir/lib/AsmParser/TypeParser.cpp
    M mlir/lib/Conversion/AsyncToLLVM/AsyncToLLVM.cpp
    M mlir/lib/Dialect/Async/IR/Async.cpp
    M mlir/lib/Dialect/Async/Transforms/AsyncRuntimeRefCounting.cpp
    M mlir/lib/Dialect/Async/Transforms/AsyncToAsyncRuntime.cpp
    M mlir/lib/Dialect/LLVMIR/IR/LLVMTypeSyntax.cpp
    M mlir/lib/IR/AsmPrinter.cpp
    M mlir/test/Dialect/ArmSME/invalid.mlir
    M mlir/test/Dialect/Builtin/Bytecode/builtin_fixed.mlir
    M mlir/test/Dialect/Builtin/Bytecode/builtin_fixed_0.mlirbc
    M mlir/test/Dialect/Builtin/Bytecode/types.mlir
    M mlir/test/Dialect/Linalg/invalid.mlir
    M mlir/test/Dialect/MemRef/invalid.mlir
    M mlir/test/Dialect/SparseTensor/invalid.mlir
    M mlir/test/Dialect/Tensor/invalid.mlir
    M mlir/test/Dialect/Vector/invalid.mlir
    M mlir/test/Dialect/traits.mlir
    M mlir/test/IR/operand.mlir
    M mlir/test/IR/result.mlir
    A mlir/test/IR/token-type.mlir
    M mlir/test/lib/Dialect/Test/TestOps.td
    M mlir/test/mlir-tblgen/predicate.td
    M mlir/test/mlir-tblgen/types.mlir

  Log Message:
  -----------
  [mlir][IR] Add builtin `TokenTypeInterface`

type instead of type interface

add bytecode


  Commit: 57f9c13357764e0b2eda9e2416212c9933810aa8
      https://github.com/llvm/llvm-project/commit/57f9c13357764e0b2eda9e2416212c9933810aa8
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/LangRef.md
    M mlir/docs/Tokens.md
    M mlir/include/mlir/IR/CommonTypeConstraints.td
    M mlir/test/IR/token-type.mlir
    M mlir/test/lib/Dialect/Test/TestOps.td

  Log Message:
  -----------
  address comments


  Commit: 9a09e17dd79ec78e863c23989fbd6a40ca12f060
      https://github.com/llvm/llvm-project/commit/9a09e17dd79ec78e863c23989fbd6a40ca12f060
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/Tokens.md

  Log Message:
  -----------
  Update mlir/docs/Tokens.md

Co-authored-by: Mehdi Amini <joker.eph at gmail.com>


  Commit: 4ece98adf07dc9f99099153640038c9fd89940c1
      https://github.com/llvm/llvm-project/commit/4ece98adf07dc9f99099153640038c9fd89940c1
  Author: Mehdi Amini <joker.eph at gmail.com>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/Tokens.md
    M mlir/docs/Traits/_index.md
    M mlir/include/mlir/IR/BuiltinTypes.td
    M mlir/include/mlir/IR/OpBase.td
    M mlir/include/mlir/IR/OpDefinition.h
    M mlir/lib/IR/Verifier.cpp
    M mlir/test/IR/token-type.mlir
    M mlir/test/lib/Dialect/Test/TestOps.td

  Log Message:
  -----------
  [mlir][IR] Require token producer and consumer traits

Add marker traits for operations that intentionally produce or consume the
builtin token type. The verifier now rejects token results without
TokenProducerTrait, token operands without TokenConsumerTrait, token entry
block arguments whose parent op does not produce tokens, and token block
arguments outside entry blocks.

Extend the Test dialect token ops to cover valid opt-in cases and each
verifier rejection path.

Assisted-by: Codex


  Commit: f7ca4b64aae883a7c2d07cbb7302ced4401ada2e
      https://github.com/llvm/llvm-project/commit/f7ca4b64aae883a7c2d07cbb7302ced4401ada2e
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/Dialects/LLVM.md
    M mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOpBase.td
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td
    M mlir/include/mlir/Dialect/LLVMIR/LLVMTypes.h
    M mlir/include/mlir/IR/BuiltinOps.td
    M mlir/include/mlir/IR/CommonTypeConstraints.td
    M mlir/lib/Conversion/AsyncToLLVM/AsyncToLLVM.cpp
    M mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
    M mlir/lib/Dialect/LLVMIR/IR/LLVMTypeSyntax.cpp
    M mlir/lib/Dialect/LLVMIR/IR/LLVMTypes.cpp
    M mlir/lib/IR/Verifier.cpp
    M mlir/lib/Target/LLVMIR/TypeFromLLVM.cpp
    M mlir/lib/Target/LLVMIR/TypeToLLVM.cpp
    M mlir/test/Conversion/AsyncToLLVM/convert-coro-to-llvm.mlir
    M mlir/test/Dialect/LLVMIR/types.mlir
    M mlir/test/Target/LLVMIR/Import/intrinsic.ll
    M mlir/test/Target/LLVMIR/llvmir-intrinsics.mlir

  Log Message:
  -----------
  remove LLVM token type


  Commit: 6514925ac9720d6843be0655978b5cd90ebea052
      https://github.com/llvm/llvm-project/commit/6514925ac9720d6843be0655978b5cd90ebea052
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/LangRef.md
    M mlir/docs/Tokens.md

  Log Message:
  -----------
  rewrite design contract


  Commit: c65bd7d85201a577df8020627db56492dd57aedb
      https://github.com/llvm/llvm-project/commit/c65bd7d85201a577df8020627db56492dd57aedb
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/Dialects/LLVM.md
    M mlir/lib/IR/Verifier.cpp

  Log Message:
  -----------
  address comments


  Commit: b419f236d9afb6abc87c09934d00b81dac3a74ba
      https://github.com/llvm/llvm-project/commit/b419f236d9afb6abc87c09934d00b81dac3a74ba
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/Tokens.md

  Log Message:
  -----------
  address comments


  Commit: 2b211f13375592de0622c19ee411c77eb4e9ce18
      https://github.com/llvm/llvm-project/commit/2b211f13375592de0622c19ee411c77eb4e9ce18
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/test/Dialect/Builtin/Bytecode/builtin_fixed_0.mlirbc

  Log Message:
  -----------
  regenerate bytecode


  Commit: 591fdc2819af5cc25e2aa1eec418e768b3033458
      https://github.com/llvm/llvm-project/commit/591fdc2819af5cc25e2aa1eec418e768b3033458
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/Tokens.md

  Log Message:
  -----------
  call out IsolatedFromAbove restriction


  Commit: 1f5ca34a6d7e20c0ad4dfbfa1aedd1e824984afe
      https://github.com/llvm/llvm-project/commit/1f5ca34a6d7e20c0ad4dfbfa1aedd1e824984afe
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/LangRef.md
    M mlir/docs/Tokens.md

  Log Message:
  -----------
  move structural contract to LangRef


  Commit: 1fb28577af6a7b1b57e80cf2999d5d899b332373
      https://github.com/llvm/llvm-project/commit/1fb28577af6a7b1b57e80cf2999d5d899b332373
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/LangRef.md
    M mlir/docs/Tokens.md

  Log Message:
  -----------
  address comments: symbols / IsolatedFromAbove


  Commit: 1c54625078269cbda97196c7658af63f040814ce
      https://github.com/llvm/llvm-project/commit/1c54625078269cbda97196c7658af63f040814ce
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/Tokens.md

  Log Message:
  -----------
  Update mlir/docs/Tokens.md

Co-authored-by: Mehdi Amini <joker.eph at gmail.com>


  Commit: 8e5b8dbbc1c9c7e066e72d7edd245c753b30d05b
      https://github.com/llvm/llvm-project/commit/8e5b8dbbc1c9c7e066e72d7edd245c753b30d05b
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/include/mlir/IR/BuiltinOps.td

  Log Message:
  -----------
  drop unrealized_conversion_cast change


  Commit: 1290ce640be10c25be9f09478d1c8b9cbc18d2e7
      https://github.com/llvm/llvm-project/commit/1290ce640be10c25be9f09478d1c8b9cbc18d2e7
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M mlir/docs/Tokens.md
    M mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td
    M mlir/include/mlir/IR/CommonTypeConstraints.td
    M mlir/lib/Dialect/Async/Transforms/AsyncToAsyncRuntime.cpp
    M mlir/lib/IR/Verifier.cpp
    M mlir/test/IR/token-type.mlir
    M mlir/test/lib/Dialect/Test/TestOps.td
    M mlir/tools/mlir-tblgen/OpDefinitionsGen.cpp

  Log Message:
  -----------
  infer token traits


Compare: https://github.com/llvm/llvm-project/compare/f49af266a6d8...1290ce640be1

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

More information about the All-commits mailing list