Remove omp.workshare verifier

ivanradanov · ivanradanov · commit d443b23d136b · 2024-08-22T12:15:16.000+09:00
diff --git a/mlir/include/mlir/Dialect/OpenMP/OpenMPOps.td b/mlir/include/mlir/Dialect/OpenMP/OpenMPOps.td
@@ -307,8 +307,6 @@ def WorkshareOp : OpenMP_Op<"workshare", traits = [
   let builders = [
     OpBuilder<(ins CArg<"const WorkshareOperands &">:$clauses)>
   ];
-
-  let hasVerifier = 1;
 }
 
 def WorkshareLoopWrapperOp : OpenMP_Op<"workshare_loop_wrapper", traits = [
diff --git a/mlir/lib/Dialect/OpenMP/IR/OpenMPDialect.cpp b/mlir/lib/Dialect/OpenMP/IR/OpenMPDialect.cpp
@@ -1698,10 +1698,6 @@ void WorkshareOp::build(OpBuilder &builder, OperationState &state,
   WorkshareOp::build(builder, state, clauses.nowait);
 }
 
-LogicalResult WorkshareOp::verify() {
-  return (*this)->getRegion(0).getBlocks().size() == 1 ? success() : failure();
-}
-
 //===----------------------------------------------------------------------===//
 // WsloopOp
 //===----------------------------------------------------------------------===//

Original file line number	Diff line number	Diff line change
`@@ -307,8 +307,6 @@ def WorkshareOp : OpenMP_Op<"workshare", traits = [`
`307`	`307`	`let builders = [`
`308`	`308`	`OpBuilder<(ins CArg<"const WorkshareOperands &">:$clauses)>`
`309`	`309`	`];`
`310`		`-`
`311`		`- let hasVerifier = 1;`
`312`	`310`	`}`
`313`	`311`
`314`	`312`	`def WorkshareLoopWrapperOp : OpenMP_Op<"workshare_loop_wrapper", traits = [`