1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -loop-deletion -S | FileCheck %s
; RUN: opt < %s -passes='loop(loop-deletion)' -S | FileCheck %s
; Make sure we do not get the miscompile on this test with irreducible CFG.
define i16 @test_01(i16 %j, i16 %k, i16 %recurs) { ; If we have %j: 1, %k: 1, %recurs: 0
; CHECK-LABEL: @test_01(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i16 [[RECURS:%.*]], 0
; CHECK-NEXT: br i1 [[TOBOOL_NOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]]
; CHECK: if.then:
; CHECK-NEXT: [[CALL:%.*]] = tail call i16 @test_01(i16 0, i16 0, i16 0)
; CHECK-NEXT: br label [[IF_END]]
; CHECK: if.end:
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i16 [[J:%.*]], 0
; CHECK-NEXT: br label [[BB2:%.*]]
; CHECK: bb2:
; CHECK-NEXT: [[K_ADDR_0:%.*]] = phi i16 [ [[K:%.*]], [[IF_END]] ], [ [[K_ADDR_2:%.*]], [[BB12:%.*]] ]
; CHECK-NEXT: [[RESULT_0:%.*]] = phi i16 [ 0, [[IF_END]] ], [ 20, [[BB12]] ]
; CHECK-NEXT: br i1 [[CMP]], label [[BB12]], label [[BB4:%.*]]
; CHECK: bb4:
; CHECK-NEXT: [[K_ADDR_1:%.*]] = phi i16 [ [[K_ADDR_0]], [[BB2]] ], [ [[K_ADDR_2]], [[BB12]] ]
; CHECK-NEXT: [[X_1:%.*]] = phi i16 [ 0, [[BB2]] ], [ 1, [[BB12]] ]
; CHECK-NEXT: [[RESULT_1:%.*]] = phi i16 [ [[RESULT_0]], [[BB2]] ], [ 10, [[BB12]] ]
; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i16 [[K_ADDR_1]], 0
; CHECK-NEXT: br i1 [[CMP2]], label [[BB13:%.*]], label [[BB12]]
; CHECK: bb12:
; CHECK-NEXT: [[K_ADDR_2]] = phi i16 [ [[K_ADDR_0]], [[BB2]] ], [ 0, [[BB4]] ]
; CHECK-NEXT: [[X_2:%.*]] = phi i16 [ 1, [[BB2]] ], [ [[X_1]], [[BB4]] ]
; CHECK-NEXT: [[CMP5:%.*]] = icmp eq i16 [[X_2]], 0
; CHECK-NEXT: br i1 [[CMP5]], label [[BB2]], label [[BB4]]
; CHECK: bb13:
; CHECK-NEXT: [[RESULT_1_LCSSA:%.*]] = phi i16 [ [[RESULT_1]], [[BB4]] ]
; CHECK-NEXT: ret i16 [[RESULT_1_LCSSA]]
;
entry:
%tobool.not = icmp eq i16 %recurs, 0 ; 1
br i1 %tobool.not, label %if.end, label %if.then ; -> if.end
if.then: ; preds = %entry
%call = tail call i16 @test_01(i16 0, i16 0, i16 0)
br label %if.end
if.end: ; preds = %if.then, %entry
%cmp = icmp eq i16 %j, 0 ; 0
br label %bb2 ; -> bb2
bb2: ; preds = %bb12, %if.end
%k.addr.0 = phi i16 [ %k, %if.end ], [ %k.addr.2, %bb12 ] ; 1
%result.0 = phi i16 [ 0, %if.end ], [ 20, %bb12 ] ; 0
br i1 %cmp, label %bb12, label %bb4 ; %cmp: 0 -> bb4
bb4: ; preds = %bb12, %bb2
%k.addr.1 = phi i16 [ %k.addr.0, %bb2 ], [ %k.addr.2, %bb12 ] ; 1
%x.1 = phi i16 [ 0, %bb2 ], [ 1, %bb12 ] ; 0
%result.1 = phi i16 [ %result.0, %bb2 ], [ 10, %bb12 ]
%cmp2 = icmp eq i16 %k.addr.1, 0 ; 0
br i1 %cmp2, label %bb13, label %bb12 ; -> bb12
bb12: ; preds = %bb4, %bb2
%k.addr.2 = phi i16 [ %k.addr.0, %bb2 ], [ 0, %bb4 ] ; 0
%x.2 = phi i16 [ 1, %bb2 ], [ %x.1, %bb4 ] ; 0
%cmp5 = icmp eq i16 %x.2, 0 ; 1
br i1 %cmp5, label %bb2, label %bb4 ; -> bb2
bb13: ; preds = %bb4
%result.1.lcssa = phi i16 [ %result.1, %bb4 ]
ret i16 %result.1.lcssa
}
; Another nasty case of irreducible CFG. Make sure we do not crash here.
define void @test_02() {
; CHECK-LABEL: @test_02(
; CHECK-NEXT: bb:
; CHECK-NEXT: br label [[BB17:%.*]]
; CHECK: bb1:
; CHECK-NEXT: ret void
; CHECK: bb2:
; CHECK-NEXT: unreachable
; CHECK: bb3:
; CHECK-NEXT: unreachable
; CHECK: bb4:
; CHECK-NEXT: unreachable
; CHECK: bb5:
; CHECK-NEXT: unreachable
; CHECK: bb6:
; CHECK-NEXT: unreachable
; CHECK: bb7:
; CHECK-NEXT: unreachable
; CHECK: bb8:
; CHECK-NEXT: unreachable
; CHECK: bb9:
; CHECK-NEXT: switch i8 undef, label [[BB13:%.*]] [
; CHECK-NEXT: i8 3, label [[BB10:%.*]]
; CHECK-NEXT: i8 43, label [[BB10]]
; CHECK-NEXT: i8 37, label [[BB11:%.*]]
; CHECK-NEXT: i8 2, label [[BB12:%.*]]
; CHECK-NEXT: i8 4, label [[BB12]]
; CHECK-NEXT: i8 20, label [[BB12]]
; CHECK-NEXT: i8 42, label [[BB12]]
; CHECK-NEXT: i8 44, label [[BB12]]
; CHECK-NEXT: i8 54, label [[BB12]]
; CHECK-NEXT: ]
; CHECK: bb10:
; CHECK-NEXT: unreachable
; CHECK: bb11:
; CHECK-NEXT: unreachable
; CHECK: bb12:
; CHECK-NEXT: br label [[BB19:%.*]]
; CHECK: bb13:
; CHECK-NEXT: unreachable
; CHECK: bb14:
; CHECK-NEXT: unreachable
; CHECK: bb15:
; CHECK-NEXT: unreachable
; CHECK: bb16:
; CHECK-NEXT: br label [[BB17]]
; CHECK: bb17:
; CHECK-NEXT: [[TMP:%.*]] = icmp sgt i32 0, 1
; CHECK-NEXT: br i1 [[TMP]], label [[BB18:%.*]], label [[BB19]]
; CHECK: bb18:
; CHECK-NEXT: br label [[BB20:%.*]]
; CHECK: bb19:
; CHECK-NEXT: br label [[BB20]]
; CHECK: bb20:
; CHECK-NEXT: switch i8 undef, label [[BB16:%.*]] [
; CHECK-NEXT: i8 0, label [[BB1:%.*]]
; CHECK-NEXT: i8 1, label [[BB1]]
; CHECK-NEXT: i8 8, label [[BB1]]
; CHECK-NEXT: i8 9, label [[BB1]]
; CHECK-NEXT: i8 12, label [[BB1]]
; CHECK-NEXT: i8 13, label [[BB1]]
; CHECK-NEXT: i8 40, label [[BB1]]
; CHECK-NEXT: i8 41, label [[BB1]]
; CHECK-NEXT: i8 52, label [[BB1]]
; CHECK-NEXT: i8 53, label [[BB1]]
; CHECK-NEXT: i8 55, label [[BB15:%.*]]
; CHECK-NEXT: i8 15, label [[BB14:%.*]]
; CHECK-NEXT: i8 29, label [[BB9:%.*]]
; CHECK-NEXT: i8 37, label [[BB8:%.*]]
; CHECK-NEXT: i8 69, label [[BB3:%.*]]
; CHECK-NEXT: i8 89, label [[BB7:%.*]]
; CHECK-NEXT: i8 85, label [[BB6:%.*]]
; CHECK-NEXT: i8 81, label [[BB5:%.*]]
; CHECK-NEXT: i8 65, label [[BB2:%.*]]
; CHECK-NEXT: i8 73, label [[BB4:%.*]]
; CHECK-NEXT: ]
;
bb:
br label %bb17
bb1: ; preds = %bb20, %bb20, %bb20, %bb20, %bb20, %bb20, %bb20, %bb20, %bb20, %bb20
ret void
bb2: ; preds = %bb20
unreachable
bb3: ; preds = %bb20
unreachable
bb4: ; preds = %bb20
unreachable
bb5: ; preds = %bb20
unreachable
bb6: ; preds = %bb20
unreachable
bb7: ; preds = %bb20
unreachable
bb8: ; preds = %bb20
unreachable
bb9: ; preds = %bb20
switch i8 undef, label %bb13 [
i8 3, label %bb10
i8 43, label %bb10
i8 37, label %bb11
i8 2, label %bb12
i8 4, label %bb12
i8 20, label %bb12
i8 42, label %bb12
i8 44, label %bb12
i8 54, label %bb12
]
bb10: ; preds = %bb9, %bb9
unreachable
bb11: ; preds = %bb9
unreachable
bb12: ; preds = %bb9, %bb9, %bb9, %bb9, %bb9, %bb9
br label %bb19
bb13: ; preds = %bb9
unreachable
bb14: ; preds = %bb20
unreachable
bb15: ; preds = %bb20
unreachable
bb16: ; preds = %bb20
br label %bb17
bb17: ; preds = %bb16, %bb
%tmp = icmp sgt i32 0, 1
br i1 %tmp, label %bb18, label %bb19
bb18: ; preds = %bb17
br label %bb20
bb19: ; preds = %bb17, %bb12
br label %bb20
bb20: ; preds = %bb19, %bb18
switch i8 undef, label %bb16 [
i8 0, label %bb1
i8 1, label %bb1
i8 8, label %bb1
i8 9, label %bb1
i8 12, label %bb1
i8 13, label %bb1
i8 40, label %bb1
i8 41, label %bb1
i8 52, label %bb1
i8 53, label %bb1
i8 55, label %bb15
i8 15, label %bb14
i8 29, label %bb9
i8 37, label %bb8
i8 69, label %bb3
i8 89, label %bb7
i8 85, label %bb6
i8 81, label %bb5
i8 65, label %bb2
i8 73, label %bb4
]
}
|
