Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 555cf42f380d86f35e761c3a2179c761356ab152 / . / llvm / test / Other / loop-pm-invalidation.ll
blob: 3fef7a4a5082c84a17e8dab12c14c464b5bb1df2 [file] [log] [blame]
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]1; Test that the loop PM infrastructure is invalidated appropriately.
2;
3; Check that we always nuke the LPM stuff when the loops themselves are
4; invalidated.
5; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
6; RUN: -passes='loop(no-op-loop),invalidate<loops>,loop(no-op-loop)' \
7; RUN: | FileCheck %s --check-prefix=CHECK-LOOP-INV
8;
9; If we ended up building the standard analyses, their invalidation should nuke
10; stuff as well.
11; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
12; RUN: -passes='loop(no-op-loop),invalidate<scalar-evolution>,loop(no-op-loop)' \
13; RUN: | FileCheck %s --check-prefix=CHECK-SCEV-INV
14;
15; Also provide a test that can delete loops after populating analyses for them.
16; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \
17; RUN: -passes='loop(no-op-loop,loop-deletion),invalidate<scalar-evolution>,loop(no-op-loop)' \
18; RUN: | FileCheck %s --check-prefix=CHECK-SCEV-INV-AFTER-DELETE
19
20define void @no_loops() {
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]21; CHECK-LOOP-INV: Starting {{.*}}Function pass manager run
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]22; CHECK-LOOP-INV-NEXT: Starting {{.*}}Function pass manager run
23; CHECK-LOOP-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]24; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
25; CHECK-LOOP-INV-NEXT: Running analysis: DominatorTreeAnalysis
26; CHECK-LOOP-INV-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]27; CHECK-LOOP-INV-NEXT: Running pass: LCSSAPass
28; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]29; CHECK-LOOP-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}LoopAnalysis
30; CHECK-LOOP-INV-NEXT: Invalidating all non-preserved analyses
31; CHECK-LOOP-INV-NEXT: Invalidating analysis: LoopAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]32; CHECK-LOOP-INV-NEXT: Starting {{.*}}Function pass manager run
33; CHECK-LOOP-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]34; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]35; CHECK-LOOP-INV-NEXT: Running pass: LCSSAPass
36; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]37; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run.
38;
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]39; CHECK-SCEV-INV: Starting {{.*}}Function pass manager run
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]40; CHECK-SCEV-INV-NEXT: Starting {{.*}}Function pass manager run
41; CHECK-SCEV-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]42; CHECK-SCEV-INV-NEXT: Running analysis: LoopAnalysis
43; CHECK-SCEV-INV-NEXT: Running analysis: DominatorTreeAnalysis
44; CHECK-SCEV-INV-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]45; CHECK-SCEV-INV-NEXT: Running pass: LCSSAPass
46; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]47; CHECK-SCEV-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
48; CHECK-SCEV-INV-NEXT: Invalidating all non-preserved analyses
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]49; CHECK-SCEV-INV-NEXT: Starting {{.*}}Function pass manager run
50; CHECK-SCEV-INV-NEXT: Running pass: LoopSimplifyPass
51; CHECK-SCEV-INV-NEXT: Running pass: LCSSAPass
52; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]53; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run.
54
55entry:
56 ret void
57}
58
59define void @one_loop(i1* %ptr) {
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]60; CHECK-LOOP-INV: Starting {{.*}}Function pass manager run
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]61; CHECK-LOOP-INV-NEXT: Starting {{.*}}Function pass manager run
62; CHECK-LOOP-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]63; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
64; CHECK-LOOP-INV-NEXT: Running analysis: DominatorTreeAnalysis
65; CHECK-LOOP-INV-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]66; CHECK-LOOP-INV-NEXT: Running pass: LCSSAPass
67; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]68; CHECK-LOOP-INV-NEXT: Running analysis: AAManager
69; CHECK-LOOP-INV-NEXT: Running analysis: TargetLibraryAnalysis
70; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
71; CHECK-LOOP-INV-NEXT: Running analysis: TargetIRAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]72; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]73; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
74; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
75; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
76; CHECK-LOOP-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}LoopAnalysis
77; CHECK-LOOP-INV-NEXT: Invalidating all non-preserved analyses
Sanjoy Das005b88c2017-10-04 22:02:27 +0000[diff] [blame]78; CHECK-LOOP-INV-NEXT: Clearing all analysis results for: <possibly invalidated loop>
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]79; CHECK-LOOP-INV-NEXT: Invalidating analysis: LoopAnalysis
80; CHECK-LOOP-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]81; CHECK-LOOP-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]82; CHECK-LOOP-INV-NEXT: Starting {{.*}}Function pass manager run
83; CHECK-LOOP-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]84; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]85; CHECK-LOOP-INV-NEXT: Running pass: LCSSAPass
86; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]87; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]88; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]89; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
90; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
91; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
92; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run.
93;
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]94; CHECK-SCEV-INV: Starting {{.*}}Function pass manager run
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]95; CHECK-SCEV-INV-NEXT: Starting {{.*}}Function pass manager run
96; CHECK-SCEV-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]97; CHECK-SCEV-INV-NEXT: Running analysis: LoopAnalysis
98; CHECK-SCEV-INV-NEXT: Running analysis: DominatorTreeAnalysis
99; CHECK-SCEV-INV-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]100; CHECK-SCEV-INV-NEXT: Running pass: LCSSAPass
101; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]102; CHECK-SCEV-INV-NEXT: Running analysis: AAManager
103; CHECK-SCEV-INV-NEXT: Running analysis: TargetLibraryAnalysis
104; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
105; CHECK-SCEV-INV-NEXT: Running analysis: TargetIRAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]106; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]107; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
108; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
109; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
110; CHECK-SCEV-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
111; CHECK-SCEV-INV-NEXT: Invalidating all non-preserved analyses
Sanjoy Das005b88c2017-10-04 22:02:27 +0000[diff] [blame]112; CHECK-SCEV-INV-NEXT: Clearing all analysis results for: <possibly invalidated loop>
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]113; CHECK-SCEV-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]114; CHECK-SCEV-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]115; CHECK-SCEV-INV-NEXT: Starting {{.*}}Function pass manager run
116; CHECK-SCEV-INV-NEXT: Running pass: LoopSimplifyPass
117; CHECK-SCEV-INV-NEXT: Running pass: LCSSAPass
118; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]119; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]120; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]121; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
122; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
123; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
124; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run.
125
126entry:
127 br label %l0.header
128
129l0.header:
130 %flag0 = load volatile i1, i1* %ptr
131 br i1 %flag0, label %l0.header, label %exit
132
133exit:
134 ret void
135}
136
137define void @nested_loops(i1* %ptr) {
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]138; CHECK-LOOP-INV: Starting {{.*}}Function pass manager run
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]139; CHECK-LOOP-INV-NEXT: Starting {{.*}}Function pass manager run
140; CHECK-LOOP-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]141; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
142; CHECK-LOOP-INV-NEXT: Running analysis: DominatorTreeAnalysis
143; CHECK-LOOP-INV-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]144; CHECK-LOOP-INV-NEXT: Running pass: LCSSAPass
145; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]146; CHECK-LOOP-INV-NEXT: Running analysis: AAManager
147; CHECK-LOOP-INV-NEXT: Running analysis: TargetLibraryAnalysis
148; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
149; CHECK-LOOP-INV-NEXT: Running analysis: TargetIRAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]150; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]151; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
152; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
153; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
154; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
155; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
156; CHECK-LOOP-INV: Finished {{.*}}Loop pass manager run.
157; CHECK-LOOP-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}LoopAnalysis
158; CHECK-LOOP-INV-NEXT: Invalidating all non-preserved analyses
Sanjoy Das005b88c2017-10-04 22:02:27 +0000[diff] [blame]159; CHECK-LOOP-INV-NEXT: Clearing all analysis results for: <possibly invalidated loop>
160; CHECK-LOOP-INV-NEXT: Clearing all analysis results for: <possibly invalidated loop>
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]161; CHECK-LOOP-INV-NEXT: Invalidating analysis: LoopAnalysis
162; CHECK-LOOP-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]163; CHECK-LOOP-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]164; CHECK-LOOP-INV-NEXT: Starting {{.*}}Function pass manager run
165; CHECK-LOOP-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]166; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]167; CHECK-LOOP-INV-NEXT: Running pass: LCSSAPass
168; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]169; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]170; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]171; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
172; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
173; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
174; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
175; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
176; CHECK-LOOP-INV: Finished {{.*}}Loop pass manager run.
177; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run.
178;
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]179; CHECK-SCEV-INV: Starting {{.*}}Function pass manager run
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]180; CHECK-SCEV-INV-NEXT: Starting {{.*}}Function pass manager run
181; CHECK-SCEV-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]182; CHECK-SCEV-INV-NEXT: Running analysis: LoopAnalysis
183; CHECK-SCEV-INV-NEXT: Running analysis: DominatorTreeAnalysis
184; CHECK-SCEV-INV-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]185; CHECK-SCEV-INV-NEXT: Running pass: LCSSAPass
186; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]187; CHECK-SCEV-INV-NEXT: Running analysis: AAManager
188; CHECK-SCEV-INV-NEXT: Running analysis: TargetLibraryAnalysis
189; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
190; CHECK-SCEV-INV-NEXT: Running analysis: TargetIRAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]191; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]192; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
193; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
194; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
195; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
196; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
197; CHECK-SCEV-INV: Finished {{.*}}Loop pass manager run.
198; CHECK-SCEV-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
199; CHECK-SCEV-INV-NEXT: Invalidating all non-preserved analyses
Sanjoy Das005b88c2017-10-04 22:02:27 +0000[diff] [blame]200; CHECK-SCEV-INV-NEXT: Clearing all analysis results for: <possibly invalidated loop>
201; CHECK-SCEV-INV-NEXT: Clearing all analysis results for: <possibly invalidated loop>
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]202; CHECK-SCEV-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]203; CHECK-SCEV-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]204; CHECK-SCEV-INV-NEXT: Starting {{.*}}Function pass manager run
205; CHECK-SCEV-INV-NEXT: Running pass: LoopSimplifyPass
206; CHECK-SCEV-INV-NEXT: Running pass: LCSSAPass
207; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]208; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]209; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]210; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
211; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
212; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
213; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
214; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
215; CHECK-SCEV-INV: Finished {{.*}}Loop pass manager run.
216; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run.
217
218entry:
219 br label %l.0.header
220
221l.0.header:
222 br label %l.0.0.header
223
224l.0.0.header:
225 %flag.0.0 = load volatile i1, i1* %ptr
226 br i1 %flag.0.0, label %l.0.0.header, label %l.0.latch
227
228l.0.latch:
229 %flag.0 = load volatile i1, i1* %ptr
230 br i1 %flag.0, label %l.0.header, label %exit
231
232exit:
233 ret void
234}
235
236define void @dead_loop() {
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]237; CHECK-LOOP-INV: Starting {{.*}}Function pass manager run
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]238; CHECK-LOOP-INV-NEXT: Starting {{.*}}Function pass manager run
239; CHECK-LOOP-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]240; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
241; CHECK-LOOP-INV-NEXT: Running analysis: DominatorTreeAnalysis
242; CHECK-LOOP-INV-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]243; CHECK-LOOP-INV-NEXT: Running pass: LCSSAPass
244; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]245; CHECK-LOOP-INV-NEXT: Running analysis: AAManager
246; CHECK-LOOP-INV-NEXT: Running analysis: TargetLibraryAnalysis
247; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
248; CHECK-LOOP-INV-NEXT: Running analysis: TargetIRAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]249; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]250; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
251; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
252; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
253; CHECK-LOOP-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}LoopAnalysis
254; CHECK-LOOP-INV-NEXT: Invalidating all non-preserved analyses
Sanjoy Das005b88c2017-10-04 22:02:27 +0000[diff] [blame]255; CHECK-LOOP-INV-NEXT: Clearing all analysis results for: <possibly invalidated loop>
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]256; CHECK-LOOP-INV-NEXT: Invalidating analysis: LoopAnalysis
257; CHECK-LOOP-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]258; CHECK-LOOP-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]259; CHECK-LOOP-INV-NEXT: Starting {{.*}}Function pass manager run
260; CHECK-LOOP-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]261; CHECK-LOOP-INV-NEXT: Running analysis: LoopAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]262; CHECK-LOOP-INV-NEXT: Running pass: LCSSAPass
263; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]264; CHECK-LOOP-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]265; CHECK-LOOP-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]266; CHECK-LOOP-INV-NEXT: Starting {{.*}}Loop pass manager run.
267; CHECK-LOOP-INV-NEXT: Running pass: NoOpLoopPass
268; CHECK-LOOP-INV-NEXT: Finished {{.*}}Loop pass manager run.
269; CHECK-LOOP-INV-NEXT: Finished {{.*}}Function pass manager run.
270;
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]271; CHECK-SCEV-INV: Starting {{.*}}Function pass manager run
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]272; CHECK-SCEV-INV-NEXT: Starting {{.*}}Function pass manager run
273; CHECK-SCEV-INV-NEXT: Running pass: LoopSimplifyPass
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]274; CHECK-SCEV-INV-NEXT: Running analysis: LoopAnalysis
275; CHECK-SCEV-INV-NEXT: Running analysis: DominatorTreeAnalysis
276; CHECK-SCEV-INV-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]277; CHECK-SCEV-INV-NEXT: Running pass: LCSSAPass
278; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]279; CHECK-SCEV-INV-NEXT: Running analysis: AAManager
280; CHECK-SCEV-INV-NEXT: Running analysis: TargetLibraryAnalysis
281; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
282; CHECK-SCEV-INV-NEXT: Running analysis: TargetIRAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]283; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]284; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
285; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
286; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
287; CHECK-SCEV-INV-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
288; CHECK-SCEV-INV-NEXT: Invalidating all non-preserved analyses
Sanjoy Das005b88c2017-10-04 22:02:27 +0000[diff] [blame]289; CHECK-SCEV-INV-NEXT: Clearing all analysis results for: <possibly invalidated loop>
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]290; CHECK-SCEV-INV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]291; CHECK-SCEV-INV-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]292; CHECK-SCEV-INV-NEXT: Starting {{.*}}Function pass manager run
293; CHECK-SCEV-INV-NEXT: Running pass: LoopSimplifyPass
294; CHECK-SCEV-INV-NEXT: Running pass: LCSSAPass
295; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]296; CHECK-SCEV-INV-NEXT: Running analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]297; CHECK-SCEV-INV-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]298; CHECK-SCEV-INV-NEXT: Starting {{.*}}Loop pass manager run.
299; CHECK-SCEV-INV-NEXT: Running pass: NoOpLoopPass
300; CHECK-SCEV-INV-NEXT: Finished {{.*}}Loop pass manager run.
301; CHECK-SCEV-INV-NEXT: Finished {{.*}}Function pass manager run.
302;
Yuanfang Chen555cf422020-07-28 17:08:24 -0700[diff] [blame^]303; CHECK-SCEV-INV-AFTER-DELETE-LABEL: Running pass: LoopSimplifyPass on dead_loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]304; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: LoopAnalysis
305; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: DominatorTreeAnalysis
306; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: AssumptionAnalysis
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]307; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: LCSSAPass
308; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]309; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: AAManager
310; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: TargetLibraryAnalysis
311; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: ScalarEvolutionAnalysis
312; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: TargetIRAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]313; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]314; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Starting {{.*}}Loop pass manager run.
315; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: NoOpLoopPass
316; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: LoopDeletionPass
317; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Clearing all analysis results for:
318; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Finished {{.*}}Loop pass manager run.
319; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Invalidating all non-preserved analyses
320; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: InvalidateAnalysisPass<{{.*}}ScalarEvolutionAnalysis
321; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Invalidating all non-preserved analyses
322; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Invalidating analysis: ScalarEvolutionAnalysis
Chandler Carruth7bc60282017-02-10 08:48:50 +0000[diff] [blame]323; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Invalidating analysis: InnerAnalysisManagerProxy<{{.*}}Loop
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]324; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Starting {{.*}}Function pass manager run
325; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: LoopSimplifyPass
326; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Running pass: LCSSAPass
327; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Finished {{.*}}Function pass manager run
Chandler Carruthf4252922017-02-10 08:26:58 +0000[diff] [blame]328; CHECK-SCEV-INV-AFTER-DELETE-NEXT: Finished {{.*}}Function pass manager run.
329
330entry:
331 br label %l0.header
332
333l0.header:
334 br i1 false, label %l0.header, label %exit
335
336exit:
337 ret void
338}