diff options
| author | Nico Rieck <nico.rieck@gmail.com> | 2013-07-06 18:08:19 +0000 |
|---|---|---|
| committer | Nico Rieck <nico.rieck@gmail.com> | 2013-07-06 18:08:19 +0000 |
| commit | 2b52880592a525cfe04d8f9008a35da8c2ea94c3 (patch) | |
| tree | 158b30fff8e7d0556216915ee4da86c88d267c82 /test | |
| parent | 28bb04453d82bd680e84cd2617ce94f633dc3249 (diff) | |
| download | llvm-2b52880592a525cfe04d8f9008a35da8c2ea94c3.tar.gz llvm-2b52880592a525cfe04d8f9008a35da8c2ea94c3.tar.bz2 llvm-2b52880592a525cfe04d8f9008a35da8c2ea94c3.tar.xz | |
Proper va_arg/va_copy lowering on win64
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@185763 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/X86/win64_vararg.ll | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/test/CodeGen/X86/win64_vararg.ll b/test/CodeGen/X86/win64_vararg.ll index 52bc50922c..07b7826c00 100644 --- a/test/CodeGen/X86/win64_vararg.ll +++ b/test/CodeGen/X86/win64_vararg.ll @@ -18,6 +18,7 @@ entry: } declare void @llvm.va_start(i8*) nounwind +declare void @llvm.va_copy(i8*, i8*) nounwind ; CHECK: f5: ; CHECK: pushq @@ -51,3 +52,61 @@ entry: call void @llvm.va_start(i8* %ap1) ret i8* %ap1 } + +; WinX86_64 uses char* for va_list. Verify that the correct amount of bytes +; are copied using va_copy. +; CHECK: copy4: +; CHECK: subq $16 +; CHECK: leaq 56(%rsp), [[REGISTER:%[a-z]+]] +; CHECK: movq [[REGISTER]], 8(%rsp) +; CHECK: movq [[REGISTER]], (%rsp) +; CHECK: addq $16 +; CHECK: ret +define void @copy4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind { +entry: + %ap = alloca i8*, align 8 + %cp = alloca i8*, align 8 + %ap1 = bitcast i8** %ap to i8* + %cp1 = bitcast i8** %cp to i8* + call void @llvm.va_start(i8* %ap1) + call void @llvm.va_copy(i8* %cp1, i8* %ap1) + ret void +} + +; CHECK: copy1: +; CHECK: subq $16 +; CHECK: leaq 32(%rsp), [[REGISTER:%[a-z]+]] +; CHECK: movq [[REGISTER]], 8(%rsp) +; CHECK: movq [[REGISTER]], (%rsp) +; CHECK: addq $16 +; CHECK: ret +define void @copy1(i64 %a0, ...) nounwind { +entry: + %ap = alloca i8*, align 8 + %cp = alloca i8*, align 8 + %ap1 = bitcast i8** %ap to i8* + %cp1 = bitcast i8** %cp to i8* + call void @llvm.va_start(i8* %ap1) + call void @llvm.va_copy(i8* %cp1, i8* %ap1) + ret void +} + +; CHECK: arg4: +; CHECK: pushq +; va_start: +; CHECK: leaq 48(%rsp), [[REG1:%[a-z]+]] +; CHECK: movq [[REG1]], (%rsp) +; va_arg: +; CHECK: leaq 52(%rsp), [[REG2:%[a-z]+]] +; CHECK: movq [[REG2]], (%rsp) +; CHECK: movl 48(%rsp), %eax +; CHECK: popq +; CHECK: ret +define i32 @arg4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind { +entry: + %ap = alloca i8*, align 8 + %ap1 = bitcast i8** %ap to i8* + call void @llvm.va_start(i8* %ap1) + %tmp = va_arg i8** %ap, i32 + ret i32 %tmp +} |