1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals
2 ; RUN: opt -passes=attributor -S < %s | FileCheck %s --check-prefixes=CHECK,OWRDL,UPTO2,UNLIM,OUNLM
3 ; RUN: opt -passes=attributor -attributor-print-call-graph -S -disable-output < %s | FileCheck %s --check-prefixes=DOT
4 ; RUN: opt -passes=attributor --attributor-max-specializations-per-call-base=2 -S < %s | FileCheck %s --check-prefixes=CHECK,OWRDL,UPTO2,LIMI2
5 ; RUN: opt -passes=attributor --attributor-max-specializations-per-call-base=0 -S < %s | FileCheck %s --check-prefixes=CHECK,OWRDL,LIMI0
6 ; RUN: opt -passes=attributor --attributor-assume-closed-world -S < %s | FileCheck %s --check-prefixes=CHECK,UPTO2,UNLIM,CWRLD
9 ; CHECK: @G = global ptr @usedByGlobal
11 define dso_local void @func1() {
12 ; CHECK-LABEL: @func1(
13 ; CHECK-NEXT: br label [[TMP2:%.*]]
15 ; CHECK-NEXT: unreachable
17 ; CHECK-NEXT: call void @func3()
18 ; CHECK-NEXT: ret void
21 br i1 %1, label %2, label %3
24 call void @func2(i1 false)
33 define internal void @func4() {
34 ; CHECK-LABEL: @func4(
35 ; CHECK-NEXT: call void @func3()
36 ; CHECK-NEXT: ret void
41 define internal void @internal_good() {
42 ; CHECK-LABEL: @internal_good(
43 ; CHECK-NEXT: call void @void(ptr @func4)
44 ; CHECK-NEXT: ret void
46 call void @void(ptr @func4)
50 define dso_local void @func2(i1 %c) {
51 ; UPTO2-LABEL: @func2(
52 ; UPTO2-NEXT: [[F:%.*]] = select i1 [[C:%.*]], ptr @internal_good, ptr @func4
53 ; UPTO2-NEXT: [[TMP1:%.*]] = icmp eq ptr [[F]], @func4
54 ; UPTO2-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
56 ; UPTO2-NEXT: call void @func4()
57 ; UPTO2-NEXT: br label [[TMP6:%.*]]
59 ; UPTO2-NEXT: br i1 true, label [[TMP4:%.*]], label [[TMP5:%.*]]
61 ; UPTO2-NEXT: call void @internal_good()
62 ; UPTO2-NEXT: br label [[TMP6]]
64 ; UPTO2-NEXT: unreachable
66 ; UPTO2-NEXT: ret void
68 ; LIMI0-LABEL: @func2(
69 ; LIMI0-NEXT: [[F:%.*]] = select i1 [[C:%.*]], ptr @internal_good, ptr @func4
70 ; LIMI0-NEXT: call void [[F]](), !callees [[META0:![0-9]+]]
71 ; LIMI0-NEXT: ret void
73 %f = select i1 %c, ptr @internal_good, ptr @func4
79 define void @func5(i32 %0) {
80 ; UPTO2-LABEL: @func5(
81 ; UPTO2-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP0:%.*]], 0
82 ; UPTO2-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], ptr @func4, ptr @func3
83 ; UPTO2-NEXT: [[TMP4:%.*]] = icmp eq ptr [[TMP3]], @func3
84 ; UPTO2-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
86 ; UPTO2-NEXT: call void @func3()
87 ; UPTO2-NEXT: br label [[TMP9:%.*]]
89 ; UPTO2-NEXT: br i1 true, label [[TMP7:%.*]], label [[TMP8:%.*]]
91 ; UPTO2-NEXT: call void @func4()
92 ; UPTO2-NEXT: br label [[TMP9]]
94 ; UPTO2-NEXT: unreachable
96 ; UPTO2-NEXT: ret void
98 ; LIMI0-LABEL: @func5(
99 ; LIMI0-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP0:%.*]], 0
100 ; LIMI0-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], ptr @func4, ptr @func3
101 ; LIMI0-NEXT: call void [[TMP3]](), !callees [[META1:![0-9]+]]
102 ; LIMI0-NEXT: ret void
104 %2 = icmp ne i32 %0, 0
105 %3 = select i1 %2, ptr @func4, ptr @func3
110 define i32 @musttailCall(i32 %0) {
111 ; CHECK-LABEL: @musttailCall(
112 ; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP0:%.*]], 0
113 ; CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], ptr @func4, ptr @func3
114 ; CHECK-NEXT: [[C:%.*]] = musttail call i32 [[TMP3]](i32 0)
115 ; CHECK-NEXT: ret i32 [[C]]
117 %2 = icmp ne i32 %0, 0
118 %3 = select i1 %2, ptr @func4, ptr @func3
119 %c = musttail call i32 (i32) %3(i32 0)
123 declare i32 @retI32()
124 declare void @takeI32(i32)
125 declare float @retFloatTakeFloat(float)
126 ; This callee is always filtered out because of the noundef argument
127 declare float @retFloatTakeFloatFloatNoundef(float, float noundef)
130 define i32 @non_matching_fp1(i1 %c1, i1 %c2, i1 %c) {
131 ; UNLIM-LABEL: @non_matching_fp1(
132 ; UNLIM-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
133 ; UNLIM-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloat, ptr @void
134 ; UNLIM-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
135 ; UNLIM-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @takeI32
136 ; UNLIM-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
138 ; UNLIM-NEXT: [[CALL1:%.*]] = call i32 @takeI32(i32 42)
139 ; UNLIM-NEXT: br label [[TMP15:%.*]]
141 ; UNLIM-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP]], @retI32
142 ; UNLIM-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
144 ; UNLIM-NEXT: [[CALL2:%.*]] = call i32 @retI32(i32 42)
145 ; UNLIM-NEXT: br label [[TMP15]]
147 ; UNLIM-NEXT: [[TMP7:%.*]] = icmp eq ptr [[FP]], @void
148 ; UNLIM-NEXT: br i1 [[TMP7]], label [[TMP8:%.*]], label [[TMP9:%.*]]
150 ; UNLIM-NEXT: [[CALL3:%.*]] = call i32 @void(i32 42)
151 ; UNLIM-NEXT: br label [[TMP15]]
153 ; UNLIM-NEXT: br i1 true, label [[TMP10:%.*]], label [[TMP14:%.*]]
155 ; UNLIM-NEXT: [[TMP11:%.*]] = bitcast i32 42 to float
156 ; UNLIM-NEXT: [[TMP12:%.*]] = call float @retFloatTakeFloat(float [[TMP11]])
157 ; UNLIM-NEXT: [[TMP13:%.*]] = bitcast float [[TMP12]] to i32
158 ; UNLIM-NEXT: br label [[TMP15]]
160 ; UNLIM-NEXT: unreachable
162 ; UNLIM-NEXT: [[CALL_PHI:%.*]] = phi i32 [ [[CALL1]], [[TMP2]] ], [ [[CALL2]], [[TMP5]] ], [ [[CALL3]], [[TMP8]] ], [ [[TMP13]], [[TMP10]] ]
163 ; UNLIM-NEXT: ret i32 [[CALL_PHI]]
165 ; LIMI2-LABEL: @non_matching_fp1(
166 ; LIMI2-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
167 ; LIMI2-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloat, ptr @void
168 ; LIMI2-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
169 ; LIMI2-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @takeI32
170 ; LIMI2-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
172 ; LIMI2-NEXT: [[CALL1:%.*]] = call i32 @takeI32(i32 42)
173 ; LIMI2-NEXT: br label [[TMP7:%.*]]
175 ; LIMI2-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP]], @retI32
176 ; LIMI2-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
178 ; LIMI2-NEXT: [[CALL2:%.*]] = call i32 @retI32(i32 42)
179 ; LIMI2-NEXT: br label [[TMP7]]
181 ; LIMI2-NEXT: [[CALL3:%.*]] = call i32 [[FP]](i32 42), !callees [[META0:![0-9]+]]
182 ; LIMI2-NEXT: br label [[TMP7]]
184 ; LIMI2-NEXT: [[CALL_PHI:%.*]] = phi i32 [ [[CALL1]], [[TMP2]] ], [ [[CALL2]], [[TMP5]] ], [ [[CALL3]], [[TMP6]] ]
185 ; LIMI2-NEXT: ret i32 [[CALL_PHI]]
187 ; LIMI0-LABEL: @non_matching_fp1(
188 ; LIMI0-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
189 ; LIMI0-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloat, ptr @void
190 ; LIMI0-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
191 ; LIMI0-NEXT: [[CALL:%.*]] = call i32 [[FP]](i32 42), !callees [[META2:![0-9]+]]
192 ; LIMI0-NEXT: ret i32 [[CALL]]
194 %fp1 = select i1 %c1, ptr @retI32, ptr @takeI32
195 %fp2 = select i1 %c2, ptr @retFloatTakeFloat, ptr @void
196 %fp = select i1 %c, ptr %fp1, ptr %fp2
197 %call = call i32 %fp(i32 42)
201 define i32 @non_matching_fp1_noundef(i1 %c1, i1 %c2, i1 %c) {
202 ; UNLIM-LABEL: @non_matching_fp1_noundef(
203 ; UNLIM-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
204 ; UNLIM-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloatFloatNoundef, ptr @void
205 ; UNLIM-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
206 ; UNLIM-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @takeI32
207 ; UNLIM-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
209 ; UNLIM-NEXT: [[CALL1:%.*]] = call i32 @takeI32(i32 42)
210 ; UNLIM-NEXT: br label [[TMP9:%.*]]
212 ; UNLIM-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP]], @retI32
213 ; UNLIM-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
215 ; UNLIM-NEXT: [[CALL2:%.*]] = call i32 @retI32(i32 42)
216 ; UNLIM-NEXT: br label [[TMP9]]
218 ; UNLIM-NEXT: br i1 true, label [[TMP7:%.*]], label [[TMP8:%.*]]
220 ; UNLIM-NEXT: [[CALL3:%.*]] = call i32 @void(i32 42)
221 ; UNLIM-NEXT: br label [[TMP9]]
223 ; UNLIM-NEXT: unreachable
225 ; UNLIM-NEXT: [[CALL_PHI:%.*]] = phi i32 [ [[CALL1]], [[TMP2]] ], [ [[CALL2]], [[TMP5]] ], [ [[CALL3]], [[TMP7]] ]
226 ; UNLIM-NEXT: ret i32 [[CALL_PHI]]
228 ; LIMI2-LABEL: @non_matching_fp1_noundef(
229 ; LIMI2-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
230 ; LIMI2-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloatFloatNoundef, ptr @void
231 ; LIMI2-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
232 ; LIMI2-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @takeI32
233 ; LIMI2-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
235 ; LIMI2-NEXT: [[CALL1:%.*]] = call i32 @takeI32(i32 42)
236 ; LIMI2-NEXT: br label [[TMP7:%.*]]
238 ; LIMI2-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP]], @retI32
239 ; LIMI2-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
241 ; LIMI2-NEXT: [[CALL2:%.*]] = call i32 @retI32(i32 42)
242 ; LIMI2-NEXT: br label [[TMP7]]
244 ; LIMI2-NEXT: [[CALL3:%.*]] = call i32 [[FP]](i32 42), !callees [[META1:![0-9]+]]
245 ; LIMI2-NEXT: br label [[TMP7]]
247 ; LIMI2-NEXT: [[CALL_PHI:%.*]] = phi i32 [ [[CALL1]], [[TMP2]] ], [ [[CALL2]], [[TMP5]] ], [ [[CALL3]], [[TMP6]] ]
248 ; LIMI2-NEXT: ret i32 [[CALL_PHI]]
250 ; LIMI0-LABEL: @non_matching_fp1_noundef(
251 ; LIMI0-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
252 ; LIMI0-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloatFloatNoundef, ptr @void
253 ; LIMI0-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
254 ; LIMI0-NEXT: [[CALL:%.*]] = call i32 [[FP]](i32 42), !callees [[META3:![0-9]+]]
255 ; LIMI0-NEXT: ret i32 [[CALL]]
257 %fp1 = select i1 %c1, ptr @retI32, ptr @takeI32
258 %fp2 = select i1 %c2, ptr @retFloatTakeFloatFloatNoundef, ptr @void
259 %fp = select i1 %c, ptr %fp1, ptr %fp2
260 %call = call i32 %fp(i32 42)
264 define void @non_matching_fp2(i1 %c1, i1 %c2, i1 %c, ptr %unknown) {
265 ; OUNLM-LABEL: @non_matching_fp2(
266 ; OUNLM-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
267 ; OUNLM-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloat, ptr [[UNKNOWN:%.*]]
268 ; OUNLM-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
269 ; OUNLM-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @takeI32
270 ; OUNLM-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
272 ; OUNLM-NEXT: call void @takeI32()
273 ; OUNLM-NEXT: br label [[TMP10:%.*]]
275 ; OUNLM-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP]], @retI32
276 ; OUNLM-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
278 ; OUNLM-NEXT: call void @retI32()
279 ; OUNLM-NEXT: br label [[TMP10]]
281 ; OUNLM-NEXT: [[TMP7:%.*]] = icmp eq ptr [[FP]], @retFloatTakeFloat
282 ; OUNLM-NEXT: br i1 [[TMP7]], label [[TMP8:%.*]], label [[TMP9:%.*]]
284 ; OUNLM-NEXT: call void @retFloatTakeFloat()
285 ; OUNLM-NEXT: br label [[TMP10]]
287 ; OUNLM-NEXT: call void [[FP]]()
288 ; OUNLM-NEXT: br label [[TMP10]]
290 ; OUNLM-NEXT: ret void
292 ; LIMI2-LABEL: @non_matching_fp2(
293 ; LIMI2-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
294 ; LIMI2-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloat, ptr [[UNKNOWN:%.*]]
295 ; LIMI2-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
296 ; LIMI2-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @takeI32
297 ; LIMI2-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
299 ; LIMI2-NEXT: call void @takeI32()
300 ; LIMI2-NEXT: br label [[TMP7:%.*]]
302 ; LIMI2-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP]], @retI32
303 ; LIMI2-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
305 ; LIMI2-NEXT: call void @retI32()
306 ; LIMI2-NEXT: br label [[TMP7]]
308 ; LIMI2-NEXT: call void [[FP]]()
309 ; LIMI2-NEXT: br label [[TMP7]]
311 ; LIMI2-NEXT: ret void
313 ; LIMI0-LABEL: @non_matching_fp2(
314 ; LIMI0-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
315 ; LIMI0-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloat, ptr [[UNKNOWN:%.*]]
316 ; LIMI0-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
317 ; LIMI0-NEXT: call void [[FP]]()
318 ; LIMI0-NEXT: ret void
320 ; CWRLD-LABEL: @non_matching_fp2(
321 ; CWRLD-NEXT: [[FP1:%.*]] = select i1 [[C1:%.*]], ptr @retI32, ptr @takeI32
322 ; CWRLD-NEXT: [[FP2:%.*]] = select i1 [[C2:%.*]], ptr @retFloatTakeFloat, ptr [[UNKNOWN:%.*]]
323 ; CWRLD-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr [[FP1]], ptr [[FP2]]
324 ; CWRLD-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @takeI32
325 ; CWRLD-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
327 ; CWRLD-NEXT: call void @takeI32()
328 ; CWRLD-NEXT: br label [[TMP21:%.*]]
330 ; CWRLD-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP]], @retI32
331 ; CWRLD-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
333 ; CWRLD-NEXT: call void @retI32()
334 ; CWRLD-NEXT: br label [[TMP21]]
336 ; CWRLD-NEXT: [[TMP7:%.*]] = icmp eq ptr [[FP]], @func3
337 ; CWRLD-NEXT: br i1 [[TMP7]], label [[TMP8:%.*]], label [[TMP9:%.*]]
339 ; CWRLD-NEXT: call void @func3()
340 ; CWRLD-NEXT: br label [[TMP21]]
342 ; CWRLD-NEXT: [[TMP10:%.*]] = icmp eq ptr [[FP]], @func4
343 ; CWRLD-NEXT: br i1 [[TMP10]], label [[TMP11:%.*]], label [[TMP12:%.*]]
345 ; CWRLD-NEXT: call void @func4()
346 ; CWRLD-NEXT: br label [[TMP21]]
348 ; CWRLD-NEXT: [[TMP13:%.*]] = icmp eq ptr [[FP]], @retFloatTakeFloat
349 ; CWRLD-NEXT: br i1 [[TMP13]], label [[TMP14:%.*]], label [[TMP15:%.*]]
351 ; CWRLD-NEXT: call void @retFloatTakeFloat()
352 ; CWRLD-NEXT: br label [[TMP21]]
354 ; CWRLD-NEXT: [[TMP16:%.*]] = icmp eq ptr [[FP]], @retFloatTakeFloatFloatNoundef
355 ; CWRLD-NEXT: br i1 [[TMP16]], label [[TMP17:%.*]], label [[TMP18:%.*]]
357 ; CWRLD-NEXT: call void @retFloatTakeFloatFloatNoundef()
358 ; CWRLD-NEXT: br label [[TMP21]]
360 ; CWRLD-NEXT: br i1 true, label [[TMP19:%.*]], label [[TMP20:%.*]]
362 ; CWRLD-NEXT: call void @void()
363 ; CWRLD-NEXT: br label [[TMP21]]
365 ; CWRLD-NEXT: unreachable
367 ; CWRLD-NEXT: ret void
369 %fp1 = select i1 %c1, ptr @retI32, ptr @takeI32
370 %fp2 = select i1 %c2, ptr @retFloatTakeFloat, ptr %unknown
371 %fp = select i1 %c, ptr %fp1, ptr %fp2
376 define i32 @non_matching_unknown(i1 %c, ptr %fn) {
377 ; OUNLM-LABEL: @non_matching_unknown(
378 ; OUNLM-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr @retI32, ptr [[FN:%.*]]
379 ; OUNLM-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @retI32
380 ; OUNLM-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
382 ; OUNLM-NEXT: [[CALL1:%.*]] = call i32 @retI32(i32 42)
383 ; OUNLM-NEXT: br label [[TMP4:%.*]]
385 ; OUNLM-NEXT: [[CALL2:%.*]] = call i32 [[FP]](i32 42)
386 ; OUNLM-NEXT: br label [[TMP4]]
388 ; OUNLM-NEXT: [[CALL_PHI:%.*]] = phi i32 [ [[CALL1]], [[TMP2]] ], [ [[CALL2]], [[TMP3]] ]
389 ; OUNLM-NEXT: ret i32 [[CALL_PHI]]
391 ; LIMI2-LABEL: @non_matching_unknown(
392 ; LIMI2-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr @retI32, ptr [[FN:%.*]]
393 ; LIMI2-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @retI32
394 ; LIMI2-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
396 ; LIMI2-NEXT: [[CALL1:%.*]] = call i32 @retI32(i32 42)
397 ; LIMI2-NEXT: br label [[TMP4:%.*]]
399 ; LIMI2-NEXT: [[CALL2:%.*]] = call i32 [[FP]](i32 42)
400 ; LIMI2-NEXT: br label [[TMP4]]
402 ; LIMI2-NEXT: [[CALL_PHI:%.*]] = phi i32 [ [[CALL1]], [[TMP2]] ], [ [[CALL2]], [[TMP3]] ]
403 ; LIMI2-NEXT: ret i32 [[CALL_PHI]]
405 ; LIMI0-LABEL: @non_matching_unknown(
406 ; LIMI0-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr @retI32, ptr [[FN:%.*]]
407 ; LIMI0-NEXT: [[CALL:%.*]] = call i32 [[FP]](i32 42)
408 ; LIMI0-NEXT: ret i32 [[CALL]]
410 ; CWRLD-LABEL: @non_matching_unknown(
411 ; CWRLD-NEXT: [[FP:%.*]] = select i1 [[C:%.*]], ptr @retI32, ptr [[FN:%.*]]
412 ; CWRLD-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP]], @func3
413 ; CWRLD-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
415 ; CWRLD-NEXT: [[CALL1:%.*]] = call i32 @func3(i32 42)
416 ; CWRLD-NEXT: br label [[TMP24:%.*]]
418 ; CWRLD-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP]], @func4
419 ; CWRLD-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
421 ; CWRLD-NEXT: [[CALL2:%.*]] = call i32 @func4(i32 42)
422 ; CWRLD-NEXT: br label [[TMP24]]
424 ; CWRLD-NEXT: [[TMP7:%.*]] = icmp eq ptr [[FP]], @retI32
425 ; CWRLD-NEXT: br i1 [[TMP7]], label [[TMP8:%.*]], label [[TMP9:%.*]]
427 ; CWRLD-NEXT: [[CALL3:%.*]] = call i32 @retI32(i32 42)
428 ; CWRLD-NEXT: br label [[TMP24]]
430 ; CWRLD-NEXT: [[TMP10:%.*]] = icmp eq ptr [[FP]], @takeI32
431 ; CWRLD-NEXT: br i1 [[TMP10]], label [[TMP11:%.*]], label [[TMP12:%.*]]
433 ; CWRLD-NEXT: [[CALL4:%.*]] = call i32 @takeI32(i32 42)
434 ; CWRLD-NEXT: br label [[TMP24]]
436 ; CWRLD-NEXT: [[TMP13:%.*]] = icmp eq ptr [[FP]], @retFloatTakeFloat
437 ; CWRLD-NEXT: br i1 [[TMP13]], label [[TMP14:%.*]], label [[TMP18:%.*]]
439 ; CWRLD-NEXT: [[TMP15:%.*]] = bitcast i32 42 to float
440 ; CWRLD-NEXT: [[TMP16:%.*]] = call float @retFloatTakeFloat(float [[TMP15]])
441 ; CWRLD-NEXT: [[TMP17:%.*]] = bitcast float [[TMP16]] to i32
442 ; CWRLD-NEXT: br label [[TMP24]]
444 ; CWRLD-NEXT: [[TMP19:%.*]] = icmp eq ptr [[FP]], @retFloatTakeFloatFloatNoundef
445 ; CWRLD-NEXT: br i1 [[TMP19]], label [[TMP20:%.*]], label [[TMP21:%.*]]
447 ; CWRLD-NEXT: [[CALL5:%.*]] = call i32 @retFloatTakeFloatFloatNoundef(i32 42)
448 ; CWRLD-NEXT: br label [[TMP24]]
450 ; CWRLD-NEXT: br i1 true, label [[TMP22:%.*]], label [[TMP23:%.*]]
452 ; CWRLD-NEXT: [[CALL6:%.*]] = call i32 @void(i32 42)
453 ; CWRLD-NEXT: br label [[TMP24]]
455 ; CWRLD-NEXT: unreachable
457 ; CWRLD-NEXT: [[CALL_PHI:%.*]] = phi i32 [ [[CALL1]], [[TMP2]] ], [ [[CALL2]], [[TMP5]] ], [ [[CALL3]], [[TMP8]] ], [ [[CALL4]], [[TMP11]] ], [ [[TMP17]], [[TMP14]] ], [ [[CALL5]], [[TMP20]] ], [ [[CALL6]], [[TMP22]] ]
458 ; CWRLD-NEXT: ret i32 [[CALL_PHI]]
460 %fp = select i1 %c, ptr @retI32, ptr %fn
461 %call = call i32 %fp(i32 42)
465 ; This function is used in a "direct" call but with a different signature.
466 ; We check that it does not show up above in any of the if-cascades because
467 ; the address is not actually taken.
468 declare void @usedOnlyInCastedDirectCall(i32)
469 define void @usedOnlyInCastedDirectCallCaller() {
470 ; CHECK-LABEL: @usedOnlyInCastedDirectCallCaller(
471 ; CHECK-NEXT: call void @usedOnlyInCastedDirectCall()
472 ; CHECK-NEXT: ret void
474 call void @usedOnlyInCastedDirectCall()
478 define internal void @usedByGlobal() {
479 ; CHECK-LABEL: @usedByGlobal(
480 ; CHECK-NEXT: ret void
484 @G = global ptr @usedByGlobal
486 define void @broker(ptr %unknown) !callback !0 {
487 ; OWRDL-LABEL: @broker(
488 ; OWRDL-NEXT: call void [[UNKNOWN:%.*]]()
489 ; OWRDL-NEXT: ret void
491 ; CWRLD-LABEL: @broker(
492 ; CWRLD-NEXT: [[TMP1:%.*]] = icmp eq ptr [[UNKNOWN:%.*]], @func3
493 ; CWRLD-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
495 ; CWRLD-NEXT: call void @func3()
496 ; CWRLD-NEXT: br label [[TMP21:%.*]]
498 ; CWRLD-NEXT: [[TMP4:%.*]] = icmp eq ptr [[UNKNOWN]], @func4
499 ; CWRLD-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
501 ; CWRLD-NEXT: call void @func4()
502 ; CWRLD-NEXT: br label [[TMP21]]
504 ; CWRLD-NEXT: [[TMP7:%.*]] = icmp eq ptr [[UNKNOWN]], @retI32
505 ; CWRLD-NEXT: br i1 [[TMP7]], label [[TMP8:%.*]], label [[TMP9:%.*]]
507 ; CWRLD-NEXT: call void @retI32()
508 ; CWRLD-NEXT: br label [[TMP21]]
510 ; CWRLD-NEXT: [[TMP10:%.*]] = icmp eq ptr [[UNKNOWN]], @takeI32
511 ; CWRLD-NEXT: br i1 [[TMP10]], label [[TMP11:%.*]], label [[TMP12:%.*]]
513 ; CWRLD-NEXT: call void @takeI32()
514 ; CWRLD-NEXT: br label [[TMP21]]
516 ; CWRLD-NEXT: [[TMP13:%.*]] = icmp eq ptr [[UNKNOWN]], @retFloatTakeFloat
517 ; CWRLD-NEXT: br i1 [[TMP13]], label [[TMP14:%.*]], label [[TMP15:%.*]]
519 ; CWRLD-NEXT: call void @retFloatTakeFloat()
520 ; CWRLD-NEXT: br label [[TMP21]]
522 ; CWRLD-NEXT: [[TMP16:%.*]] = icmp eq ptr [[UNKNOWN]], @retFloatTakeFloatFloatNoundef
523 ; CWRLD-NEXT: br i1 [[TMP16]], label [[TMP17:%.*]], label [[TMP18:%.*]]
525 ; CWRLD-NEXT: call void @retFloatTakeFloatFloatNoundef()
526 ; CWRLD-NEXT: br label [[TMP21]]
528 ; CWRLD-NEXT: br i1 true, label [[TMP19:%.*]], label [[TMP20:%.*]]
530 ; CWRLD-NEXT: call void @void()
531 ; CWRLD-NEXT: br label [[TMP21]]
533 ; CWRLD-NEXT: unreachable
535 ; CWRLD-NEXT: ret void
541 define void @func6() {
542 ; CHECK-LABEL: @func6(
543 ; CHECK-NEXT: call void @broker(ptr nocapture nofree noundef nonnull @func3)
544 ; CHECK-NEXT: ret void
546 call void @broker(ptr @func3)
550 ; Cannot be internal_good as it is internal and we see all uses.
551 ; Can be func4 since it escapes.
552 define void @func7(ptr %unknown) {
553 ; UPTO2-LABEL: @func7(
554 ; UPTO2-NEXT: [[TMP1:%.*]] = icmp eq ptr [[UNKNOWN:%.*]], @func3
555 ; UPTO2-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
557 ; UPTO2-NEXT: call void @func3()
558 ; UPTO2-NEXT: br label [[TMP6:%.*]]
560 ; UPTO2-NEXT: br i1 true, label [[TMP4:%.*]], label [[TMP5:%.*]]
562 ; UPTO2-NEXT: call void @func4()
563 ; UPTO2-NEXT: br label [[TMP6]]
565 ; UPTO2-NEXT: unreachable
567 ; UPTO2-NEXT: ret void
569 ; LIMI0-LABEL: @func7(
570 ; LIMI0-NEXT: call void [[UNKNOWN:%.*]](), !callees [[META1]]
571 ; LIMI0-NEXT: ret void
573 call void %unknown(), !callees !2
577 ; Check there's no crash if something that isn't a function appears in !callees
578 define void @undef_in_callees() {
579 ; UNLIM-LABEL: @undef_in_callees(
580 ; UNLIM-NEXT: cond.end.i:
581 ; UNLIM-NEXT: call void undef(ptr undef, i32 undef, ptr undef), !callees [[META2:![0-9]+]]
582 ; UNLIM-NEXT: ret void
584 ; LIMI2-LABEL: @undef_in_callees(
585 ; LIMI2-NEXT: cond.end.i:
586 ; LIMI2-NEXT: call void undef(ptr undef, i32 undef, ptr undef), !callees [[META4:![0-9]+]]
587 ; LIMI2-NEXT: ret void
589 ; LIMI0-LABEL: @undef_in_callees(
590 ; LIMI0-NEXT: cond.end.i:
591 ; LIMI0-NEXT: call void undef(ptr undef, i32 undef, ptr undef), !callees [[META6:![0-9]+]]
592 ; LIMI0-NEXT: ret void
595 call void undef(ptr undef, i32 undef, ptr undef), !callees !3
599 define void @as_cast(ptr %arg) {
600 ; OWRDL-LABEL: @as_cast(
601 ; OWRDL-NEXT: [[FP:%.*]] = load ptr addrspace(1), ptr [[ARG:%.*]], align 8
602 ; OWRDL-NEXT: tail call addrspace(1) void [[FP]]()
603 ; OWRDL-NEXT: ret void
605 ; CWRLD-LABEL: @as_cast(
606 ; CWRLD-NEXT: [[FP:%.*]] = load ptr addrspace(1), ptr [[ARG:%.*]], align 8
607 ; CWRLD-NEXT: [[FP_AS0:%.*]] = addrspacecast ptr addrspace(1) [[FP]] to ptr
608 ; CWRLD-NEXT: [[TMP1:%.*]] = icmp eq ptr [[FP_AS0]], @func3
609 ; CWRLD-NEXT: br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
611 ; CWRLD-NEXT: tail call void @func3()
612 ; CWRLD-NEXT: br label [[TMP21:%.*]]
614 ; CWRLD-NEXT: [[TMP4:%.*]] = icmp eq ptr [[FP_AS0]], @func4
615 ; CWRLD-NEXT: br i1 [[TMP4]], label [[TMP5:%.*]], label [[TMP6:%.*]]
617 ; CWRLD-NEXT: tail call void @func4()
618 ; CWRLD-NEXT: br label [[TMP21]]
620 ; CWRLD-NEXT: [[TMP7:%.*]] = icmp eq ptr [[FP_AS0]], @retI32
621 ; CWRLD-NEXT: br i1 [[TMP7]], label [[TMP8:%.*]], label [[TMP9:%.*]]
623 ; CWRLD-NEXT: call void @retI32()
624 ; CWRLD-NEXT: br label [[TMP21]]
626 ; CWRLD-NEXT: [[TMP10:%.*]] = icmp eq ptr [[FP_AS0]], @takeI32
627 ; CWRLD-NEXT: br i1 [[TMP10]], label [[TMP11:%.*]], label [[TMP12:%.*]]
629 ; CWRLD-NEXT: call void @takeI32()
630 ; CWRLD-NEXT: br label [[TMP21]]
632 ; CWRLD-NEXT: [[TMP13:%.*]] = icmp eq ptr [[FP_AS0]], @retFloatTakeFloat
633 ; CWRLD-NEXT: br i1 [[TMP13]], label [[TMP14:%.*]], label [[TMP15:%.*]]
635 ; CWRLD-NEXT: call void @retFloatTakeFloat()
636 ; CWRLD-NEXT: br label [[TMP21]]
638 ; CWRLD-NEXT: [[TMP16:%.*]] = icmp eq ptr [[FP_AS0]], @retFloatTakeFloatFloatNoundef
639 ; CWRLD-NEXT: br i1 [[TMP16]], label [[TMP17:%.*]], label [[TMP18:%.*]]
641 ; CWRLD-NEXT: call void @retFloatTakeFloatFloatNoundef()
642 ; CWRLD-NEXT: br label [[TMP21]]
644 ; CWRLD-NEXT: br i1 true, label [[TMP19:%.*]], label [[TMP20:%.*]]
646 ; CWRLD-NEXT: tail call void @void()
647 ; CWRLD-NEXT: br label [[TMP21]]
649 ; CWRLD-NEXT: unreachable
651 ; CWRLD-NEXT: ret void
653 %fp = load ptr addrspace(1), ptr %arg, align 8
654 tail call addrspace(1) void %fp()
659 !1 = !{i64 0, i1 false}
660 !2 = !{ptr @func3, ptr @func4}
661 !3 = distinct !{ptr undef, ptr null}
663 ; UTC_ARGS: --disable
665 ; DOT-DAG: Node[[FUNC1:0x[a-z0-9]+]] [shape=record,label="{func1}"];
666 ; DOT-DAG: Node[[FUNC2:0x[a-z0-9]+]] [shape=record,label="{func2}"];
667 ; DOT-DAG: Node[[FUNC3:0x[a-z0-9]+]] [shape=record,label="{func3}"];
668 ; DOT-DAG: Node[[FUNC4:0x[a-z0-9]+]] [shape=record,label="{func4}"];
669 ; DOT-DAG: Node[[FUNC5:0x[a-z0-9]+]] [shape=record,label="{func5}"];
670 ; DOT-DAG: Node[[FUNC6:0x[a-z0-9]+]] [shape=record,label="{func6}"];
671 ; DOT-DAG: Node[[FUNC7:0x[a-z0-9]+]] [shape=record,label="{func7}"];
673 ; DOT-DAG: Node[[BROKER:0x[a-z0-9]+]] [shape=record,label="{broker}"];
675 ; DOT-DAG: Node[[FUNC1]] -> Node[[FUNC3]];
676 ; DOT-DAG: Node[[FUNC2]] -> Node[[FUNC4]];
677 ; DOT-DAG: Node[[FUNC5]] -> Node[[FUNC3]];
678 ; DOT-DAG: Node[[FUNC5]] -> Node[[FUNC4]];
680 ; DOT-DAG: Node[[FUNC6]] -> Node[[BROKER]];
682 ; This one gets added because of the callback metadata.
683 ; DOT-DAG: Node[[FUNC6]] -> Node[[FUNC3]];
685 ; These ones are added because of the callees metadata.
686 ; DOT-DAG: Node[[FUNC7]] -> Node[[FUNC3]];
687 ; DOT-DAG: Node[[FUNC7]] -> Node[[FUNC4]];
692 ; OUNLM: attributes #[[ATTR0:[0-9]+]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
694 ; LIMI2: attributes #[[ATTR0:[0-9]+]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
696 ; LIMI0: attributes #[[ATTR0:[0-9]+]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
698 ; CWRLD: attributes #[[ATTR0:[0-9]+]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
700 ; OUNLM: [[META0:![0-9]+]] = !{[[META1:![0-9]+]]}
701 ; OUNLM: [[META1]] = !{i64 0, i1 false}
702 ; OUNLM: [[META2]] = distinct !{ptr undef, ptr null}
704 ; LIMI2: [[META0]] = !{ptr @void, ptr @retFloatTakeFloat}
705 ; LIMI2: [[META1]] = !{ptr @void}
706 ; LIMI2: [[META2:![0-9]+]] = !{[[META3:![0-9]+]]}
707 ; LIMI2: [[META3]] = !{i64 0, i1 false}
708 ; LIMI2: [[META4]] = distinct !{ptr undef, ptr null}
710 ; LIMI0: [[META0]] = !{ptr @func4, ptr @internal_good}
711 ; LIMI0: [[META1]] = !{ptr @func3, ptr @func4}
712 ; LIMI0: [[META2]] = !{ptr @takeI32, ptr @retI32, ptr @void, ptr @retFloatTakeFloat}
713 ; LIMI0: [[META3]] = !{ptr @takeI32, ptr @retI32, ptr @void}
714 ; LIMI0: [[META4:![0-9]+]] = !{[[META5:![0-9]+]]}
715 ; LIMI0: [[META5]] = !{i64 0, i1 false}
716 ; LIMI0: [[META6]] = distinct !{ptr undef, ptr null}
718 ; CWRLD: [[META0:![0-9]+]] = !{[[META1:![0-9]+]]}
719 ; CWRLD: [[META1]] = !{i64 0, i1 false}
720 ; CWRLD: [[META2]] = distinct !{ptr undef, ptr null}
722 ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line: