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

Matthias Springer via All-commits all-commits at lists.llvm.org
Mon May 25 17:31:30 PDT 2026 

  Branch: refs/heads/users/matthias-springer/token-type-interface
  Home:   https://github.com/llvm/llvm-project
  Commit: dcd3cab086ef7e336c344113be6c7baf6b551002
      https://github.com/llvm/llvm-project/commit/dcd3cab086ef7e336c344113be6c7baf6b551002
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 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: 01a0f8890bd232f23b6b58dcbb91159289d1a621
      https://github.com/llvm/llvm-project/commit/01a0f8890bd232f23b6b58dcbb91159289d1a621
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 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: 50fded248cbd8d4d7fadd1f1f52c8f4430f4e5f4
      https://github.com/llvm/llvm-project/commit/50fded248cbd8d4d7fadd1f1f52c8f4430f4e5f4
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 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: 6cca0377549265293a30130b342b14f38a37273f
      https://github.com/llvm/llvm-project/commit/6cca0377549265293a30130b342b14f38a37273f
  Author: Mehdi Amini <joker.eph at gmail.com>
  Date:   2026-05-26 (Tue, 26 May 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: 183f61abf1170fce50be703fb474c65d84a6a060
      https://github.com/llvm/llvm-project/commit/183f61abf1170fce50be703fb474c65d84a6a060
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 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: 4e47ed1636c60ecb1e760151526509d89086b7fe
      https://github.com/llvm/llvm-project/commit/4e47ed1636c60ecb1e760151526509d89086b7fe
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 2026)

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

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


  Commit: 8c7c6a909bc0d1da2a04439d05bfdd930b2b94fd
      https://github.com/llvm/llvm-project/commit/8c7c6a909bc0d1da2a04439d05bfdd930b2b94fd
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 2026)

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

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


  Commit: 8882b47c1b3db7f5382bb3fbdd450117522a0ca2
      https://github.com/llvm/llvm-project/commit/8882b47c1b3db7f5382bb3fbdd450117522a0ca2
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 2026)

  Changed paths:
    M mlir/docs/Tokens.md

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


  Commit: 95d4e8d8129371e42d5874e4e90ebee4e650c6e7
      https://github.com/llvm/llvm-project/commit/95d4e8d8129371e42d5874e4e90ebee4e650c6e7
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 2026)

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

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


  Commit: 972be7e624a9ce33db97797ca56692868e709750
      https://github.com/llvm/llvm-project/commit/972be7e624a9ce33db97797ca56692868e709750
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 2026)

  Changed paths:
    M mlir/docs/Tokens.md

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


  Commit: 69f9322c99e1d083854746424853733f1cec6c44
      https://github.com/llvm/llvm-project/commit/69f9322c99e1d083854746424853733f1cec6c44
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 2026)

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

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


  Commit: 3ad6af9879c2abb647a3f13226683cfe84c358c0
      https://github.com/llvm/llvm-project/commit/3ad6af9879c2abb647a3f13226683cfe84c358c0
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 2026)

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

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


  Commit: 955ba236d62bf0a6afbe501048794005115a4908
      https://github.com/llvm/llvm-project/commit/955ba236d62bf0a6afbe501048794005115a4908
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 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: fc3e151927fcb724bd523e689b0ee859d2bb7bae
      https://github.com/llvm/llvm-project/commit/fc3e151927fcb724bd523e689b0ee859d2bb7bae
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-26 (Tue, 26 May 2026)

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

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


Compare: https://github.com/llvm/llvm-project/compare/142af648295d...fc3e151927fc

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