/
inline-varargs.ll
120 lines (102 loc) · 3.6 KB
/
inline-varargs.ll
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
; RUN: opt < %s -inline -S | FileCheck %s
; RUN: opt < %s -passes='cgscc(inline,function(instcombine))' -S | FileCheck %s
declare void @ext_method(i8*, i32)
declare signext i16 @vararg_fn(...) #0
declare "cc 9" void @vararg_fn_cc9(i8* %p, ...)
define linkonce_odr void @thunk(i8* %this, ...) {
%this_adj = getelementptr i8, i8* %this, i32 4
musttail call void (i8*, ...) bitcast (void (i8*, i32)* @ext_method to void (i8*, ...)*)(i8* nonnull %this_adj, ...)
ret void
}
define void @thunk_caller(i8* %p) {
call void (i8*, ...) @thunk(i8* %p, i32 42)
ret void
}
; CHECK-LABEL: define void @thunk_caller(i8* %p)
; CHECK: call void (i8*, ...) bitcast (void (i8*, i32)* @ext_method to void (i8*, ...)*)(i8* nonnull %this_adj.i, i32 42)
define signext i16 @test_callee_2(...) {
%res = musttail call signext i16 (...) @vararg_fn(...) #0
ret i16 %res
}
define void @test_caller_2(i8* %p, i8* %q, i16 %r) {
call signext i16 (...) @test_callee_2(i8* %p, i8* byval %q, i16 signext %r)
ret void
}
; CHECK-LABEL: define void @test_caller_2
; CHECK: call signext i16 (...) @vararg_fn(i8* %p, i8* byval %q, i16 signext %r) [[FN_ATTRS:#[0-9]+]]
define void @test_callee_3(i8* %p, ...) {
call signext i16 (...) @vararg_fn()
ret void
}
define void @test_caller_3(i8* %p, i8* %q) {
call void (i8*, ...) @test_callee_3(i8* nonnull %p, i8* %q)
ret void
}
; CHECK-LABEL: define void @test_caller_3
; CHECK: call signext i16 (...) @vararg_fn()
define void @test_preserve_cc(i8* %p, ...) {
musttail call "cc 9" void (i8*, ...) @vararg_fn_cc9(i8* %p, ...)
ret void
}
define void @test_caller_preserve_cc(i8* %p, i8* %q) {
call void (i8*, ...) @test_preserve_cc(i8* %p, i8* %q)
ret void
}
; CHECK-LABEL: define void @test_caller_preserve_cc
; CHECK: call "cc 9" void (i8*, ...) @vararg_fn_cc9(i8* %p, i8* %q)
define internal i32 @varg_accessed(...) {
entry:
%vargs = alloca i8*, align 8
%vargs.ptr = bitcast i8** %vargs to i8*
call void @llvm.va_start(i8* %vargs.ptr)
%va1 = va_arg i8** %vargs, i32
call void @llvm.va_end(i8* %vargs.ptr)
ret i32 %va1
}
define internal i32 @varg_accessed_alwaysinline(...) alwaysinline {
entry:
%vargs = alloca i8*, align 8
%vargs.ptr = bitcast i8** %vargs to i8*
call void @llvm.va_start(i8* %vargs.ptr)
%va1 = va_arg i8** %vargs, i32
call void @llvm.va_end(i8* %vargs.ptr)
ret i32 %va1
}
define i32 @call_vargs() {
%res1 = call i32 (...) @varg_accessed(i32 10)
%res2 = call i32 (...) @varg_accessed_alwaysinline(i32 15)
%res = add i32 %res1, %res2
ret i32 %res
}
; CHECK-LABEL: @call_vargs
; CHECK: %res1 = call i32 (...) @varg_accessed(i32 10)
; CHECK-NEXT: %res2 = call i32 (...) @varg_accessed_alwaysinline(i32 15)
define void @caller_with_vastart(i8* noalias nocapture readnone %args, ...) {
entry:
%ap = alloca i8*, align 4
%ap.ptr = bitcast i8** %ap to i8*
%ap2 = alloca i8*, align 4
%ap2.ptr = bitcast i8** %ap to i8*
call void @llvm.va_start(i8* nonnull %ap.ptr)
call fastcc void @callee_with_vaend(i8* nonnull %ap.ptr)
call void @llvm.va_start(i8* nonnull %ap2.ptr)
call fastcc void @callee_with_vaend_alwaysinline(i8* nonnull %ap2.ptr)
ret void
}
define internal fastcc void @callee_with_vaend_alwaysinline(i8* %a) alwaysinline {
entry:
tail call void @llvm.va_end(i8* %a)
ret void
}
define internal fastcc void @callee_with_vaend(i8* %a) {
entry:
tail call void @llvm.va_end(i8* %a)
ret void
}
; CHECK-LABEL: @caller_with_vastart
; CHECK-NOT: @callee_with_vaend
; CHECK-NOT: @callee_with_vaend_alwaysinline
declare void @llvm.va_start(i8*)
declare void @llvm.va_end(i8*)
; CHECK: attributes [[FN_ATTRS]] = { "foo"="bar" }
attributes #0 = { "foo"="bar" }