|
236
|
1 ; RUN: opt %loadPolly -polly-process-unprofitable -polly-scops -disable-output < %s
|
|
150
|
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 }
|
