98 lines · plain
1; RUN: llc < %s -mcpu=generic -mtriple=x86_64-pc-linux-gnu | FileCheck %s2 3; Verify that the var arg parameters which are passed in registers are stored4; in home stack slots allocated by the caller and that AP is correctly5; calculated.6define win64cc void @average_va(i32 %count, ...) nounwind {7entry:8; CHECK: pushq9; CHECK-DAG: movq %r9, 40(%rsp)10; CHECK-DAG: movq %r8, 32(%rsp)11; CHECK-DAG: movq %rdx, 24(%rsp)12; CHECK: leaq 24(%rsp), %rax13 14 %ap = alloca ptr, align 8 ; <ptr> [#uses=1]15 call void @llvm.va_start(ptr %ap)16 ret void17}18 19declare void @llvm.va_start(ptr) nounwind20declare void @llvm.va_copy(ptr, ptr) nounwind21declare void @llvm.va_end(ptr) nounwind22 23; CHECK-LABEL: f5:24; CHECK: pushq25; CHECK: leaq 56(%rsp),26define win64cc ptr @f5(i64 %a0, i64 %a1, i64 %a2, i64 %a3, i64 %a4, ...) nounwind {27entry:28 %ap = alloca ptr, align 829 call void @llvm.va_start(ptr %ap)30 ret ptr %ap31}32 33; CHECK-LABEL: f4:34; CHECK: pushq35; CHECK: leaq 48(%rsp),36define win64cc ptr @f4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {37entry:38 %ap = alloca ptr, align 839 call void @llvm.va_start(ptr %ap)40 ret ptr %ap41}42 43; CHECK-LABEL: f3:44; CHECK: pushq45; CHECK: leaq 40(%rsp),46define win64cc ptr @f3(i64 %a0, i64 %a1, i64 %a2, ...) nounwind {47entry:48 %ap = alloca ptr, align 849 call void @llvm.va_start(ptr %ap)50 ret ptr %ap51}52 53; WinX86_64 uses char* for va_list. Verify that the correct amount of bytes54; are copied using va_copy.55 56; CHECK-LABEL: copy1:57; CHECK: leaq 32(%rsp), [[REG_copy1:%[a-z]+]]58; CHECK-DAG: movq [[REG_copy1]], 8(%rsp)59; CHECK-DAG: movq [[REG_copy1]], (%rsp)60; CHECK: ret61define win64cc void @copy1(i64 %a0, ...) nounwind {62entry:63 %ap = alloca ptr, align 864 %cp = alloca ptr, align 865 call void @llvm.va_start(ptr %ap)66 call void @llvm.va_copy(ptr %cp, ptr %ap)67 ret void68}69 70; CHECK-LABEL: copy4:71; CHECK: leaq 56(%rsp), [[REG_copy4:%[a-z]+]]72; CHECK: movq [[REG_copy4]], 8(%rsp)73; CHECK: movq [[REG_copy4]], (%rsp)74; CHECK: ret75define win64cc void @copy4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {76entry:77 %ap = alloca ptr, align 878 %cp = alloca ptr, align 879 call void @llvm.va_start(ptr %ap)80 call void @llvm.va_copy(ptr %cp, ptr %ap)81 ret void82}83 84; CHECK-LABEL: arg4:85; va_start (optimized away as overwritten by va_arg)86; va_arg:87; CHECK: leaq 52(%rsp), [[REG_arg4_2:%[a-z]+]]88; CHECK: movq [[REG_arg4_2]], (%rsp)89; CHECK: movl 48(%rsp), %eax90; CHECK: ret91define win64cc i32 @arg4(i64 %a0, i64 %a1, i64 %a2, i64 %a3, ...) nounwind {92entry:93 %ap = alloca ptr, align 894 call void @llvm.va_start(ptr %ap)95 %tmp = va_arg ptr %ap, i3296 ret i32 %tmp97}98