[all-commits] [llvm/llvm-project] 52761c: [mlir][irdl] Add verification of IRDL ops

[Fehr Mathieu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 52761cb99164acd4ea76f91fc16a3e40ec94b898
      https://github.com/llvm/llvm-project/commit/52761cb99164acd4ea76f91fc16a3e40ec94b898
  Author: Mathieu Fehr <mathieu.fehr at gmail.com>
  Date:   2023-05-12 (Fri, 12 May 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/IRDL/IR/CMakeLists.txt
    M mlir/include/mlir/Dialect/IRDL/IR/IRDL.h
    A mlir/include/mlir/Dialect/IRDL/IR/IRDLInterfaces.h
    A mlir/include/mlir/Dialect/IRDL/IR/IRDLInterfaces.td
    M mlir/include/mlir/Dialect/IRDL/IR/IRDLOps.td
    M mlir/lib/Dialect/IRDL/CMakeLists.txt
    M mlir/lib/Dialect/IRDL/IR/IRDL.cpp
    A mlir/lib/Dialect/IRDL/IR/IRDLOps.cpp
    M mlir/lib/Dialect/IRDL/IRDLLoading.cpp
    M mlir/test/Dialect/IRDL/testd.mlir

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