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
|
; RUN: opt -S %s -verify
declare token @llvm.call.preallocated.setup(i32)
declare i8* @llvm.call.preallocated.arg(token, i32)
declare void @llvm.call.preallocated.teardown(token)
declare i32 @__CxxFrameHandler3(...)
declare void @foo1(i32* preallocated(i32))
declare i64 @foo1_i64(i32* preallocated(i32))
declare void @foo2(i32* preallocated(i32), i32*, i32* preallocated(i32))
declare void @constructor(i32*)
define void @preallocated() {
%cs = call token @llvm.call.preallocated.setup(i32 1)
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
%y = bitcast i8* %x to i32*
call void @foo1(i32* preallocated(i32) %y) ["preallocated"(token %cs)]
ret void
}
define void @preallocated_indirect(void (i32*)* %f) {
%cs = call token @llvm.call.preallocated.setup(i32 1)
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
%y = bitcast i8* %x to i32*
call void %f(i32* preallocated(i32) %y) ["preallocated"(token %cs)]
ret void
}
define void @preallocated_setup_without_call() {
%cs = call token @llvm.call.preallocated.setup(i32 1)
%a0 = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
ret void
}
define void @preallocated_num_args() {
%cs = call token @llvm.call.preallocated.setup(i32 2)
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
%x1 = bitcast i8* %x to i32*
%y = call i8* @llvm.call.preallocated.arg(token %cs, i32 1) preallocated(i32)
%y1 = bitcast i8* %y to i32*
%a = inttoptr i32 0 to i32*
call void @foo2(i32* preallocated(i32) %x1, i32* %a, i32* preallocated(i32) %y1) ["preallocated"(token %cs)]
ret void
}
define void @preallocated_musttail(i32* preallocated(i32) %a) {
musttail call void @foo1(i32* preallocated(i32) %a)
ret void
}
define i64 @preallocated_musttail_i64(i32* preallocated(i32) %a) {
%r = musttail call i64 @foo1_i64(i32* preallocated(i32) %a)
ret i64 %r
}
define void @preallocated_teardown() {
%cs = call token @llvm.call.preallocated.setup(i32 1)
call void @llvm.call.preallocated.teardown(token %cs)
ret void
}
define void @preallocated_teardown_invoke() personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
%cs = call token @llvm.call.preallocated.setup(i32 1)
%x = call i8* @llvm.call.preallocated.arg(token %cs, i32 0) preallocated(i32)
%y = bitcast i8* %x to i32*
invoke void @constructor(i32* %y) to label %conta unwind label %contb
conta:
call void @foo1(i32* preallocated(i32) %y) ["preallocated"(token %cs)]
ret void
contb:
%s = catchswitch within none [label %catch] unwind to caller
catch:
%p = catchpad within %s []
call void @llvm.call.preallocated.teardown(token %cs)
ret void
}
|
