1 // RUN: %clang_cc1 -triple aarch64-linux-gnu -emit-llvm < %s | FileCheck -check-prefix=LINUX %s
2 // RUN: %clang_cc1 -triple aarch64-pc-win32 -emit-llvm < %s | FileCheck -check-prefix=WIN64 %s
3
4 void __attribute__((ms_abi)) f1(void);
5 void f2(void);
f3(void)6 void f3(void) {
7 // LINUX-LABEL: define void @f3()
8 // WIN64-LABEL: define dso_local void @f3()
9 f1();
10 // LINUX: call win64cc void @f1()
11 // WIN64: call void @f1()
12 f2();
13 // LINUX: call void @f2()
14 // WIN64: call void @f2()
15 }
16 // LINUX: declare win64cc void @f1()
17 // LINUX: declare void @f2()
18 // WIN64: declare dso_local void @f1()
19 // WIN64: declare dso_local void @f2()
20
21 // Win64 ABI varargs
f4(int a,...)22 void __attribute__((ms_abi)) f4(int a, ...) {
23 // LINUX-LABEL: define win64cc void @f4
24 // WIN64-LABEL: define dso_local void @f4
25 __builtin_ms_va_list ap;
26 __builtin_ms_va_start(ap, a);
27 // LINUX: %[[AP:.*]] = alloca i8*
28 // LINUX: call void @llvm.va_start
29 // WIN64: %[[AP:.*]] = alloca i8*
30 // WIN64: call void @llvm.va_start
31 int b = __builtin_va_arg(ap, int);
32 // LINUX: %[[AP_CUR:.*]] = load i8*, i8** %[[AP]]
33 // LINUX-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR]], i64 8
34 // LINUX-NEXT: store i8* %[[AP_NEXT]], i8** %[[AP]]
35 // LINUX-NEXT: bitcast i8* %[[AP_CUR]] to i32*
36 // WIN64: %[[AP_CUR:.*]] = load i8*, i8** %[[AP]]
37 // WIN64-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR]], i64 8
38 // WIN64-NEXT: store i8* %[[AP_NEXT]], i8** %[[AP]]
39 // WIN64-NEXT: bitcast i8* %[[AP_CUR]] to i32*
40 __builtin_ms_va_list ap2;
41 __builtin_ms_va_copy(ap2, ap);
42 // LINUX: %[[AP_VAL:.*]] = load i8*, i8** %[[AP]]
43 // LINUX-NEXT: store i8* %[[AP_VAL]], i8** %[[AP2:.*]]
44 // WIN64: %[[AP_VAL:.*]] = load i8*, i8** %[[AP]]
45 // WIN64-NEXT: store i8* %[[AP_VAL]], i8** %[[AP2:.*]]
46 __builtin_ms_va_end(ap);
47 // LINUX: call void @llvm.va_end
48 // WIN64: call void @llvm.va_end
49 }
50
51 // Let's verify that normal va_lists work right on Win64, too.
f5(int a,...)52 void f5(int a, ...) {
53 // WIN64-LABEL: define dso_local void @f5
54 __builtin_va_list ap;
55 __builtin_va_start(ap, a);
56 // WIN64: %[[AP:.*]] = alloca i8*
57 // WIN64: call void @llvm.va_start
58 int b = __builtin_va_arg(ap, int);
59 // WIN64: %[[AP_CUR:.*]] = load i8*, i8** %[[AP]]
60 // WIN64-NEXT: %[[AP_NEXT:.*]] = getelementptr inbounds i8, i8* %[[AP_CUR]], i64 8
61 // WIN64-NEXT: store i8* %[[AP_NEXT]], i8** %[[AP]]
62 // WIN64-NEXT: bitcast i8* %[[AP_CUR]] to i32*
63 __builtin_va_list ap2;
64 __builtin_va_copy(ap2, ap);
65 // WIN64: call void @llvm.va_copy
66 __builtin_va_end(ap);
67 // WIN64: call void @llvm.va_end
68 }
69