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
|
// REQUIRES: hexagon-registered-target
// RUN: %clang_cc1 -emit-llvm -triple hexagon-unknown-linux-musl %s -o - | FileCheck %s
#include <stdarg.h>
struct AAA {
int x;
int y;
int z;
int d;
};
// CHECK: call void @llvm.va_start(i8* %arraydecay1)
// CHECK: %arraydecay2 = getelementptr inbounds [1 x %struct.__va_list_tag],
// [1 x %struct.__va_list_tag]* %ap, i32 0, i32 0
// CHECK: br label %vaarg.maybe_reg
// CHECK: vaarg.maybe_reg: ; preds = %entry
// CHECK: %__current_saved_reg_area_pointer_p = getelementptr inbounds
// %struct.__va_list_tag, %struct.__va_list_tag* %arraydecay2, i32 0, i32 0
// CHECK: %__current_saved_reg_area_pointer = load i8*, i8**
// %__current_saved_reg_area_pointer_p
// CHECK: %__saved_reg_area_end_pointer_p = getelementptr inbounds
// %struct.__va_list_tag, %struct.__va_list_tag* %arraydecay2, i32 0, i32 1
// CHECK: %__saved_reg_area_end_pointer = load i8*, i8**
// %__saved_reg_area_end_pointer_p
// CHECK: %__new_saved_reg_area_pointer = getelementptr i8, i8*
// %__current_saved_reg_area_pointer, i32 4
// CHECK: %0 = icmp sgt i8* %__new_saved_reg_area_pointer,
// %__saved_reg_area_end_pointer
// CHECK: br i1 %0, label %vaarg.on_stack, label %vaarg.in_reg
// CHECK: vaarg.in_reg: ; preds =
// %vaarg.maybe_reg
// CHECK: %1 = bitcast i8* %__current_saved_reg_area_pointer to i32*
// CHECK: store i8* %__new_saved_reg_area_pointer, i8**
// %__current_saved_reg_area_pointer_p
// CHECK: br label %vaarg.end
// CHECK: vaarg.on_stack: ; preds =
// %vaarg.maybe_reg
// CHECK: %__overflow_area_pointer_p = getelementptr inbounds
// %struct.__va_list_tag, %struct.__va_list_tag* %arraydecay2, i32 0, i32 2
// CHECK: %__overflow_area_pointer = load i8*, i8** %__overflow_area_pointer_p
// CHECK: %__overflow_area_pointer.next = getelementptr i8, i8*
// %__overflow_area_pointer, i32 4
// CHECK: store i8* %__overflow_area_pointer.next, i8**
// %__overflow_area_pointer_p
// CHECK: store i8* %__overflow_area_pointer.next, i8**
// %__current_saved_reg_area_pointer_p
// CHECK: %2 = bitcast i8* %__overflow_area_pointer to i32*
// CHECK: br label %vaarg.end
// CHECK: vaarg.end: ; preds =
// %vaarg.on_stack, %vaarg.in_reg
// CHECK: %vaarg.addr = phi i32* [ %1, %vaarg.in_reg ], [ %2, %vaarg.on_stack
// ]
// CHECK: %3 = load i32, i32* %vaarg.addr
struct AAA aaa = {100, 200, 300, 400};
int foo(int xx, ...) {
va_list ap;
int d;
int ret = 0;
struct AAA bbb;
va_start(ap, xx);
d = va_arg(ap, int);
ret += d;
bbb = va_arg(ap, struct AAA);
ret += bbb.d;
d = va_arg(ap, int);
ret += d;
va_end(ap);
return ret;
}
int main(void) {
int x;
x = foo(1, 2, aaa, 4);
return x;
}
|
