[all-commits] [llvm/llvm-project] bae151: [mlir] Add verification to LLVM dialect types

[ftynse via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: bae1517266bf4ce85a32390323fd463f28ae9d0c
      https://github.com/llvm/llvm-project/commit/bae1517266bf4ce85a32390323fd463f28ae9d0c
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2020-08-11 (Tue, 11 Aug 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMTypes.h
    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/test/Dialect/LLVMIR/types-invalid.mlir

  Log Message:
  -----------
  [mlir] Add verification to LLVM dialect types

Now that LLVM dialect types are implemented directly in the dialect, we can use
MLIR hooks for verifying type construction invariants. Implement the verifiers
and use them in the parser.

Reviewed By: rriddle

Differential Revision: https://reviews.llvm.org/D85663