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
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
// RUN: %clang_cc1 -triple x86_64-unknown-freebsd10.0 -emit-llvm < %s | FileCheck -check-prefix=FREEBSD %s
// RUN: %clang_cc1 -triple x86_64-pc-win32 -emit-llvm < %s | FileCheck -check-prefix=WIN64 %s
struct foo {
int x;
float y;
char z;
};
// FREEBSD: %[[STRUCT_FOO:.*]] = type { i32, float, i8 }
// WIN64: %[[STRUCT_FOO:.*]] = type { i32, float, i8 }
void __attribute__((ms_abi)) f1(void);
void __attribute__((sysv_abi)) f2(void);
void f3(void) {
// FREEBSD-LABEL: define{{.*}} void @f3()
// WIN64-LABEL: define dso_local void @f3()
f1();
// FREEBSD: call win64cc void @f1()
// WIN64: call void @f1()
f2();
// FREEBSD: call void @f2()
// WIN64: call x86_64_sysvcc void @f2()
}
// FREEBSD: declare win64cc void @f1()
// FREEBSD: declare void @f2()
// WIN64: declare dso_local void @f1()
// WIN64: declare dso_local x86_64_sysvcc void @f2()
// Win64 ABI varargs
void __attribute__((ms_abi)) f4(int a, ...) {
// FREEBSD-LABEL: define{{.*}} win64cc void @f4
// WIN64-LABEL: define dso_local void @f4
__builtin_ms_va_list ap;
__builtin_ms_va_start(ap, a);
// FREEBSD: %[[AP:.*]] = alloca ptr
// FREEBSD: call void @llvm.va_start
// WIN64: %[[AP:.*]] = alloca ptr
// WIN64: call void @llvm.va_start
int b = __builtin_va_arg(ap, int);
// FREEBSD: %[[AP_CUR:.*]] = load ptr, ptr %[[AP]]
// FREEBSD-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR]], i64 8
// FREEBSD-NEXT: store ptr %[[AP_NEXT]], ptr %[[AP]]
// WIN64: %[[AP_CUR:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT]], ptr %[[AP]]
double _Complex c = __builtin_va_arg(ap, double _Complex);
// FREEBSD: %[[AP_CUR2:.*]] = load ptr, ptr %[[AP]]
// FREEBSD-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR2]], i64 8
// FREEBSD-NEXT: store ptr %[[AP_NEXT2]], ptr %[[AP]]
// FREEBSD-NEXT: load ptr, ptr %[[AP_CUR2]]
// WIN64: %[[AP_CUR2:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR2]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT2]], ptr %[[AP]]
// WIN64-NEXT: load ptr, ptr %[[AP_CUR2]]
struct foo d = __builtin_va_arg(ap, struct foo);
// FREEBSD: %[[AP_CUR3:.*]] = load ptr, ptr %[[AP]]
// FREEBSD-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR3]], i64 8
// FREEBSD-NEXT: store ptr %[[AP_NEXT3]], ptr %[[AP]]
// FREEBSD-NEXT: load ptr, ptr %[[AP_CUR3]]
// WIN64: %[[AP_CUR3:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR3]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT3]], ptr %[[AP]]
// WIN64-NEXT: load ptr, ptr %[[AP_CUR3]]
__builtin_ms_va_list ap2;
__builtin_ms_va_copy(ap2, ap);
// FREEBSD: %[[AP_VAL:.*]] = load ptr, ptr %[[AP]]
// FREEBSD-NEXT: store ptr %[[AP_VAL]], ptr %[[AP2:.*]]
// WIN64: %[[AP_VAL:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: store ptr %[[AP_VAL]], ptr %[[AP2:.*]]
__builtin_ms_va_end(ap);
// FREEBSD: call void @llvm.va_end
// WIN64: call void @llvm.va_end
}
// Let's verify that normal va_lists work right on Win64, too.
void f5(int a, ...) {
// WIN64-LABEL: define dso_local void @f5
__builtin_va_list ap;
__builtin_va_start(ap, a);
// WIN64: %[[AP:.*]] = alloca ptr
// WIN64: call void @llvm.va_start
int b = __builtin_va_arg(ap, int);
// WIN64: %[[AP_CUR:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT]], ptr %[[AP]]
double _Complex c = __builtin_va_arg(ap, double _Complex);
// WIN64: %[[AP_CUR2:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR2]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT2]], ptr %[[AP]]
struct foo d = __builtin_va_arg(ap, struct foo);
// WIN64: %[[AP_CUR3:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR3]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT3]], ptr %[[AP]]
__builtin_va_list ap2;
__builtin_va_copy(ap2, ap);
// WIN64: call void @llvm.va_copy
__builtin_va_end(ap);
// WIN64: call void @llvm.va_end
}
// Verify that using a Win64 va_list from a System V function works.
void __attribute__((sysv_abi)) f6(__builtin_ms_va_list ap) {
// FREEBSD-LABEL: define{{.*}} void @f6
// FREEBSD: store ptr %ap, ptr %[[AP:.*]]
// WIN64-LABEL: define dso_local x86_64_sysvcc void @f6
// WIN64: store ptr %ap, ptr %[[AP:.*]]
int b = __builtin_va_arg(ap, int);
// FREEBSD: %[[AP_CUR:.*]] = load ptr, ptr %[[AP]]
// FREEBSD-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR]], i64 8
// FREEBSD-NEXT: store ptr %[[AP_NEXT]], ptr %[[AP]]
// WIN64: %[[AP_CUR:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT]], ptr %[[AP]]
double _Complex c = __builtin_va_arg(ap, double _Complex);
// FREEBSD: %[[AP_CUR2:.*]] = load ptr, ptr %[[AP]]
// FREEBSD-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR2]], i64 8
// FREEBSD-NEXT: store ptr %[[AP_NEXT2]], ptr %[[AP]]
// WIN64: %[[AP_CUR2:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR2]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT2]], ptr %[[AP]]
struct foo d = __builtin_va_arg(ap, struct foo);
// FREEBSD: %[[AP_CUR3:.*]] = load ptr, ptr %[[AP]]
// FREEBSD-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR3]], i64 8
// FREEBSD-NEXT: store ptr %[[AP_NEXT3]], ptr %[[AP]]
// WIN64: %[[AP_CUR3:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, ptr %[[AP_CUR3]], i64 8
// WIN64-NEXT: store ptr %[[AP_NEXT3]], ptr %[[AP]]
__builtin_ms_va_list ap2;
__builtin_ms_va_copy(ap2, ap);
// FREEBSD: %[[AP_VAL:.*]] = load ptr, ptr %[[AP]]
// FREEBSD-NEXT: store ptr %[[AP_VAL]], ptr %[[AP2:.*]]
// WIN64: %[[AP_VAL:.*]] = load ptr, ptr %[[AP]]
// WIN64-NEXT: store ptr %[[AP_VAL]], ptr %[[AP2:.*]]
}
// This test checks if structs are passed according to Win64 calling convention
// when it's enforced by __attribute((ms_abi)).
struct i128 {
unsigned long long a;
unsigned long long b;
};
__attribute__((ms_abi)) struct i128 f7(struct i128 a) {
// WIN64: define dso_local void @f7(ptr dead_on_unwind noalias writable sret(%struct.i128) align 8 %agg.result, ptr noundef %a)
// FREEBSD: define{{.*}} win64cc void @f7(ptr dead_on_unwind noalias writable sret(%struct.i128) align 8 %agg.result, ptr noundef %a)
return a;
}
|