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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -passes=simplifycfg -S < %s | FileCheck %s
; cleanuppad/cleanupret
define void @unreachable_cleanuppad_linear(i64 %shapes.1) personality ptr null {
; CHECK-LABEL: define void @unreachable_cleanuppad_linear(
; CHECK-SAME: i64 [[SHAPES_1:%.*]]) personality ptr null {
; CHECK-NEXT: [[START:.*:]]
; CHECK-NEXT: [[_7:%.*]] = icmp ult i64 0, [[SHAPES_1]]
; CHECK-NEXT: ret void
;
start:
%_7 = icmp ult i64 0, %shapes.1
ret void
funclet:
%cleanuppad = cleanuppad within none []
br label %funclet_end
funclet_end:
cleanupret from %cleanuppad unwind to caller
}
define void @unreachable_cleanuppad_linear_middle_block(i64 %shapes.1) personality ptr null {
; CHECK-LABEL: define void @unreachable_cleanuppad_linear_middle_block(
; CHECK-SAME: i64 [[SHAPES_1:%.*]]) personality ptr null {
; CHECK-NEXT: [[START:.*:]]
; CHECK-NEXT: [[_7:%.*]] = icmp ult i64 0, [[SHAPES_1]]
; CHECK-NEXT: ret void
;
start:
%_7 = icmp ult i64 0, %shapes.1
ret void
funclet:
%cleanuppad = cleanuppad within none []
br label %middle_block
middle_block:
%tmp1 = add i64 %shapes.1, 42
br label %funclet_end
funclet_end:
cleanupret from %cleanuppad unwind to caller
}
define void @unreachable_cleanuppad_multiple_predecessors(i64 %shapes.1) personality ptr null {
; CHECK-LABEL: define void @unreachable_cleanuppad_multiple_predecessors(
; CHECK-SAME: i64 [[SHAPES_1:%.*]]) personality ptr null {
; CHECK-NEXT: [[START:.*:]]
; CHECK-NEXT: [[_7:%.*]] = icmp ult i64 0, [[SHAPES_1]]
; CHECK-NEXT: ret void
;
start:
%_7 = icmp ult i64 0, %shapes.1
ret void
funclet:
%cleanuppad = cleanuppad within none []
switch i64 %shapes.1, label %otherwise [ i64 0, label %one
i64 1, label %two
i64 42, label %three ]
one:
br label %funclet_end
two:
br label %funclet_end
three:
br label %funclet_end
otherwise:
br label %funclet_end
funclet_end:
cleanupret from %cleanuppad unwind to caller
}
; catchpad/catchret
define void @unreachable_catchpad_linear(i64 %shapes.1) personality ptr null {
; CHECK-LABEL: define void @unreachable_catchpad_linear(
; CHECK-SAME: i64 [[SHAPES_1:%.*]]) personality ptr null {
; CHECK-NEXT: [[START:.*:]]
; CHECK-NEXT: [[_7:%.*]] = icmp ult i64 0, [[SHAPES_1]]
; CHECK-NEXT: ret void
;
start:
%_7 = icmp ult i64 0, %shapes.1
ret void
dispatch:
%cs = catchswitch within none [label %funclet] unwind to caller
funclet:
%cleanuppad = catchpad within %cs []
br label %funclet_end
funclet_end:
catchret from %cleanuppad to label %unreachable
unreachable:
unreachable
}
define void @unreachable_catchpad_multiple_predecessors(i64 %shapes.1) personality ptr null {
; CHECK-LABEL: define void @unreachable_catchpad_multiple_predecessors(
; CHECK-SAME: i64 [[SHAPES_1:%.*]]) personality ptr null {
; CHECK-NEXT: [[START:.*:]]
; CHECK-NEXT: [[_7:%.*]] = icmp ult i64 0, [[SHAPES_1]]
; CHECK-NEXT: ret void
;
start:
%_7 = icmp ult i64 0, %shapes.1
ret void
dispatch:
%cs = catchswitch within none [label %funclet] unwind to caller
funclet:
%cleanuppad = catchpad within %cs []
switch i64 %shapes.1, label %otherwise [ i64 0, label %one
i64 1, label %two
i64 42, label %three ]
one:
br label %funclet_end
two:
br label %funclet_end
three:
br label %funclet_end
otherwise:
br label %funclet_end
funclet_end:
catchret from %cleanuppad to label %unreachable
unreachable:
unreachable
}
; Issue reproducer
define void @gh148052(i64 %shapes.1) personality ptr null {
; CHECK-LABEL: define void @gh148052(
; CHECK-SAME: i64 [[SHAPES_1:%.*]]) personality ptr null {
; CHECK-NEXT: [[START:.*:]]
; CHECK-NEXT: [[_7:%.*]] = icmp ult i64 0, [[SHAPES_1]]
; CHECK-NEXT: call void @llvm.assume(i1 [[_7]])
; CHECK-NEXT: ret void
;
start:
%_7 = icmp ult i64 0, %shapes.1
br i1 %_7, label %bb1, label %panic
bb1:
%_11 = icmp ult i64 0, %shapes.1
br i1 %_11, label %bb3, label %panic1
panic:
unreachable
bb3:
ret void
panic1:
invoke void @func(i64 0, i64 0, ptr null)
to label %unreachable unwind label %funclet_bb14
funclet_bb14:
%cleanuppad = cleanuppad within none []
br label %bb13
unreachable:
unreachable
bb10:
cleanupret from %cleanuppad5 unwind to caller
funclet_bb10:
%cleanuppad5 = cleanuppad within none []
br label %bb10
bb13:
cleanupret from %cleanuppad unwind label %funclet_bb10
}
%struct.foo = type { ptr, %struct.eggs, ptr }
%struct.eggs = type { ptr, ptr, ptr }
declare x86_thiscallcc ptr @quux(ptr, ptr, i32)
define x86_thiscallcc ptr @baz(ptr %arg, ptr %arg1, ptr %arg2, i1 %arg3, ptr %arg4) personality ptr null {
; CHECK-LABEL: define x86_thiscallcc ptr @baz(
; CHECK-SAME: ptr [[ARG:%.*]], ptr [[ARG1:%.*]], ptr [[ARG2:%.*]], i1 [[ARG3:%.*]], ptr [[ARG4:%.*]]) personality ptr null {
; CHECK-NEXT: [[BB:.*:]]
; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [2 x %struct.foo], align 4
; CHECK-NEXT: [[INVOKE:%.*]] = call x86_thiscallcc ptr @quux(ptr null, ptr null, i32 0) #[[ATTR1:[0-9]+]]
; CHECK-NEXT: unreachable
;
bb:
%alloca = alloca [2 x %struct.foo], align 4
%invoke = invoke x86_thiscallcc ptr @quux(ptr null, ptr null, i32 0)
to label %bb5 unwind label %bb10
bb5: ; preds = %bb
%getelementptr = getelementptr i8, ptr %arg, i32 20
%call = call x86_thiscallcc ptr null(ptr null, ptr null, i32 0)
br label %bb6
bb6: ; preds = %bb10, %bb5
%phi = phi ptr [ null, %bb10 ], [ null, %bb5 ]
ret ptr %phi
bb7: ; No predecessors!
%cleanuppad = cleanuppad within none []
%getelementptr8 = getelementptr i8, ptr %arg2, i32 -20
%icmp = icmp eq ptr %arg, null
br label %bb9
bb9: ; preds = %bb7
cleanupret from %cleanuppad unwind label %bb10
bb10: ; preds = %bb9, %bb
%phi11 = phi ptr [ %arg, %bb9 ], [ null, %bb ]
%cleanuppad12 = cleanuppad within none []
%getelementptr13 = getelementptr i8, ptr %phi11, i32 -20
store i32 0, ptr %phi11, align 4
br label %bb6
}
declare void @func(i64, i64, ptr)
|
