[all-commits] [llvm/llvm-project] 58230e: [mlir][IR] Add builtin `TokenTypeInterface`
Matthias Springer via All-commits
all-commits at lists.llvm.org
Tue May 26 07:19:53 PDT 2026
Branch: refs/heads/users/matthias-springer/token-type-interface
Home: https://github.com/llvm/llvm-project
Commit: 58230e369e759961f8677be3bbaa10562843bc0e
https://github.com/llvm/llvm-project/commit/58230e369e759961f8677be3bbaa10562843bc0e
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: 3cf9df3309d6bb91d34ddc94d0b8e24061b22fae
https://github.com/llvm/llvm-project/commit/3cf9df3309d6bb91d34ddc94d0b8e24061b22fae
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: 0425fbae355ddd78e67905cb245ac83d42c06bd2
https://github.com/llvm/llvm-project/commit/0425fbae355ddd78e67905cb245ac83d42c06bd2
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: 8f218f9c96de857b74f468f7c8de4b9989483da7
https://github.com/llvm/llvm-project/commit/8f218f9c96de857b74f468f7c8de4b9989483da7
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: 3f01feac5ad98800881324f4024de5d6a1d1617a
https://github.com/llvm/llvm-project/commit/3f01feac5ad98800881324f4024de5d6a1d1617a
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: 1972092edbd2041092eb5ca5af17e321ca8a34dc
https://github.com/llvm/llvm-project/commit/1972092edbd2041092eb5ca5af17e321ca8a34dc
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: 2f3be65b9c80f2c3985ffa9ed90e32ba00b6c286
https://github.com/llvm/llvm-project/commit/2f3be65b9c80f2c3985ffa9ed90e32ba00b6c286
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: b917cfd0fec2f5182144f97e4270131c08b5ddcd
https://github.com/llvm/llvm-project/commit/b917cfd0fec2f5182144f97e4270131c08b5ddcd
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: 63fea96e7a10e85f366380628ade65225a436a3c
https://github.com/llvm/llvm-project/commit/63fea96e7a10e85f366380628ade65225a436a3c
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: 9e80f6056c2df5073044360a3bd52e7c9304424a
https://github.com/llvm/llvm-project/commit/9e80f6056c2df5073044360a3bd52e7c9304424a
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: d5104833e5d9879db925ee51a04c92a263b5d8d0
https://github.com/llvm/llvm-project/commit/d5104833e5d9879db925ee51a04c92a263b5d8d0
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: 1f644aa881a6f6e7993ec0292f3259991b0cbe4e
https://github.com/llvm/llvm-project/commit/1f644aa881a6f6e7993ec0292f3259991b0cbe4e
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: 4b84c107bae38711110eb177256eff7a8f89484c
https://github.com/llvm/llvm-project/commit/4b84c107bae38711110eb177256eff7a8f89484c
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: 977b4606aabf1233aead2406a05a3d6b22e3114c
https://github.com/llvm/llvm-project/commit/977b4606aabf1233aead2406a05a3d6b22e3114c
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/fc3e151927fc...977b4606aabf
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