| Johannes Doerfert | dca2837 | 2015-11-03 00:28:07 +0000 | [diff] [blame] | 1 | ; RUN: opt %loadPolly -polly-process-unprofitable -analyze -polly-scops < %s |
| 2 | ; |
| 3 | ; This test contains a infinite loop (bb13) and crashed the domain generation |
| 4 | ; at some point. Just verify it does not anymore. |
| 5 | ; |
| 6 | target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| 7 | |
| 8 | define void @hoge() #0 { |
| 9 | bb: |
| 10 | %tmp5 = alloca [11 x [101 x i32]], align 16 |
| 11 | br i1 false, label %bb24, label %bb6 |
| 12 | |
| 13 | bb6: ; preds = %bb |
| 14 | br label %bb8 |
| 15 | |
| 16 | bb7: ; preds = %bb23 |
| 17 | unreachable |
| 18 | |
| 19 | bb8: ; preds = %bb23, %bb6 |
| 20 | %tmp9 = getelementptr inbounds [11 x [101 x i32]], [11 x [101 x i32]]* %tmp5, i64 0, i64 0, i64 0 |
| 21 | br label %bb10 |
| 22 | |
| 23 | bb10: ; preds = %bb8 |
| 24 | %tmp = load i32, i32* %tmp9, align 4 |
| 25 | br i1 false, label %bb23, label %bb11 |
| 26 | |
| 27 | bb11: ; preds = %bb10 |
| 28 | %tmp12 = load i32, i32* %tmp9, align 4 |
| 29 | br label %bb13 |
| 30 | |
| 31 | bb13: ; preds = %bb13, %bb11 |
| 32 | %tmp14 = phi i32 [ %tmp12, %bb11 ], [ %tmp19, %bb13 ] |
| 33 | %tmp15 = add nsw i32 %tmp14, 1 |
| 34 | %tmp16 = sext i32 %tmp15 to i64 |
| 35 | %tmp17 = getelementptr inbounds [11 x [101 x i32]], [11 x [101 x i32]]* %tmp5, i64 0, i64 0, i64 %tmp16 |
| 36 | %tmp18 = load i32, i32* %tmp17, align 4 |
| 37 | %tmp19 = add nsw i32 %tmp14, -1 |
| 38 | %tmp20 = load i32, i32* %tmp9, align 4 |
| 39 | %tmp21 = sext i32 %tmp20 to i64 |
| 40 | %tmp22 = icmp slt i64 0, %tmp21 |
| 41 | br label %bb13 |
| 42 | |
| 43 | bb23: ; preds = %bb10 |
| 44 | br i1 undef, label %bb8, label %bb7 |
| 45 | |
| 46 | bb24: ; preds = %bb |
| 47 | ret void |
| 48 | } |
| 49 | |
| 50 | define void @hoge2() #0 { |
| 51 | bb: |
| 52 | %tmp5 = alloca [11 x [101 x i32]], align 16 |
| 53 | br i1 false, label %bb24, label %bb6 |
| 54 | |
| 55 | bb6: ; preds = %bb |
| 56 | br label %bb8 |
| 57 | |
| 58 | bb7: ; preds = %bb23 |
| 59 | unreachable |
| 60 | |
| 61 | bb8: ; preds = %bb23, %bb6 |
| 62 | %tmp9 = getelementptr inbounds [11 x [101 x i32]], [11 x [101 x i32]]* %tmp5, i64 0, i64 0, i64 0 |
| 63 | br label %bb10 |
| 64 | |
| 65 | bb10: ; preds = %bb8 |
| 66 | %tmp = load i32, i32* %tmp9, align 4 |
| 67 | br i1 false, label %bb23, label %bb11 |
| 68 | |
| 69 | bb11: ; preds = %bb10 |
| 70 | %tmp12 = load i32, i32* %tmp9, align 4 |
| 71 | br label %bb13 |
| 72 | |
| 73 | bb13: ; preds = %bb13, %bb11 |
| 74 | %tmp14 = phi i32 [ %tmp12, %bb11 ], [ %tmp19, %bb13.split ] |
| 75 | %tmp15 = add nsw i32 %tmp14, 1 |
| 76 | %tmp16 = sext i32 %tmp15 to i64 |
| 77 | %tmp17 = getelementptr inbounds [11 x [101 x i32]], [11 x [101 x i32]]* %tmp5, i64 0, i64 0, i64 %tmp16 |
| 78 | %tmp18 = load i32, i32* %tmp17, align 4 |
| 79 | br label %bb13.split |
| 80 | |
| 81 | bb13.split: |
| 82 | %tmp19 = add nsw i32 %tmp14, -1 |
| 83 | %tmp20 = load i32, i32* %tmp9, align 4 |
| 84 | %tmp21 = sext i32 %tmp20 to i64 |
| 85 | %tmp22 = icmp slt i64 0, %tmp21 |
| 86 | br label %bb13 |
| 87 | |
| 88 | bb23: ; preds = %bb10 |
| 89 | br i1 undef, label %bb8, label %bb7 |
| 90 | |
| 91 | bb24: ; preds = %bb |
| 92 | ret void |
| 93 | } |
