1 ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-pc-win32 | FileCheck %s
3 ; Verify that the var arg parameters which are passed in registers are stored
4 ; in home stack slots allocated by the caller and that AP is correctly
6 define void @average_va(i32 %count, ...) nounwind {
9 ; CHECK: movq %r9, 40(%rsp)
10 ; CHECK: movq %r8, 32(%rsp)
11 ; CHECK: movq %rdx, 24(%rsp)
12 ; CHECK: leaq 24(%rsp), %rax
14 %ap = alloca i8*, align 8 ; <i8**> [#uses=1]
15 %ap1 = bitcast i8** %ap to i8* ; <i8*> [#uses=1]
16 call void @llvm.va_start(i8* %ap1)
20 declare void @llvm.va_start(i8*) nounwind
21 declare void @llvm.va_copy(i8*, i8*) nounwind
25 ; CHECK: leaq 56(%rsp),
26 define i8* @f5(i64 %a0, i64 %a1, i64 %a2, i64 %a3, i64 %a4, ...) nounwind {
28 %ap = alloca i8*, align 8
29 %ap1 = bitcast i8** %ap to i8*
30 call void @llvm.va_start(i8* %ap1)
36 ; CHECK: leaq 48(%rsp),
37 define i8* @f4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {
39 %ap = alloca i8*, align 8
40 %ap1 = bitcast i8** %ap to i8*
41 call void @llvm.va_start(i8* %ap1)
47 ; CHECK: leaq 40(%rsp),
48 define i8* @f3(i64 %a0, i64 %a1, i64 %a2, ...) nounwind {
50 %ap = alloca i8*, align 8
51 %ap1 = bitcast i8** %ap to i8*
52 call void @llvm.va_start(i8* %ap1)
56 ; WinX86_64 uses char* for va_list. Verify that the correct amount of bytes
57 ; are copied using va_copy.
60 ; CHECK: leaq 56(%rsp), [[REGISTER:%[a-z]+]]
61 ; CHECK: movq [[REGISTER]], 8(%rsp)
62 ; CHECK: movq [[REGISTER]], (%rsp)
65 define void @copy4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {
67 %ap = alloca i8*, align 8
68 %cp = alloca i8*, align 8
69 %ap1 = bitcast i8** %ap to i8*
70 %cp1 = bitcast i8** %cp to i8*
71 call void @llvm.va_start(i8* %ap1)
72 call void @llvm.va_copy(i8* %cp1, i8* %ap1)
78 ; CHECK: leaq 32(%rsp), [[REGISTER:%[a-z]+]]
79 ; CHECK: movq [[REGISTER]], 8(%rsp)
80 ; CHECK: movq [[REGISTER]], (%rsp)
83 define void @copy1(i64 %a0, ...) nounwind {
85 %ap = alloca i8*, align 8
86 %cp = alloca i8*, align 8
87 %ap1 = bitcast i8** %ap to i8*
88 %cp1 = bitcast i8** %cp to i8*
89 call void @llvm.va_start(i8* %ap1)
90 call void @llvm.va_copy(i8* %cp1, i8* %ap1)
97 ; CHECK: leaq 48(%rsp), [[REG1:%[a-z]+]]
98 ; CHECK: movq [[REG1]], (%rsp)
100 ; CHECK: leaq 52(%rsp), [[REG2:%[a-z]+]]
101 ; CHECK: movq [[REG2]], (%rsp)
102 ; CHECK: movl 48(%rsp), %eax
105 define i32 @arg4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {
107 %ap = alloca i8*, align 8
108 %ap1 = bitcast i8** %ap to i8*
109 call void @llvm.va_start(i8* %ap1)
110 %tmp = va_arg i8** %ap, i32