[PM] Fix a bug in the new loop PM when handling functions with no loops.
Without any loops, we don't even bother to build the standard analyses used by loop passes. Without these, we can't run loop analyses or invalidate them properly. Unfortunately, we did these things in the wrong order which would allow a loop analysis manager's proxy to be built but then not have the standard analyses built. When we went to do the invalidation in the proxy thing would fall apart. In the test case provided, it would actually crash. The fix is to carefully check for loops first, and to in fact build the standard analyses before building the proxy. This allows it to correctly trigger invalidation for those standard analyses. An alternative might seem to be to look at whether there are any loops when doing invalidation, but this doesn't work when during the loop pipeline run we delete the last loop. I've even included that as a test case. It is both simpler and more robust to defer building the proxy until there are definitely the standard set of analyses and indeed loops. This bug was uncovered by enabling GlobalsAA in the pipeline. llvm-svn: 294728
This commit is contained in:
parent
8dcdeaeb35
commit
f425292721
|
@ -263,9 +263,6 @@ public:
|
|||
// manager handles all the invalidation at that layer.
|
||||
PreservedAnalyses PA = LoopCanonicalizationFPM.run(F, AM);
|
||||
|
||||
// Setup the loop analysis manager from its proxy.
|
||||
LoopAnalysisManager &LAM =
|
||||
AM.getResult<LoopAnalysisManagerFunctionProxy>(F).getManager();
|
||||
// Get the loop structure for this function
|
||||
LoopInfo &LI = AM.getResult<LoopAnalysis>(F);
|
||||
|
||||
|
@ -282,6 +279,14 @@ public:
|
|||
AM.getResult<TargetLibraryAnalysis>(F),
|
||||
AM.getResult<TargetIRAnalysis>(F)};
|
||||
|
||||
// Setup the loop analysis manager from its proxy. It is important that
|
||||
// this is only done when there are loops to process and we have built the
|
||||
// LoopStandardAnalysisResults object. The loop analyses cached in this
|
||||
// manager have access to those analysis results and so it must invalidate
|
||||
// itself when they go away.
|
||||
LoopAnalysisManager &LAM =
|
||||
AM.getResult<LoopAnalysisManagerFunctionProxy>(F).getManager();
|
||||
|
||||
// A postorder worklist of loops to process.
|
||||
SmallPriorityWorklist<Loop *, 4> Worklist;
|
||||
|
||||
|
|
|
@ -0,0 +1,277 @@
|
|||
; Test that the loop PM infrastructure is invalidated appropriately.
|
||||
;
|
||||
; Check that we always nuke the LPM stuff when the loops themselves are
|
||||
; invalidated.
|
||||
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
||||
; RUN: -passes='loop(no-op-loop),invalidate<loops>,loop(no-op-loop)' \
|
||||
; RUN: | FileCheck %s --check-prefix=CHECK-LOOP-INV
|
||||
;
|
||||
; If we ended up building the standard analyses, their invalidation should nuke
|
||||
; stuff as well.
|
||||
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
||||
; RUN: -passes='loop(no-op-loop),invalidate<scalar-evolution>,loop(no-op-loop)' \
|
||||
; RUN: | FileCheck %s --check-prefix=CHECK-SCEV-INV
|
||||
;
|
||||
; Also provide a test that can delete loops after populating analyses for them.
|
||||
; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
|
||||
; RUN: -passes='loop(no-op-loop,loop-deletion),invalidate<scalar-evolution>,loop(no-op-loop)' \
|
||||
; RUN: | FileCheck %s --check-prefix=CHECK-SCEV-INV-AFTER-DELETE
|
||||
|
||||
define void @no_loops() {
|
||||
; CHECK-LOOP-INV-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on no_loops
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on no_loops
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run.
|
||||
;
|
||||
; CHECK-SCEV-INV-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on no_loops
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on no_loops
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run.
|
||||
|
||||
entry:
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @one_loop(i1* %ptr) {
|
||||
; CHECK-LOOP-INV-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on one_loop
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: AAManager
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: TargetLibraryAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: TargetIRAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-LOOP-INV-NEXT: Clearing all analysis results for: l0.header
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on one_loop
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run.
|
||||
;
|
||||
; CHECK-SCEV-INV-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on one_loop
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: AAManager
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: TargetLibraryAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: TargetIRAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-SCEV-INV-NEXT: Clearing all analysis results for: l0.header
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on one_loop
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run.
|
||||
|
||||
entry:
|
||||
br label %l0.header
|
||||
|
||||
l0.header:
|
||||
%flag0 = load volatile i1, i1* %ptr
|
||||
br i1 %flag0, label %l0.header, label %exit
|
||||
|
||||
exit:
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @nested_loops(i1* %ptr) {
|
||||
; CHECK-LOOP-INV-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on nested_loops
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: AAManager
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: TargetLibraryAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: TargetIRAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-LOOP-INV: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-LOOP-INV-NEXT: Clearing all analysis results for: l.0.header
|
||||
; CHECK-LOOP-INV-NEXT: Clearing all analysis results for: l.0.0.header
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on nested_loops
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-LOOP-INV: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run.
|
||||
;
|
||||
; CHECK-SCEV-INV-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on nested_loops
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: AAManager
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: TargetLibraryAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: TargetIRAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-SCEV-INV-NEXT: Clearing all analysis results for: l.0.header
|
||||
; CHECK-SCEV-INV-NEXT: Clearing all analysis results for: l.0.0.header
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on nested_loops
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run.
|
||||
|
||||
entry:
|
||||
br label %l.0.header
|
||||
|
||||
l.0.header:
|
||||
br label %l.0.0.header
|
||||
|
||||
l.0.0.header:
|
||||
%flag.0.0 = load volatile i1, i1* %ptr
|
||||
br i1 %flag.0.0, label %l.0.0.header, label %l.0.latch
|
||||
|
||||
l.0.latch:
|
||||
%flag.0 = load volatile i1, i1* %ptr
|
||||
br i1 %flag.0, label %l.0.header, label %exit
|
||||
|
||||
exit:
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @dead_loop() {
|
||||
; CHECK-LOOP-INV-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on dead_loop
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: AAManager
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: TargetLibraryAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: TargetIRAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-LOOP-INV-NEXT: Clearing all analysis results for: l0.header
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on dead_loop
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run.
|
||||
;
|
||||
; CHECK-SCEV-INV-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on dead_loop
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: AAManager
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: TargetLibraryAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: TargetIRAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-SCEV-INV-NEXT: Clearing all analysis results for: l0.header
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on dead_loop
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run.
|
||||
;
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-LABEL: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on dead_loop
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: AAManager
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: TargetLibraryAnalysis
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: TargetIRAnalysis
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Starting {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: NoOpLoopPass
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: LoopDeletionPass
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Clearing all analysis results for:
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Finished {{.*}}Loop pass manager run.
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}LoopAnalysisManager
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}> on dead_loop
|
||||
; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Finished {{.*}}Function pass manager run.
|
||||
|
||||
entry:
|
||||
br label %l0.header
|
||||
|
||||
l0.header:
|
||||
br i1 false, label %l0.header, label %exit
|
||||
|
||||
exit:
|
||||
ret void
|
||||
}
|
|
@ -454,11 +454,11 @@
|
|||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: DominatorTreeAnalysis
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: AssumptionAnalysis
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Invalidating all non-preserved analyses
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: AAManager
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: TargetLibraryAnalysis
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: TargetIRAnalysis
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}>
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting Loop pass manager run
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Running pass: RepeatedPass
|
||||
; CHECK-REPEAT-LOOP-PASS-NEXT: Starting Loop pass manager run
|
||||
|
|
|
@ -86,8 +86,8 @@
|
|||
; CHECK-O-NEXT: Running pass: RequireAnalysisPass<{{.*}}OptimizationRemarkEmitterAnalysis
|
||||
; CHECK-O-NEXT: Running pass: FunctionToLoopPassAdaptor<{{.*}}LoopStandardAnalysisResults{{.*}}>
|
||||
; CHECK-O-NEXT: Running analysis: LoopAnalysis
|
||||
; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
|
||||
; CHECK-O-NEXT: Running analysis: ScalarEvolutionAnalysis
|
||||
; CHECK-O-NEXT: Running analysis: InnerAnalysisManagerProxy
|
||||
; CHECK-O-NEXT: Starting Loop pass manager run.
|
||||
; CHECK-O-NEXT: Running pass: LoopRotatePass
|
||||
; CHECK-O-NEXT: Running pass: LICM
|
||||
|
|
Loading…
Reference in New Issue