diff options
| author | Mathieu Fehr <mathieu.fehr@gmail.com> | 2023-03-08 23:16:02 +0100 |
|---|---|---|
| committer | Mathieu Fehr <mathieu.fehr@gmail.com> | 2023-05-12 19:39:13 +0100 |
| commit | 52761cb99164acd4ea76f91fc16a3e40ec94b898 (patch) | |
| tree | eb4563af67822852ff707336818bce2e7364568d /llvm/lib/Support/StringRef.cpp | |
| parent | 13984608992246e42e66c019f09764650d60af63 (diff) | |
| download | llvm-52761cb99164acd4ea76f91fc16a3e40ec94b898.zip llvm-52761cb99164acd4ea76f91fc16a3e40ec94b898.tar.gz llvm-52761cb99164acd4ea76f91fc16a3e40ec94b898.tar.bz2 | |
[mlir][irdl] Add verification of IRDL ops
This patch adds verification on registered IRDL operations, types,
and attributes.
This is done through an interface implemented by operations from the
`irdl` dialect, which translate the operations into `Constraint`.
This interface is then use in the `registerDialect` function to
generate verifiers for the entire operation/type/attribute.
Depends on D145733
Reviewed By: Mogball
Differential Revision: https://reviews.llvm.org/D145734
Diffstat (limited to 'llvm/lib/Support/StringRef.cpp')
0 files changed, 0 insertions, 0 deletions