| Andrew Trick | f950ce8 | 2013-01-06 05:59:39 +0000 | [diff] [blame^] | 1 | ; RUN: opt -loop-reduce -S < %s | FileCheck %s |
| 2 | ; |
| 3 | ; Indirect branch in the preheader crashes replaceCongruentIVs. |
| 4 | ; rdar://12910141 |
| 5 | |
| 6 | target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128" |
| 7 | |
| 8 | ; CHECK: @test |
| 9 | ; CHECK: bb8: |
| 10 | ; CHECK-NEXT: phi i8 |
| 11 | ; CHECK-NEXT: phi i8 |
| 12 | ; CHECK: ret void |
| 13 | define void @test() nounwind ssp { |
| 14 | bb: |
| 15 | br label %bb190 |
| 16 | |
| 17 | bb8: ; preds = %bb190, %bb11 |
| 18 | %tmp = phi i8 [ %tmp14, %bb11 ], [ 25, %bb190 ] |
| 19 | %tmp9 = phi i8 [ %tmp12, %bb11 ], [ 25, %bb190 ] |
| 20 | %tmp10 = add i8 %tmp, -5 |
| 21 | indirectbr i8* undef, [label %bb11, label %bb15] |
| 22 | |
| 23 | bb11: ; preds = %bb8 |
| 24 | %tmp12 = add i8 %tmp9, 1 |
| 25 | %tmp13 = add i8 %tmp9, -19 |
| 26 | %tmp14 = add i8 %tmp, 1 |
| 27 | indirectbr i8* undef, [label %bb8] |
| 28 | |
| 29 | bb15: ; preds = %bb8 |
| 30 | indirectbr i8* undef, [label %bb16] |
| 31 | |
| 32 | bb16: ; preds = %bb16, %bb15 |
| 33 | indirectbr i8* undef, [label %bb37, label %bb190] |
| 34 | |
| 35 | |
| 36 | bb37: ; preds = %bb190 |
| 37 | indirectbr i8* undef, [label %bb38] |
| 38 | |
| 39 | bb38: ; preds = %bb37, %bb5 |
| 40 | ret void |
| 41 | |
| 42 | bb190: ; preds = %bb189, %bb187 |
| 43 | indirectbr i8* undef, [label %bb37, label %bb8] |
| 44 | } |