projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 859ebca) | patch
[mlir] Align LLVM_Type ODS constraint on type verifiers
authorAlex Zinenko <zinenko@google.com>
Wed, 5 Jan 2022 17:38:10 +0000 (18:38 +0100)
committerAlex Zinenko <zinenko@google.com>
Wed, 5 Jan 2022 18:00:56 +0000 (19:00 +0100)
commit06cc2f2f122ab2ce6c2ffb5cd6f87f0334919ca3
tree4e2adc25705f9bc00aadb86d504c6f2484f4b4dctree | snapshot
parent859ebca744e634dcc89a2294ffa41574f947bd62commit | diff
[mlir] Align LLVM_Type ODS constraint on type verifiers

Verify only the outer type being LLVM-compatible, the elemental types if
present are already checked by the type verifiers. This makes some LLVM dialect
operations compatible with mixed-dialect types that appear during progressive
lowering.

Reviewed By: wsmoses

Differential Revision: https://reviews.llvm.org/D116671
mlir/include/mlir/Dialect/LLVMIR/LLVMOpBase.td diff | blob | history
mlir/test/Dialect/LLVMIR/types.mlir diff | blob | history
Domain: System / Toolchain;