[all-commits] [llvm/llvm-project] 06cc2f: [mlir] Align LLVM_Type ODS constraint on type veri...

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 06cc2f2f122ab2ce6c2ffb5cd6f87f0334919ca3
      https://github.com/llvm/llvm-project/commit/06cc2f2f122ab2ce6c2ffb5cd6f87f0334919ca3
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2022-01-05 (Wed, 05 Jan 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOpBase.td
    M mlir/test/Dialect/LLVMIR/types.mlir

  Log Message:
  -----------
  [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