| Craig Topper | bf6495f | 2017-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 Takumi | 5ce714a | 2017-11-15 06:46:58 +0000 | [diff] [blame^] | 2 | ;REQUIRES: asserts |
| Craig Topper | bf6495f | 2017-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 |
| 9 | ; CHECK-NEXT: Running analysis: DominatorTreeAnalysis on f |
| 10 | ; CHECK-NEXT: Running analysis: PostDominatorTreeAnalysis on f |
| 11 | ; CHECK-NEXT: Running pass: FunctionToLoopPassAdaptor{{.*}} on f |
| 12 | ; CHECK-NEXT: Running analysis: LoopAnalysis on f |
| 13 | ; CHECK-NEXT: Running analysis: AssumptionAnalysis on f |
| 14 | ; CHECK-NEXT: Running analysis: AAManager on f |
| 15 | ; CHECK-NEXT: Running analysis: TargetLibraryAnalysis on f |
| 16 | ; CHECK-NEXT: Running analysis: ScalarEvolutionAnalysis on f |
| 17 | ; CHECK-NEXT: Running analysis: TargetIRAnalysis on f |
| 18 | ; CHECK-NEXT: Running analysis: InnerAnalysisManagerProxy{{.*}} on f |
| 19 | ; CHECK-NEXT: Starting Loop pass manager run. |
| 20 | ; CHECK-NEXT: Running pass: LoopRotatePass on Loop at depth 1 containing: %bb<header><exiting>,%bb4<latch> |
| 21 | ; CHECK-NEXT: Folding loop latch bb4 into bb |
| 22 | ; CHECK-NEXT: Invalidating all non-preserved analyses for: bb |
| 23 | ; CHECK-NEXT: Finished Loop pass manager run. |
| 24 | ; CHECK-NEXT: Invalidating all non-preserved analyses for: f |
| 25 | ; CHECK-NEXT: Invalidating analysis: PostDominatorTreeAnalysis on f |
| 26 | ; CHECK-NEXT: Running pass: ADCEPass on f |
| 27 | ; CHECK-NEXT: Running analysis: PostDominatorTreeAnalysis on f |
| 28 | ; CHECK-NEXT: Finished llvm::Function pass manager run. |
| 29 | |
| 30 | ; CHECK-LABEL: define i8 @f() { |
| 31 | ; CHECK-NEXT : entry: |
| 32 | ; CHECK-NEXT : br label %bb |
| 33 | ; CHECK-NEXT : |
| 34 | ; CHECK-NEXT : bb: ; preds = %bb, %entry |
| 35 | ; CHECK-NEXT : %mode.0 = phi i8 [ 0, %entry ], [ %indvar.next, %bb ] |
| 36 | ; CHECK-NEXT : %tmp5 = icmp eq i8 %mode.0, 1 |
| 37 | ; CHECK-NEXT : %indvar.next = add i8 %mode.0, 1 |
| 38 | ; CHECK-NEXT : br i1 %tmp5, label %bb5, label %bb |
| 39 | ; CHECK-NEXT : |
| 40 | ; CHECK-NEXT : bb5: ; preds = %bb |
| 41 | ; CHECK-NEXT : tail call void @raise_exception() #0 |
| 42 | ; CHECK-NEXT : unreachable |
| 43 | ; CHECK-NEXT : } |
| 44 | ; CHECK-NEXT : |
| 45 | ; CHECK-NEXT : ; Function Attrs: noreturn |
| 46 | ; CHECK-NEXT : declare void @raise_exception() #0 |
| 47 | ; CHECK-NEXT : |
| 48 | ; CHECK-NEXT : attributes #0 = { noreturn } |
| 49 | |
| 50 | define i8 @f() { |
| 51 | entry: |
| 52 | br label %bb |
| 53 | |
| 54 | bb: ; preds = %bb4, %entry |
| 55 | %mode.0 = phi i8 [ 0, %entry ], [ %indvar.next, %bb4 ] |
| 56 | %tmp5 = icmp eq i8 %mode.0, 1 |
| 57 | br i1 %tmp5, label %bb5, label %bb4 |
| 58 | |
| 59 | bb4: ; preds = %bb2 |
| 60 | %indvar.next = add i8 %mode.0, 1 |
| 61 | br label %bb |
| 62 | |
| 63 | bb5: ; preds = %bb2 |
| 64 | tail call void @raise_exception() #0 |
| 65 | unreachable |
| 66 | } |
| 67 | |
| 68 | ; Function Attrs: noreturn |
| 69 | declare void @raise_exception() #0 |
| 70 | |
| 71 | attributes #0 = { noreturn } |