Move verifier down to parent change.

Created using spr 1.3.6-beta.1

Author: Prabhuk

llvm/include/llvm/IR/Metadata.h

@@ -1259,6 +1259,12 @@ class MDNode : public Metadata {
   bool isReplaceable() const { return isTemporary() || isAlwaysReplaceable(); }
   bool isAlwaysReplaceable() const { return getMetadataID() == DIAssignIDKind; }
 
+  bool hasGeneralizedMDString() const {
+    if (getNumOperands() < 2 || !isa<MDString>(getOperand(1)))
+      return false;
+    return cast<MDString>(getOperand(1))->getString().ends_with(".generalized");
+  }
+
   unsigned getNumTemporaryUses() const {
     assert(isTemporary() && "Only for temporaries");
     return Context.getReplaceableUses()->getNumUses();

llvm/lib/IR/Verifier.cpp

@@ -5060,8 +5060,7 @@ void Verifier::visitCalleeTypeMetadata(Instruction &I, MDNode *MD) {
         &I);
   for (const auto &Op : MD->operands()) {
     auto *TypeMD = cast<MDNode>(Op.get());
-    MDString *TypeIdStr = cast<MDString>(TypeMD->getOperand(1));
-    Check(TypeIdStr->getString().ends_with(".generalized"),
+    Check(TypeMD->hasGeneralizedMDString(),
           "Invalid \"callee_type\" type identifier", &I);
   }
 }