Author: Orlando Cazalet-Hyams Date: 2024-03-11T13:09:18Z New Revision: 2e66a2ac2edcfb0fa6059f6bed090c16f10be5c0
URL: https://github.com/llvm/llvm-project/commit/2e66a2ac2edcfb0fa6059f6bed090c16f10be5c0 DIFF: https://github.com/llvm/llvm-project/commit/2e66a2ac2edcfb0fa6059f6bed090c16f10be5c0.diff LOG: Revert "[RemoveDIs] Add additional debug-mode verifier checks (#84308)" This reverts commit a84eb244129f288d609307ad42ab5e6c8e1cc795. Added: Modified: llvm/lib/IR/Verifier.cpp Removed: ################################################################################ diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 0e6c01802cfb8c..ce090c3b8a7444 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -2691,11 +2691,6 @@ void Verifier::visitFunction(const Function &F) { Check(verifyAttributeCount(Attrs, FT->getNumParams()), "Attribute after last parameter!", &F); - CheckDI(F.IsNewDbgInfoFormat == F.getParent()->IsNewDbgInfoFormat, - "Function debug format should match parent module", &F, - F.IsNewDbgInfoFormat, F.getParent(), - F.getParent()->IsNewDbgInfoFormat); - bool IsIntrinsic = F.isIntrinsic(); // Check function attributes. @@ -3039,11 +3034,6 @@ void Verifier::visitBasicBlock(BasicBlock &BB) { Check(I.getParent() == &BB, "Instruction has bogus parent pointer!"); } - CheckDI(BB.IsNewDbgInfoFormat == BB.getParent()->IsNewDbgInfoFormat, - "BB debug format should match parent function", &BB, - BB.IsNewDbgInfoFormat, BB.getParent(), - BB.getParent()->IsNewDbgInfoFormat); - // Confirm that no issues arise from the debug program. if (BB.IsNewDbgInfoFormat) CheckDI(!BB.getTrailingDPValues(), "Basic Block has trailing DbgRecords!", _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
