[CIR] Remove implicit options from tablegen files

[xlauko]

This mirrors incubator changes from llvm/clangir#1602

[xlauko]

• [CIR] Remove implicit options from tablegen files #138860 👈 (View in Graphite)
• [CIR] Refactor VoidPtr constraint to CIR_VoidPtrType #138859
• [CIR] Remove inferred context from pointer type getters #138858
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[llvmbot]

@llvm/pr-subscribers-clangir

@llvm/pr-subscribers-clang

Author: Henrich Lauko (xlauko)

Changes

This mirrors incubator changes from llvm/clangir#1602

---

Full diff: https://github.com/llvm/llvm-project/pull/138860.diff

1 Files Affected:

• (modified) clang/include/clang/CIR/Dialect/IR/CIROps.td (-9)

diff --git a/clang/include/clang/CIR/Dialect/IR/CIROps.td b/clang/include/clang/CIR/Dialect/IR/CIROps.td
index 422c89c4f9391..9ff58752511f2 100644
--- a/clang/include/clang/CIR/Dialect/IR/CIROps.td
+++ b/clang/include/clang/CIR/Dialect/IR/CIROps.td
@@ -384,8 +384,6 @@ def AllocaOp : CIR_Op<"alloca", [
     `]`
     ($annotations^)? attr-dict
   }];
-
-  let hasVerifier = 0;
 }
 
 //===----------------------------------------------------------------------===//
@@ -1512,9 +1510,6 @@ def TernaryOp : CIR_Op<"ternary",
       >
   ];
 
-  // All constraints already verified elsewhere.
-  let hasVerifier = 0;
-
   let assemblyFormat = [{
     `(` $cond `,`
       `true` $trueRegion `,`
@@ -1652,9 +1647,6 @@ def GetGlobalOp : CIR_Op<"get_global",
   let assemblyFormat = [{
     $name `:` qualified(type($addr)) attr-dict
   }];
-
-  // `GetGlobalOp` is fully verified by its traits.
-  let hasVerifier = 0;
 }
 
 //===----------------------------------------------------------------------===//
@@ -1837,7 +1829,6 @@ class CIR_CallOpBase<string mnemonic, list<Trait> extra_traits = []>
 
   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

[andykaylor]

lgtm

[xlauko]

Merge activity

• May 7, 1:16 PM EDT: A user started a stack merge that includes this pull request via Graphite.
• May 7, 1:24 PM EDT: Graphite rebased this pull request as part of a merge.
• May 7, 1:27 PM EDT: Graphite rebased this pull request as part of a merge.
• May 7, 1:30 PM EDT: Graphite rebased this pull request as part of a merge.
• May 7, 1:31 PM EDT: @xlauko merged this pull request with Graphite.