[CIR] Remove implicit options from tablegen files (#138860)
This mirrors incubator changes from https://github.com/llvm/clangir/pull/1602
diff --git a/clang/include/clang/CIR/Dialect/IR/CIROps.td b/clang/include/clang/CIR/Dialect/IR/CIROps.td
index 8d01db0..7ffa104 100644
--- a/clang/include/clang/CIR/Dialect/IR/CIROps.td
+++ b/clang/include/clang/CIR/Dialect/IR/CIROps.td
@@ -384,8 +384,6 @@
`]`
($annotations^)? attr-dict
}];
-
- let hasVerifier = 0;
}
//===----------------------------------------------------------------------===//
@@ -1514,9 +1512,6 @@
>
];
- // All constraints already verified elsewhere.
- let hasVerifier = 0;
-
let assemblyFormat = [{
`(` $cond `,`
`true` $trueRegion `,`
@@ -1654,9 +1649,6 @@
let assemblyFormat = [{
$name `:` qualified(type($addr)) attr-dict
}];
-
- // `GetGlobalOp` is fully verified by its traits.
- let hasVerifier = 0;
}
//===----------------------------------------------------------------------===//
@@ -1839,7 +1831,6 @@
let hasCustomAssemblyFormat = 1;
let skipDefaultBuilders = 1;
- let hasVerifier = 0;
// TODO(cir): for now cir.call is just a tiny shell of what it will become.
// More attributes, arguments, and properties will be added in the future as
