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

via llvm-commits llvm-commits at lists.llvm.org
Thu May 2 21:44:17 PDT 2024


================
@@ -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);
----------------
paperchalice wrote:

MIRs are verified immediately after parsing and there is no pass that convert valid mir to invalid mir.

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


More information about the llvm-commits mailing list