[llvm] [Instrumentation] Support verifying machine function (PR #90931)
Arthur Eubanks via llvm-commits
llvm-commits at lists.llvm.org
Thu May 2 21:17:08 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);
----------------
aeubanks wrote:
should we add something for `Banner`, like the "Broke module found after pass ..." above? and we have a pass that breaks MIR to test this IIRC?
https://github.com/llvm/llvm-project/pull/90931
More information about the llvm-commits
mailing list