[llvm] [mlir] [IR][PGO] Verify invalid `MD_prof` metadata on instructions (PR #145576)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,39 @@
+; Test MD_prof validation
+
+; RUN: split-file %s %t
+; RUN: opt -passes=verify %t/valid.ll --disable-output
+; RUN: not opt -passes=verify %t/invalid1.ll --disable-output 2>&1 | FileCheck %s
+; RUN: not opt -passes=verify %t/invalid2.ll --disable-output 2>&1 | FileCheck %s
----------------
nikic wrote:

The usual way to do this is passing `%s` to FileCheck but using a different `--check-prefix` for each file. But given that the error message is the same here, this should be fine as-is...

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