tree 33d4629da24e200500dc176db1b239b7b568bdda
parent 91d59cbf1b386999fe6c135a5e5726a6d83d4e39
author Alex Zinenko <zinenko@google.com> 1597159047 +0200
committer Alex Zinenko <zinenko@google.com> 1597159312 +0200

[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