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
|
; RUN: llc < %s
; PR9900
; NVPTX does not support zero sized type arg
; UNSUPPORTED: target=nvptx{{.*}}
%zero = type [0 x i8]
%foobar = type { i32, %zero }
define void @f(%foobar %arg) {
%arg1 = extractvalue %foobar %arg, 0
%arg2 = extractvalue %foobar %arg, 1
call i32 @f2(%zero %arg2, i32 5, i32 42)
ret void
}
define i32 @f2(%zero %x, i32 %y, i32 %z) {
ret i32 %y
}
define void @f3(%zero %x, i32 %y) {
call i32 @f2(%zero %x, i32 5, i32 %y)
ret void
}
define void @f4(%zero %z) {
insertvalue %foobar undef, %zero %z, 1
ret void
}
define void @f5(%foobar %x) {
allocas:
%y = extractvalue %foobar %x, 1
br label %b1
b1:
%insert120 = insertvalue %foobar undef, %zero %y, 1
ret void
}
define void @f6(%zero %x, %zero %y) {
b1:
br i1 undef, label %end, label %b2
b2:
br label %end
end:
%z = phi %zero [ %y, %b1 ], [ %x, %b2 ]
call void @f4(%zero %z)
ret void
}
%zero2 = type {}
define i32 @g1(%zero2 %x, i32 %y, i32 %z) {
ret i32 %y
}
define void @g2(%zero2 %x, i32 %y) {
call i32 @g1(%zero2 %x, i32 5, i32 %y)
ret void
}
%zero2r = type {%zero2}
define i32 @h1(%zero2r %x, i32 %y, i32 %z) {
ret i32 %y
}
define void @h2(%zero2r %x, i32 %y) {
call i32 @h1(%zero2r %x, i32 5, i32 %y)
ret void
}
%foobar2 = type { i32, %zero2r }
define void @h3(%foobar2 %arg) {
%arg1 = extractvalue %foobar2 %arg, 0
%arg2 = extractvalue %foobar2 %arg, 1
%arg21 = extractvalue %zero2r %arg2, 0
call void @g2(%zero2 %arg21, i32 5)
ret void
}
|
