[llvm] [Instrumentation] Support verifying machine function (PR #90931)

[Arthur Eubanks via llvm-commits]

================
@@ -1486,6 +1486,12 @@ void VerifyInstrumentation::registerCallbacks(
                                          "\"{0}\", compilation aborted!",
                                          P));
           }
+
+          // TODO: Use complete MachineVerifierPass.
+          if (auto *MF = unwrapIR<MachineFunction>(IR)) {
+            dbgs() << "Verifying machine function " << MF->getName() << '\n';
+            verifyMachineFunction("", *MF);
----------------
aeubanks wrote:

ah I was thinking of `RequireAllMachineFunctionPropertiesPass`. could you add something like that pass which creates invalid MIR, then use that for testing?

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