Remove omp.workshare verifier

ivanradanov · ivanradanov · commit e6e69596be16 · 2024-08-19T12:59:46.000+09:00
diff --git a/mlir/include/mlir/Dialect/OpenMP/OpenMPOps.td b/mlir/include/mlir/Dialect/OpenMP/OpenMPOps.td
@@ -306,8 +306,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
@@ -1692,10 +1692,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
`@@ -306,8 +306,6 @@ def WorkshareOp : OpenMP_Op<"workshare", traits = [`
`306`	`306`	`let builders = [`
`307`	`307`	`OpBuilder<(ins CArg<"const WorkshareOperands &">:$clauses)>`
`308`	`308`	`];`
`309`		`-`
`310`		`- let hasVerifier = 1;`
`311`	`309`	`}`
`312`	`310`
`313`	`311`	`def WorkshareLoopWrapperOp : OpenMP_Op<"workshare_loop_wrapper", traits = [`