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
|
; Check that when removing arguments, existing callsite attributes are preserved
; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=arguments --test FileCheck --test-arg --check-prefixes=INTERESTING --test-arg %s --test-arg --input-file %s -o %t
; RUN: FileCheck --check-prefixes=RESULT %s < %t
; INTERESTING-LABEL: define void @callee0(
define void @callee0(ptr %interesting0, ptr %interesting1, i32 %uninteresting2) {
ret void
}
; INTERESTING-LABEL: define void @callee1(
define void @callee1(ptr byval(i64) %interesting0, ptr %interesting1, i32 %uninteresting2) {
ret void
}
; INTERESTING-LABEL: define void @caller0(
; INTERESTING: byval
; INTERESTING-SAME: "some-attr"
; INTERESTING: byval
; INTERESTING-SAME: "more-attr"
; RESULT-LABEL: define void @caller0(ptr %val0) {
; RESULT: call void @callee0(ptr byval(i32) %val0, ptr "some-attr" %alloca0) #0
; RESULT: call void @callee1(ptr byval(i64) %alloca1, ptr "more-attr" %alloca1) #1
define void @caller0(ptr %val0, i32 %val1) {
%alloca0 = alloca i32
%alloca1 = alloca i64
call void @callee0(ptr byval(i32) %val0, ptr "some-attr" %alloca0, i32 %val1) nounwind memory(none) "a-func-attr"
call void @callee1(ptr byval(i64) %alloca1, ptr "more-attr" %alloca1, i32 9) "val-func-attr="="something"
ret void
}
; RESULT-LABEL: define ptr @callee2() {
; RESULT-NEXT: ret ptr null
define ptr @callee2(ptr %val0, i32 %b) {
store i32 %b, ptr %val0
ret ptr %val0
}
; Make sure ret attributes are preserved
; INTERESTING: define ptr @caller1(
; INTERESTING: call
; RESULT-LABEL: define ptr @caller1() {
; RESULT: %ret = call align 4 "ret-attr" ptr @callee2()
define ptr @caller1(ptr %val0, i32 %val1) {
%ret = call align 4 "ret-attr" ptr @callee2(ptr %val0, i32 %val1)
ret ptr %ret
}
; RESULT: attributes #0 = { nounwind memory(none) "a-func-attr" }
; RESULT: attributes #1 = { "val-func-attr="="something" }
|
