1; RUN: llc < %s -mtriple=x86_64-apple-darwin -stack-symbol-ordering=0 | FileCheck %s -check-prefix=X64
2; RUN: llc < %s -mtriple=i686-apple-darwin -stack-symbol-ordering=0 | FileCheck %s -check-prefix=X32
3
4%struct.Baz = type { [17 x i8] }
5%struct.__va_list_tag = type { i32, i32, i8*, i8* }
6
7; Function Attrs: nounwind uwtable
8define void @bar(%struct.Baz* byval nocapture readnone align 8 %x, ...) {
9entry:
10  %va = alloca [1 x %struct.__va_list_tag], align 16
11  %arraydecay = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %va, i64 0, i64 0
12  %arraydecay1 = bitcast [1 x %struct.__va_list_tag]* %va to i8*
13  call void @llvm.va_start(i8* %arraydecay1)
14  %overflow_arg_area_p = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %va, i64 0, i64 0, i32 2
15  %overflow_arg_area = load i8*, i8** %overflow_arg_area_p, align 8
16  %overflow_arg_area.next = getelementptr i8, i8* %overflow_arg_area, i64 24
17  store i8* %overflow_arg_area.next, i8** %overflow_arg_area_p, align 8
18; X32: leal    68(%esp), [[REG:%.*]]
19; X32: movl    [[REG]], 16(%esp)
20; X64: leaq    232(%rsp), [[REG:%.*]]
21; X64: movq    [[REG]], 184(%rsp)
22; X64: leaq    176(%rsp), %rdi
23  call void @qux(%struct.__va_list_tag* %arraydecay)
24  ret void
25}
26
27; Function Attrs: nounwind
28declare void @llvm.va_start(i8*)
29
30declare void @qux(%struct.__va_list_tag*)
31