Index: include/llvm/Analysis/CGSCCPassManager.h =================================================================== --- include/llvm/Analysis/CGSCCPassManager.h +++ include/llvm/Analysis/CGSCCPassManager.h @@ -441,7 +441,10 @@ PreservedAnalyses PassPA = Pass.run(*C, CGAM, CG, UR); - PI.runAfterPass(Pass, *C); + if (UR.InvalidatedSCCs.count(C)) + PI.runAfterPass(Pass); + else + PI.runAfterPass(Pass, *C); // Update the SCC and RefSCC if necessary. C = UR.UpdatedC ? UR.UpdatedC : C; @@ -762,7 +765,10 @@ PreservedAnalyses PassPA = Pass.run(*C, AM, CG, UR); - PI.runAfterPass(Pass, *C); + if (UR.InvalidatedSCCs.count(C)) + PI.runAfterPass(Pass); + else + PI.runAfterPass(Pass, *C); // If the SCC structure has changed, bail immediately and let the outer // CGSCC layer handle any iteration to reflect the refined structure. Index: include/llvm/IR/PassInstrumentation.h =================================================================== --- include/llvm/IR/PassInstrumentation.h +++ include/llvm/IR/PassInstrumentation.h @@ -69,7 +69,9 @@ class PassInstrumentationCallbacks { public: // Before/After callbacks accept IRUnits, so they need to take them - // as pointers, wrapped with llvm::Any + // as constant pointers, wrapped with llvm::Any. + // For the case when IRUnit has been invalidated we pass nullptr + // (currently can happen only for AfterPass). using BeforePassFunc = bool(StringRef, Any); using AfterPassFunc = void(StringRef, Any); using BeforeAnalysisFunc = void(StringRef, Any); @@ -139,7 +141,7 @@ } /// AfterPass instrumentation point - takes \p Pass instance that has - /// just been executed and constant reference to IR it operates on. + /// just been executed and constant reference to \p IR it operates on. template void runAfterPass(const PassT &Pass, const IRUnitT &IR) const { if (Callbacks) @@ -147,6 +149,16 @@ C(Pass.name(), llvm::Any(&IR)); } + /// AfterPass instrumentation point - overload that takes just a \p Pass + /// that has been executed and does not take any IR at all. For use when + /// IR has been invalidated by \p Pass execution. + template + void runAfterPass(const PassT &Pass) const { + if (Callbacks) + for (auto &C : Callbacks->AfterPassCallbacks) + C(Pass.name(), llvm::Any((const IRUnitT *)nullptr)); + } + /// BeforeAnalysis instrumentation point - takes \p Analysis instance /// to be executed and constant reference to IR it operates on. template Index: include/llvm/Transforms/Scalar/LoopPassManager.h =================================================================== --- include/llvm/Transforms/Scalar/LoopPassManager.h +++ include/llvm/Transforms/Scalar/LoopPassManager.h @@ -352,7 +352,11 @@ continue; PreservedAnalyses PassPA = Pass.run(*L, LAM, LAR, Updater); - PI.runAfterPass(Pass, *L); + // do not pass deleted Loop into the instrumentation + if (Updater.skipCurrentLoop()) + PI.runAfterPass(Pass); + else + PI.runAfterPass(Pass, *L); // FIXME: We should verify the set of analyses relevant to Loop passes // are preserved. Index: lib/Analysis/CGSCCPassManager.cpp =================================================================== --- lib/Analysis/CGSCCPassManager.cpp +++ lib/Analysis/CGSCCPassManager.cpp @@ -79,7 +79,10 @@ PreservedAnalyses PassPA = Pass->run(*C, AM, G, UR); - PI.runAfterPass(*Pass, *C); + if (UR.InvalidatedSCCs.count(C)) + PI.runAfterPass(*Pass); + else + PI.runAfterPass(*Pass, *C); // Update the SCC if necessary. C = UR.UpdatedC ? UR.UpdatedC : C; Index: lib/Passes/StandardInstrumentations.cpp =================================================================== --- lib/Passes/StandardInstrumentations.cpp +++ lib/Passes/StandardInstrumentations.cpp @@ -41,8 +41,10 @@ const Module *M = nullptr; if (any_isa(IR)) { M = any_cast(IR); + assert(M && "module should be valid for printing"); } else if (any_isa(IR)) { const Function *F = any_cast(IR); + assert(F && "function should be valid for printing"); if (!llvm::isFunctionInPrintList(F->getName())) return; if (!llvm::forcePrintModuleIR()) { @@ -53,7 +55,9 @@ Extra = formatv(" (function: {0})\n", F->getName()); } else if (any_isa(IR)) { const LazyCallGraph::SCC *C = any_cast(IR); - assert(C); + // We get nullptr here when current SCC gets invalidated by the pass. + if (C == nullptr) + return; if (!llvm::forcePrintModuleIR()) { Extra = formatv(" (scc: {0})\n", C->getName()); bool BannerPrinted = false; @@ -81,6 +85,11 @@ Extra = formatv(" (for scc: {0})\n", C->getName()); } else if (any_isa(IR)) { const Loop *L = any_cast(IR); + // Current loop might have been invalidated by the pass, + // then we will get nullptr here. + if (L == nullptr) + return; + const Function *F = L->getHeader()->getParent(); if (!isFunctionInPrintList(F->getName())) return; @@ -124,6 +133,8 @@ return; SmallString<20> Banner = formatv("*** IR Dump After {0} ***", PassID); + // TODO: handle cases when IR is nullptr (i.e. has been invalidated) + // but we still need to print the module due to forcePrintModuleIR. unwrapAndPrint(Banner, IR); return; } Index: lib/Transforms/Scalar/LoopPassManager.cpp =================================================================== --- lib/Transforms/Scalar/LoopPassManager.cpp +++ lib/Transforms/Scalar/LoopPassManager.cpp @@ -44,7 +44,11 @@ PreservedAnalyses PassPA = Pass->run(L, AM, AR, U); - PI.runAfterPass(*Pass, L); + // do not pass deleted Loop into the instrumentation + if (U.skipCurrentLoop()) + PI.runAfterPass(*Pass); + else + PI.runAfterPass(*Pass, L); // If the loop was deleted, abort the run and return to the outer walk. if (U.skipCurrentLoop()) { Index: test/Other/loop-deletion-printer.ll =================================================================== --- /dev/null +++ test/Other/loop-deletion-printer.ll @@ -0,0 +1,24 @@ +; Make sure that Loop which was invalidated by loop-deletion +; does not lead to problems for -print-after-all and is just skipped. +; +; RUN: opt < %s -disable-output \ +; RUN: -passes=loop-instsimplify -print-after-all 2>&1 | FileCheck %s -check-prefix=SIMPLIFY +; RUN: opt < %s -disable-output \ +; RUN: -passes=loop-deletion,loop-instsimplify -print-after-all 2>&1 | FileCheck %s -check-prefix=DELETED +; +; SIMPLIFY: IR Dump {{.*}} LoopInstSimplifyPass +; DELETED-NOT: IR Dump {{.*}}LoopInstSimplifyPass +; DELETED-NOT: IR Dump {{.*}}LoopDeletionPass + +define void @deleteme() { +entry: + br label %loop +loop: + %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ] + %iv.next = add i32 %iv, 1 + %check = icmp ult i32 %iv.next, 3 + br i1 %check, label %loop, label %exit +exit: + ret void +} + Index: test/Other/scc-deleted-printer.ll =================================================================== --- /dev/null +++ test/Other/scc-deleted-printer.ll @@ -0,0 +1,26 @@ +; RUN: opt < %s 2>&1 -disable-output \ +; RUN: -passes=inline -print-before-all -print-after-all | FileCheck %s -check-prefix=INL +; RUN: opt < %s 2>&1 -disable-output \ +; RUN: -passes=inline -print-before-all -print-after-all -print-module-scope | FileCheck %s -check-prefix=INL-MOD + +; INL: IR Dump Before {{InlinerPass .*scc: .tester, foo}} +; INL-NOT: IR Dump After {{InlinerPass}} +; INL: IR Dump Before {{InlinerPass .*scc: .tester}} +; INL: IR Dump After {{InlinerPass .*scc: .tester}} + +; INL-MOD: IR Dump Before {{InlinerPass .*scc: .tester, foo}} +; INL-MOD-NOT: IR Dump After {{InlinerPass}} +; INL-MOD: IR Dump Before {{InlinerPass .*scc: .tester}} +; INL-MOD: IR Dump After {{InlinerPass .*scc: .tester}} + + +define void @tester() noinline { + call void @foo() + ret void +} + +define internal void @foo() alwaysinline { + call void @tester() + ret void +} +