[IR][PGO] Verify the structure of VP metadata.

mtrofin · mtrofin · commit f144d7f489ca · 2025-06-24T13:14:09.000-07:00
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp
@@ -5008,9 +5008,10 @@ void Verifier::visitProfMetadata(Instruction &I, MDNode *MD) {
       Check(mdconst::dyn_extract<ConstantInt>(MDO),
             "!prof brunch_weights operand is not a const int");
     }
+  } else if (ProfName == "VP") {
+    
   } else {
-    Check(ProfName == "VP", "expected either branch_weights or VP profile name",
-          MD);
+    CheckFailed("expected either branch_weights or VP profile name", MD);
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -5008,9 +5008,10 @@ void Verifier::visitProfMetadata(Instruction &I, MDNode *MD) {`
`5008`	`5008`	`Check(mdconst::dyn_extract<ConstantInt>(MDO),`
`5009`	`5009`	`"!prof brunch_weights operand is not a const int");`
`5010`	`5010`	`}`
	`5011`	`+ } else if (ProfName == "VP") {`
	`5012`	`+`
`5011`	`5013`	`} else {`
`5012`		`- Check(ProfName == "VP", "expected either branch_weights or VP profile name",`
`5013`		`- MD);`
	`5014`	`+ CheckFailed("expected either branch_weights or VP profile name", MD);`
`5014`	`5015`	`}`
`5015`	`5016`	`}`
`5016`	`5017`