diff --git a/mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td b/mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td --- a/mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td +++ b/mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td @@ -894,7 +894,8 @@ def LLVM_ResumeOp : LLVM_TerminatorOp<"resume"> { let arguments = (ins LLVM_Type:$value); let assemblyFormat = "$value attr-dict `:` type($value)"; - let hasVerifier = 1; + // Consistency of llvm.resume value types is checked in LLVMFuncOp::verify(). + let hasVerifier = false; string llvmInstName = "Resume"; string llvmBuilder = [{ builder.CreateResume($value); }]; string mlirBuilder = [{ diff --git a/mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp b/mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp --- a/mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp +++ b/mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp @@ -1521,17 +1521,6 @@ return success(); } -//===----------------------------------------------------------------------===// -// ResumeOp -//===----------------------------------------------------------------------===// - -LogicalResult ResumeOp::verify() { - // Consistency of llvm.resume value types is checked in LLVMFuncOp::verify(). - - // No check for personality of function - landingpad op verifies it. - return success(); -} - //===----------------------------------------------------------------------===// // Verifier for LLVM::AddressOfOp. //===----------------------------------------------------------------------===//