Get rid of redundant verifier, which is implied by the type traits.

--

PiperOrigin-RevId: 250511694

diff --git a/mlir/include/mlir/StandardOps/Ops.td b/mlir/include/mlir/StandardOps/Ops.td
index e825e89..d5a8831 100644 (file)
--- a/mlir/include/mlir/StandardOps/Ops.td
+++ b/mlir/include/mlir/StandardOps/Ops.td
@@ -583,6 +583,7 @@ def RankOp : Std_Op<"rank", [NoSideEffect]> {
 
   let arguments = (ins AnyTensor);
   let results = (outs Index);
+  let verifier = ?;
 
   let builders = [OpBuilder<
     "Builder *builder, OperationState *result, Value *tensor", [{

diff --git a/mlir/lib/StandardOps/Ops.cpp b/mlir/lib/StandardOps/Ops.cpp
index 7c73d5b..d82ccdf 100644 (file)
--- a/mlir/lib/StandardOps/Ops.cpp
+++ b/mlir/lib/StandardOps/Ops.cpp
@@ -1806,14 +1806,6 @@ static ParseResult parseRankOp(OpAsmParser *parser, OperationState *result) {
                  parser->addTypeToList(indexType, result->types));
 }
 
-static LogicalResult verify(RankOp op) {
-  auto type = op.getOperand()->getType();
-  if (!type.isa<TensorType>()) {
-    return op.emitOpError("requires an operand that is a tensor");
-  }
-  return success();
-}
-
 OpFoldResult RankOp::fold(ArrayRef<Attribute> operands) {
   // Constant fold rank when the rank of the tensor is known.
   auto type = getOperand()->getType();