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

[Fehr Mathieu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c8a581c331f27a1ece8e42206831e56b7a222d26
      https://github.com/llvm/llvm-project/commit/c8a581c331f27a1ece8e42206831e56b7a222d26
  Author: Mathieu Fehr <mathieu.fehr at gmail.com>
  Date:   2023-05-17 (Wed, 17 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