Revert "[mlir][irdl] Add verification of IRDL ops"

This reverts commit 52761cb.

Author: math-fehr

mlir/include/mlir/Dialect/IRDL/IR/CMakeLists.txt

@@ -1,12 +1,5 @@
 add_mlir_dialect(IRDL irdl)
 
-# Add IRDL interfaces
-set(LLVM_TARGET_DEFINITIONS IRDLInterfaces.td)
-mlir_tablegen(IRDLInterfaces.h.inc -gen-op-interface-decls)
-mlir_tablegen(IRDLInterfaces.cpp.inc -gen-op-interface-defs)
-add_public_tablegen_target(MLIRIRDLInterfacesIncGen)
-add_dependencies(mlir-generic-headers MLIRIRDLInterfacesIncGen)
-
 # Add IRDL operations
 set(LLVM_TARGET_DEFINITIONS IRDLOps.td)
 mlir_tablegen(IRDLOps.h.inc -gen-op-decls)

mlir/include/mlir/Dialect/IRDL/IR/IRDL.h

@@ -13,7 +13,6 @@
 #ifndef MLIR_DIALECT_IRDL_IR_IRDL_H_
 #define MLIR_DIALECT_IRDL_IR_IRDL_H_
 
-#include "mlir/Dialect/IRDL/IR/IRDLInterfaces.h"
 #include "mlir/Dialect/IRDL/IR/IRDLTraits.h"
 #include "mlir/IR/SymbolTable.h"
 #include "mlir/Interfaces/InferTypeOpInterface.h"

mlir/include/mlir/Dialect/IRDL/IR/IRDLInterfaces.h

@@ -15,7 +15,6 @@
 
 include "IRDL.td"
 include "IRDLTypes.td"
-include "IRDLInterfaces.td"
 include "mlir/Interfaces/SideEffectInterfaces.td"
 include "mlir/Interfaces/InferTypeOpInterface.td"
 include "mlir/IR/SymbolInterfaces.td"
@@ -265,8 +264,7 @@ def IRDL_ResultsOp : IRDL_Op<"results", [HasParent<"OperationOp">]> {
 //===----------------------------------------------------------------------===//
 
 class IRDL_ConstraintOp<string mnemonic, list<Trait> traits = []>
-    : IRDL_Op<mnemonic, [VerifyConstraintInterface,
-        DeclareOpInterfaceMethods<VerifyConstraintInterface>] # traits> {
+    : IRDL_Op<mnemonic, traits> {
 }
 
 def IRDL_Is : IRDL_ConstraintOp<"is",

mlir/include/mlir/Dialect/IRDL/IR/IRDLInterfaces.td

@@ -1,6 +1,5 @@
 add_mlir_dialect_library(MLIRIRDL
   IR/IRDL.cpp
-  IR/IRDLOps.cpp
   IRDLLoading.cpp
   IRDLVerifiers.cpp
 

mlir/include/mlir/Dialect/IRDL/IR/IRDLOps.td

@@ -71,8 +71,6 @@ LogicalResult DialectOp::verify() {
   return success();
 }
 
-#include "mlir/Dialect/IRDL/IR/IRDLInterfaces.cpp.inc"
-
 #define GET_TYPEDEF_CLASSES
 #include "mlir/Dialect/IRDL/IR/IRDLTypesGen.cpp.inc"