Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / ee8d31c49e12a4d1fc10940a8fa644e5351239ed / . / llvm / test / Transforms / LoopRotate / pr35210.ll
blob: 3033ca84732c589413a3832cb116f3afb011e881 [file] [log] [blame]
Craig Topperbf6495f2017-11-15 00:22:42 +0000[diff] [blame]1;RUN: opt %s -passes='adce,loop(rotate),adce' -S -debug-pass-manager -debug-only=loop-rotate 2>&1 | FileCheck %s
NAKAMURA Takumi5ce714a2017-11-15 06:46:58 +0000[diff] [blame]2;REQUIRES: asserts
Craig Topperbf6495f2017-11-15 00:22:42 +0000[diff] [blame]3
4; This test is to make sure we invalidate the post dominator pass after loop rotate simplifies the loop latch.
5; The adce passes are here to make sure post dominator analysis is required.
6
7; CHECK: Starting llvm::Function pass manager run.
8; CHECK-NEXT: Running pass: ADCEPass on f
Craig Topperbf6495f2017-11-15 00:22:42 +0000[diff] [blame]9; CHECK-NEXT: Running analysis: PostDominatorTreeAnalysis on f
10; CHECK-NEXT: Running pass: FunctionToLoopPassAdaptor{{.*}} on f
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]11; CHECK-NEXT: Starting llvm::Function pass manager run.
12; CHECK-NEXT: Running pass: LoopSimplifyPass on f
Craig Topperbf6495f2017-11-15 00:22:42 +0000[diff] [blame]13; CHECK-NEXT: Running analysis: LoopAnalysis on f
Chijun Simaeacad792018-08-04 02:50:12 +0000[diff] [blame]14; CHECK-NEXT: Running analysis: DominatorTreeAnalysis on f
Craig Topperbf6495f2017-11-15 00:22:42 +0000[diff] [blame]15; CHECK-NEXT: Running analysis: AssumptionAnalysis on f
Fedor Sergeev02e7f022017-12-29 08:16:06 +0000[diff] [blame]16; CHECK-NEXT: Running pass: LCSSAPass on f
17; CHECK-NEXT: Finished llvm::Function pass manager run.
Craig Topperbf6495f2017-11-15 00:22:42 +0000[diff] [blame]18; CHECK-NEXT: Running analysis: AAManager on f
19; CHECK-NEXT: Running analysis: TargetLibraryAnalysis on f
20; CHECK-NEXT: Running analysis: ScalarEvolutionAnalysis on f
21; CHECK-NEXT: Running analysis: TargetIRAnalysis on f
22; CHECK-NEXT: Running analysis: InnerAnalysisManagerProxy{{.*}} on f
23; CHECK-NEXT: Starting Loop pass manager run.
Fedor Sergeevee8d31c2018-09-20 17:08:45 +0000[diff] [blame^]24; CHECK-NEXT: Running analysis: PassInstrumentationAnalysis on bb
Craig Topperbf6495f2017-11-15 00:22:42 +0000[diff] [blame]25; CHECK-NEXT: Running pass: LoopRotatePass on Loop at depth 1 containing: %bb<header><exiting>,%bb4<latch>
26; CHECK-NEXT: Folding loop latch bb4 into bb
27; CHECK-NEXT: Invalidating all non-preserved analyses for: bb
28; CHECK-NEXT: Finished Loop pass manager run.
29; CHECK-NEXT: Invalidating all non-preserved analyses for: f
30; CHECK-NEXT: Invalidating analysis: PostDominatorTreeAnalysis on f
31; CHECK-NEXT: Running pass: ADCEPass on f
32; CHECK-NEXT: Running analysis: PostDominatorTreeAnalysis on f
33; CHECK-NEXT: Finished llvm::Function pass manager run.
34
35; CHECK-LABEL: define i8 @f() {
36; CHECK-NEXT : entry:
37; CHECK-NEXT : br label %bb
38; CHECK-NEXT :
39; CHECK-NEXT : bb: ; preds = %bb, %entry
40; CHECK-NEXT : %mode.0 = phi i8 [ 0, %entry ], [ %indvar.next, %bb ]
41; CHECK-NEXT : %tmp5 = icmp eq i8 %mode.0, 1
42; CHECK-NEXT : %indvar.next = add i8 %mode.0, 1
43; CHECK-NEXT : br i1 %tmp5, label %bb5, label %bb
44; CHECK-NEXT :
45; CHECK-NEXT : bb5: ; preds = %bb
46; CHECK-NEXT : tail call void @raise_exception() #0
47; CHECK-NEXT : unreachable
48; CHECK-NEXT : }
49; CHECK-NEXT :
50; CHECK-NEXT : ; Function Attrs: noreturn
51; CHECK-NEXT : declare void @raise_exception() #0
52; CHECK-NEXT :
53; CHECK-NEXT : attributes #0 = { noreturn }
54
55define i8 @f() {
56entry:
57 br label %bb
58
59bb: ; preds = %bb4, %entry
60 %mode.0 = phi i8 [ 0, %entry ], [ %indvar.next, %bb4 ]
61 %tmp5 = icmp eq i8 %mode.0, 1
62 br i1 %tmp5, label %bb5, label %bb4
63
64bb4: ; preds = %bb2
65 %indvar.next = add i8 %mode.0, 1
66 br label %bb
67
68bb5: ; preds = %bb2
69 tail call void @raise_exception() #0
70 unreachable
71}
72
73; Function Attrs: noreturn
74declare void @raise_exception() #0
75
76attributes #0 = { noreturn }