1 // RUN: %clang_cc1 -triple x86_64-unknown-freebsd10.0 -emit-llvm < %s | FileCheck -check-prefix=FREEBSD %s
2 // RUN: %clang_cc1 -triple x86_64-pc-win32 -emit-llvm < %s | FileCheck -check-prefix=WIN64 %s
3
4 struct foo {
5 int x;
6 float y;
7 char z;
8 };
9 // FREEBSD: %[[STRUCT_FOO:.*]] = type { i32, float, i8 }
10 // WIN64: %[[STRUCT_FOO:.*]] = type { i32, float, i8 }
11
12 void __attribute__((ms_abi)) f1(void);
13 void __attribute__((sysv_abi)) f2(void);
f3(void)14 void f3(void) {
15 // FREEBSD-LABEL: define void @f3()
16 // WIN64-LABEL: define dso_local void @f3()
17 f1();
18 // FREEBSD: call win64cc void @f1()
19 // WIN64: call void @f1()
20 f2();
21 // FREEBSD: call void @f2()
22 // WIN64: call x86_64_sysvcc void @f2()
23 }
24 // FREEBSD: declare win64cc void @f1()
25 // FREEBSD: declare void @f2()
26 // WIN64: declare dso_local void @f1()
27 // WIN64: declare dso_local x86_64_sysvcc void @f2()
28
29 // Win64 ABI varargs
f4(int a,...)30 void __attribute__((ms_abi)) f4(int a, ...) {
31 // FREEBSD-LABEL: define win64cc void @f4
32 // WIN64-LABEL: define dso_local void @f4
33 __builtin_ms_va_list ap;
34 __builtin_ms_va_start(ap, a);
35 // FREEBSD: %[[AP:.*]] = alloca i8*
36 // FREEBSD: call void @llvm.va_start
37 // WIN64: %[[AP:.*]] = alloca i8*
38 // WIN64: call void @llvm.va_start
39 int b = __builtin_va_arg(ap, int);
40 // FREEBSD: %[[AP_CUR:.*]] = load i8*, i8** %[[AP]]
41 // FREEBSD-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR]], i64 8
42 // FREEBSD-NEXT: store i8* %[[AP_NEXT]], i8** %[[AP]]
43 // FREEBSD-NEXT: bitcast i8* %[[AP_CUR]] to i32*
44 // WIN64: %[[AP_CUR:.*]] = load i8*, i8** %[[AP]]
45 // WIN64-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR]], i64 8
46 // WIN64-NEXT: store i8* %[[AP_NEXT]], i8** %[[AP]]
47 // WIN64-NEXT: bitcast i8* %[[AP_CUR]] to i32*
48 // FIXME: These are different now. We probably need __builtin_ms_va_arg.
49 double _Complex c = __builtin_va_arg(ap, double _Complex);
50 // FREEBSD: %[[AP_CUR2:.*]] = load i8*, i8** %[[AP]]
51 // FREEBSD-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR2]], i64 16
52 // FREEBSD-NEXT: store i8* %[[AP_NEXT2]], i8** %[[AP]]
53 // FREEBSD-NEXT: bitcast i8* %[[AP_CUR2]] to { double, double }*
54 // WIN64: %[[AP_CUR2:.*]] = load i8*, i8** %[[AP]]
55 // WIN64-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR2]], i64 8
56 // WIN64-NEXT: store i8* %[[AP_NEXT2]], i8** %[[AP]]
57 // WIN64-NEXT: %[[CUR2:.*]] = bitcast i8* %[[AP_CUR2]] to { double, double }**
58 // WIN64-NEXT: load { double, double }*, { double, double }** %[[CUR2]]
59 struct foo d = __builtin_va_arg(ap, struct foo);
60 // FREEBSD: %[[AP_CUR3:.*]] = load i8*, i8** %[[AP]]
61 // FREEBSD-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR3]], i64 16
62 // FREEBSD-NEXT: store i8* %[[AP_NEXT3]], i8** %[[AP]]
63 // FREEBSD-NEXT: bitcast i8* %[[AP_CUR3]] to %[[STRUCT_FOO]]*
64 // WIN64: %[[AP_CUR3:.*]] = load i8*, i8** %[[AP]]
65 // WIN64-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR3]], i64 8
66 // WIN64-NEXT: store i8* %[[AP_NEXT3]], i8** %[[AP]]
67 // WIN64-NEXT: %[[CUR3:.*]] = bitcast i8* %[[AP_CUR3]] to %[[STRUCT_FOO]]*
68 // WIN64-NEXT: load %[[STRUCT_FOO]]*, %[[STRUCT_FOO]]** %[[CUR3]]
69 __builtin_ms_va_list ap2;
70 __builtin_ms_va_copy(ap2, ap);
71 // FREEBSD: %[[AP_VAL:.*]] = load i8*, i8** %[[AP]]
72 // FREEBSD-NEXT: store i8* %[[AP_VAL]], i8** %[[AP2:.*]]
73 // WIN64: %[[AP_VAL:.*]] = load i8*, i8** %[[AP]]
74 // WIN64-NEXT: store i8* %[[AP_VAL]], i8** %[[AP2:.*]]
75 __builtin_ms_va_end(ap);
76 // FREEBSD: call void @llvm.va_end
77 // WIN64: call void @llvm.va_end
78 }
79
80 // Let's verify that normal va_lists work right on Win64, too.
f5(int a,...)81 void f5(int a, ...) {
82 // WIN64-LABEL: define dso_local void @f5
83 __builtin_va_list ap;
84 __builtin_va_start(ap, a);
85 // WIN64: %[[AP:.*]] = alloca i8*
86 // WIN64: call void @llvm.va_start
87 int b = __builtin_va_arg(ap, int);
88 // WIN64: %[[AP_CUR:.*]] = load i8*, i8** %[[AP]]
89 // WIN64-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR]], i64 8
90 // WIN64-NEXT: store i8* %[[AP_NEXT]], i8** %[[AP]]
91 // WIN64-NEXT: bitcast i8* %[[AP_CUR]] to i32*
92 double _Complex c = __builtin_va_arg(ap, double _Complex);
93 // WIN64: %[[AP_CUR2:.*]] = load i8*, i8** %[[AP]]
94 // WIN64-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR2]], i64 8
95 // WIN64-NEXT: store i8* %[[AP_NEXT2]], i8** %[[AP]]
96 // WIN64-NEXT: bitcast i8* %[[AP_CUR2]] to { double, double }*
97 struct foo d = __builtin_va_arg(ap, struct foo);
98 // WIN64: %[[AP_CUR3:.*]] = load i8*, i8** %[[AP]]
99 // WIN64-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR3]], i64 8
100 // WIN64-NEXT: store i8* %[[AP_NEXT3]], i8** %[[AP]]
101 // WIN64-NEXT: bitcast i8* %[[AP_CUR3]] to %[[STRUCT_FOO]]*
102 __builtin_va_list ap2;
103 __builtin_va_copy(ap2, ap);
104 // WIN64: call void @llvm.va_copy
105 __builtin_va_end(ap);
106 // WIN64: call void @llvm.va_end
107 }
108
109 // Verify that using a Win64 va_list from a System V function works.
f6(__builtin_ms_va_list ap)110 void __attribute__((sysv_abi)) f6(__builtin_ms_va_list ap) {
111 // FREEBSD-LABEL: define void @f6
112 // FREEBSD: store i8* %ap, i8** %[[AP:.*]]
113 // WIN64-LABEL: define dso_local x86_64_sysvcc void @f6
114 // WIN64: store i8* %ap, i8** %[[AP:.*]]
115 int b = __builtin_va_arg(ap, int);
116 // FREEBSD: %[[AP_CUR:.*]] = load i8*, i8** %[[AP]]
117 // FREEBSD-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR]], i64 8
118 // FREEBSD-NEXT: store i8* %[[AP_NEXT]], i8** %[[AP]]
119 // FREEBSD-NEXT: bitcast i8* %[[AP_CUR]] to i32*
120 // WIN64: %[[AP_CUR:.*]] = load i8*, i8** %[[AP]]
121 // WIN64-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR]], i64 8
122 // WIN64-NEXT: store i8* %[[AP_NEXT]], i8** %[[AP]]
123 // WIN64-NEXT: bitcast i8* %[[AP_CUR]] to i32*
124 double _Complex c = __builtin_va_arg(ap, double _Complex);
125 // FREEBSD: %[[AP_CUR2:.*]] = load i8*, i8** %[[AP]]
126 // FREEBSD-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR2]], i64 16
127 // FREEBSD-NEXT: store i8* %[[AP_NEXT2]], i8** %[[AP]]
128 // FREEBSD-NEXT: bitcast i8* %[[AP_CUR2]] to { double, double }*
129 // WIN64: %[[AP_CUR2:.*]] = load i8*, i8** %[[AP]]
130 // WIN64-NEXT: %[[AP_NEXT2:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR2]], i64 8
131 // WIN64-NEXT: store i8* %[[AP_NEXT2]], i8** %[[AP]]
132 // WIN64-NEXT: bitcast i8* %[[AP_CUR2]] to { double, double }*
133 struct foo d = __builtin_va_arg(ap, struct foo);
134 // FREEBSD: %[[AP_CUR3:.*]] = load i8*, i8** %[[AP]]
135 // FREEBSD-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR3]], i64 16
136 // FREEBSD-NEXT: store i8* %[[AP_NEXT3]], i8** %[[AP]]
137 // FREEBSD-NEXT: bitcast i8* %[[AP_CUR3]] to %[[STRUCT_FOO]]*
138 // WIN64: %[[AP_CUR3:.*]] = load i8*, i8** %[[AP]]
139 // WIN64-NEXT: %[[AP_NEXT3:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR3]], i64 8
140 // WIN64-NEXT: store i8* %[[AP_NEXT3]], i8** %[[AP]]
141 // WIN64-NEXT: bitcast i8* %[[AP_CUR3]] to %[[STRUCT_FOO]]*
142 __builtin_ms_va_list ap2;
143 __builtin_ms_va_copy(ap2, ap);
144 // FREEBSD: %[[AP_VAL:.*]] = load i8*, i8** %[[AP]]
145 // FREEBSD-NEXT: store i8* %[[AP_VAL]], i8** %[[AP2:.*]]
146 // WIN64: %[[AP_VAL:.*]] = load i8*, i8** %[[AP]]
147 // WIN64-NEXT: store i8* %[[AP_VAL]], i8** %[[AP2:.*]]
148 }
149
150 // This test checks if structs are passed according to Win64 calling convention
151 // when it's enforced by __attribute((ms_abi)).
152 struct i128 {
153 unsigned long long a;
154 unsigned long long b;
155 };
156
f7(struct i128 a)157 __attribute__((ms_abi)) struct i128 f7(struct i128 a) {
158 // WIN64: define dso_local void @f7(%struct.i128* noalias sret(%struct.i128) align 8 %agg.result, %struct.i128* %a)
159 // FREEBSD: define win64cc void @f7(%struct.i128* noalias sret(%struct.i128) align 8 %agg.result, %struct.i128* %a)
160 return a;
161 }
162