Add a triple to switch.ll test.

[oota-llvm.git] / test / CodeGen / X86 / win64_vararg.ll

diff --git a/test/CodeGen/X86/win64_vararg.ll b/test/CodeGen/X86/win64_vararg.ll
index 07b7826c000f284315f33c4d9ee83adc8b147f35..8d7f2010a54114218de8e51611b099d03c1f4b60 100644 (file)
--- a/test/CodeGen/X86/win64_vararg.ll
+++ b/test/CodeGen/X86/win64_vararg.ll
@@ -20,7 +20,7 @@ entry:
 declare void @llvm.va_start(i8*) nounwind
 declare void @llvm.va_copy(i8*, i8*) nounwind
 
-; CHECK: f5:
+; CHECK-LABEL: f5:
 ; CHECK: pushq
 ; CHECK: leaq 56(%rsp),
 define i8* @f5(i64 %a0, i64 %a1, i64 %a2, i64 %a3, i64 %a4, ...) nounwind {
@@ -31,7 +31,7 @@ entry:
   ret i8* %ap1
 }
 
-; CHECK: f4:
+; CHECK-LABEL: f4:
 ; CHECK: pushq
 ; CHECK: leaq 48(%rsp),
 define i8* @f4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {
@@ -42,7 +42,7 @@ entry:
   ret i8* %ap1
 }
 
-; CHECK: f3:
+; CHECK-LABEL: f3:
 ; CHECK: pushq
 ; CHECK: leaq 40(%rsp),
 define i8* @f3(i64 %a0, i64 %a1, i64 %a2, ...) nounwind {
@@ -55,14 +55,15 @@ entry:
 
 ; WinX86_64 uses char* for va_list. Verify that the correct amount of bytes
 ; are copied using va_copy.
-; CHECK: copy4:
+
+; CHECK-LABEL: copy1:
 ; CHECK: subq $16
-; CHECK: leaq 56(%rsp), [[REGISTER:%[a-z]+]]
-; CHECK: movq [[REGISTER]], 8(%rsp)
-; CHECK: movq [[REGISTER]], (%rsp)
+; CHECK: leaq 32(%rsp), [[REG_copy1:%[a-z]+]]
+; CHECK: movq [[REG_copy1]], 8(%rsp)
+; CHECK: movq [[REG_copy1]], (%rsp)
 ; CHECK: addq $16
 ; CHECK: ret
-define void @copy4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {
+define void @copy1(i64 %a0, ...) nounwind {
 entry:
   %ap = alloca i8*, align 8
   %cp = alloca i8*, align 8
@@ -73,14 +74,14 @@ entry:
   ret void
 }
 
-; CHECK: copy1:
+; CHECK-LABEL: copy4:
 ; CHECK: subq $16
-; CHECK: leaq 32(%rsp), [[REGISTER:%[a-z]+]]
-; CHECK: movq [[REGISTER]], 8(%rsp)
-; CHECK: movq [[REGISTER]], (%rsp)
+; CHECK: leaq 56(%rsp), [[REG_copy4:%[a-z]+]]
+; CHECK: movq [[REG_copy4]], 8(%rsp)
+; CHECK: movq [[REG_copy4]], (%rsp)
 ; CHECK: addq $16
 ; CHECK: ret
-define void @copy1(i64 %a0, ...) nounwind {
+define void @copy4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {
 entry:
   %ap = alloca i8*, align 8
   %cp = alloca i8*, align 8
@@ -91,14 +92,14 @@ entry:
   ret void
 }
 
-; CHECK: arg4:
+; CHECK-LABEL: arg4:
 ; CHECK: pushq
 ; va_start:
-; CHECK: leaq 48(%rsp), [[REG1:%[a-z]+]]
-; CHECK: movq [[REG1]], (%rsp)
+; CHECK: leaq 48(%rsp), [[REG_arg4_1:%[a-z]+]]
+; CHECK: movq [[REG_arg4_1]], (%rsp)
 ; va_arg:
-; CHECK: leaq 52(%rsp), [[REG2:%[a-z]+]]
-; CHECK: movq [[REG2]], (%rsp)
+; CHECK: leaq 52(%rsp), [[REG_arg4_2:%[a-z]+]]
+; CHECK: movq [[REG_arg4_2]], (%rsp)
 ; CHECK: movl 48(%rsp), %eax
 ; CHECK: popq
 ; CHECK: ret
@@ -110,3 +111,22 @@ entry:
   %tmp = va_arg i8** %ap, i32
   ret i32 %tmp
 }
+
+define void @sret_arg(i32* sret %agg.result, i8* nocapture readnone %format, ...) {
+entry:
+  %ap = alloca i8*
+  %ap_i8 = bitcast i8** %ap to i8*
+  call void @llvm.va_start(i8* %ap_i8)
+  %tmp = va_arg i8** %ap, i32
+  store i32 %tmp, i32* %agg.result
+  ret void
+}
+; CHECK-LABEL: sret_arg:
+; CHECK: pushq
+; CHECK-DAG: movq %r9, 40(%rsp)
+; CHECK-DAG: movq %r8, 32(%rsp)
+; CHECK: movl 32(%rsp), %[[tmp:[^ ]*]]
+; CHECK: movl %[[tmp]], (%[[sret:[^ ]*]])
+; CHECK: movq %[[sret]], %rax
+; CHECK: popq
+; CHECK: retq