Author: Andres-Salamanca Date: 2025-05-19T13:52:21-07:00 New Revision: 114e4508b2fd8df34740572383e749f3184a2a89
URL: https://github.com/llvm/llvm-project/commit/114e4508b2fd8df34740572383e749f3184a2a89 DIFF: https://github.com/llvm/llvm-project/commit/114e4508b2fd8df34740572383e749f3184a2a89.diff LOG: [CIR] Remove the empty verifier in cir.ifOp (#140457) The empty verifier is redundant because cir::IfOp has no constraints to enforce its verify() always succeeds. Added: Modified: clang/include/clang/CIR/Dialect/IR/CIROps.td clang/lib/CIR/Dialect/IR/CIRDialect.cpp Removed: ################################################################################ diff --git a/clang/include/clang/CIR/Dialect/IR/CIROps.td b/clang/include/clang/CIR/Dialect/IR/CIROps.td index 71b9a816669bc..d3411973129a4 100644 --- a/clang/include/clang/CIR/Dialect/IR/CIROps.td +++ b/clang/include/clang/CIR/Dialect/IR/CIROps.td @@ -553,7 +553,6 @@ def IfOp : CIR_Op<"if", let arguments = (ins CIR_BoolType:$condition); let regions = (region AnyRegion:$thenRegion, AnyRegion:$elseRegion); let hasCustomAssemblyFormat=1; - let hasVerifier=1; let skipDefaultBuilders=1; let builders = [ OpBuilder<(ins "mlir::Value":$cond, "bool":$withElseRegion, diff --git a/clang/lib/CIR/Dialect/IR/CIRDialect.cpp b/clang/lib/CIR/Dialect/IR/CIRDialect.cpp index 9c80c48fa4039..bd1aa1f4fe5bb 100644 --- a/clang/lib/CIR/Dialect/IR/CIRDialect.cpp +++ b/clang/lib/CIR/Dialect/IR/CIRDialect.cpp @@ -751,8 +751,6 @@ void cir::IfOp::build(OpBuilder &builder, OperationState &result, Value cond, elseBuilder(builder, result.location); } -LogicalResult cir::IfOp::verify() { return success(); } - //===----------------------------------------------------------------------===// // ScopeOp //===----------------------------------------------------------------------===// _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
