[clang] [llvm] [mlir] Enforce single-operand form for llvm.loop.vectorize.predicate metadata (PR #213902)

[Michael Kruse via cfe-commits]

================
@@ -1024,6 +1024,15 @@ void Verifier::visitMDNode(const MDNode &BaseMD,
       Check(CurrentMD->getNumOperands() == 1,
             "Expecting only the metadata name", CurrentMD);
 
+    // Enforce the single-operand form of the vectorize predication metadata.
+    if (CurrentMD->getNumOperands() > 0 &&
+        (CurrentMD->getOperand(0).equalsStr(
+             "llvm.loop.vectorize.predicate.enable") ||
+         CurrentMD->getOperand(0).equalsStr(
+             "llvm.loop.vectorize.predicate.disable")))
+      Check(CurrentMD->getNumOperands() == 1,
+            "Expecting only the metadata name", CurrentMD);
+
----------------
Meinersbur wrote:

Could this be generalized with the code above?

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