[llvm] [NFC][LLVM][Verifier] Eliminate redundant checks for GC intrinsics (PR #206890)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 30 23:57:34 PDT 2026


================
@@ -3267,25 +3267,10 @@ void Verifier::visitFunction(const Function &F) {
   }
 
   // Check intrinsics' signatures.
-  switch (IID) {
-  case Intrinsic::experimental_gc_get_pointer_base: {
+  if (IID == Intrinsic::experimental_gc_get_pointer_base) {
     FunctionType *FT = F.getFunctionType();
-    Check(FT->getNumParams() == 1, "wrong number of parameters", F);
-    Check(isa<PointerType>(F.getReturnType()),
-          "gc.get.pointer.base must return a pointer", F);
     Check(FT->getParamType(0) == F.getReturnType(),
----------------
nikic wrote:

This shouldn't need custom auto upgrade support, it should be handled automatically through intrinsic remangling.

https://github.com/llvm/llvm-project/pull/206890


More information about the llvm-commits mailing list