1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=aarch64-windows -verify-machineinstrs | FileCheck %s --check-prefixes=DAGISEL
3; RUN: llc < %s -mtriple=aarch64-windows -verify-machineinstrs -O0 -fast-isel | FileCheck %s --check-prefixes=O0,FASTISEL
4; RUN: llc < %s -mtriple=aarch64-windows -verify-machineinstrs -O0 -global-isel | FileCheck %s --check-prefixes=O0,GISEL
5
6define win64cc void @float_va_fn(float %a, i32 %b, ...) nounwind {
7; DAGISEL-LABEL: float_va_fn:
8; DAGISEL:       // %bb.0: // %entry
9; DAGISEL-NEXT:    str x30, [sp, #-64]! // 8-byte Folded Spill
10; DAGISEL-NEXT:    add x8, sp, #16
11; DAGISEL-NEXT:    fmov s0, w0
12; DAGISEL-NEXT:    add x0, sp, #16
13; DAGISEL-NEXT:    stp x3, x4, [sp, #24]
14; DAGISEL-NEXT:    stp x5, x6, [sp, #40]
15; DAGISEL-NEXT:    stp x8, x2, [sp, #8]
16; DAGISEL-NEXT:    str x7, [sp, #56]
17; DAGISEL-NEXT:    bl f_va_list
18; DAGISEL-NEXT:    ldr x30, [sp], #64 // 8-byte Folded Reload
19; DAGISEL-NEXT:    ret
20;
21; O0-LABEL: float_va_fn:
22; O0:       // %bb.0: // %entry
23; O0-NEXT:    sub sp, sp, #80
24; O0-NEXT:    str x30, [sp, #16] // 8-byte Folded Spill
25; O0-NEXT:    str x7, [sp, #72]
26; O0-NEXT:    str x6, [sp, #64]
27; O0-NEXT:    str x5, [sp, #56]
28; O0-NEXT:    str x4, [sp, #48]
29; O0-NEXT:    str x3, [sp, #40]
30; O0-NEXT:    str x2, [sp, #32]
31; O0-NEXT:    fmov s0, w0
32; O0-NEXT:    add x8, sp, #32
33; O0-NEXT:    str x8, [sp, #8]
34; O0-NEXT:    ldr x0, [sp, #8]
35; O0-NEXT:    bl f_va_list
36; O0-NEXT:    ldr x30, [sp, #16] // 8-byte Folded Reload
37; O0-NEXT:    add sp, sp, #80
38; O0-NEXT:    ret
39entry:
40  %ap = alloca i8*, align 8
41  %0 = bitcast i8** %ap to i8*
42  call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %0)
43  call void @llvm.va_start(i8* nonnull %0)
44  %1 = load i8*, i8** %ap, align 8
45  call void @f_va_list(float %a, i8* %1)
46  call void @llvm.va_end(i8* nonnull %0)
47  call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %0)
48  ret void
49}
50
51declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture)
52declare void @llvm.va_start(i8*)
53declare void @f_va_list(float, i8*)
54declare void @llvm.va_end(i8*)
55declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)
56
57define win64cc void @double_va_fn(double %a, i32 %b, ...) nounwind {
58; DAGISEL-LABEL: double_va_fn:
59; DAGISEL:       // %bb.0: // %entry
60; DAGISEL-NEXT:    str x30, [sp, #-64]! // 8-byte Folded Spill
61; DAGISEL-NEXT:    add x8, sp, #16
62; DAGISEL-NEXT:    fmov d0, x0
63; DAGISEL-NEXT:    add x0, sp, #16
64; DAGISEL-NEXT:    stp x3, x4, [sp, #24]
65; DAGISEL-NEXT:    stp x5, x6, [sp, #40]
66; DAGISEL-NEXT:    stp x8, x2, [sp, #8]
67; DAGISEL-NEXT:    str x7, [sp, #56]
68; DAGISEL-NEXT:    bl d_va_list
69; DAGISEL-NEXT:    ldr x30, [sp], #64 // 8-byte Folded Reload
70; DAGISEL-NEXT:    ret
71;
72; O0-LABEL: double_va_fn:
73; O0:       // %bb.0: // %entry
74; O0-NEXT:    sub sp, sp, #80
75; O0-NEXT:    str x30, [sp, #16] // 8-byte Folded Spill
76; O0-NEXT:    str x7, [sp, #72]
77; O0-NEXT:    str x6, [sp, #64]
78; O0-NEXT:    str x5, [sp, #56]
79; O0-NEXT:    str x4, [sp, #48]
80; O0-NEXT:    str x3, [sp, #40]
81; O0-NEXT:    str x2, [sp, #32]
82; O0-NEXT:    fmov d0, x0
83; O0-NEXT:    add x8, sp, #32
84; O0-NEXT:    str x8, [sp, #8]
85; O0-NEXT:    ldr x0, [sp, #8]
86; O0-NEXT:    bl d_va_list
87; O0-NEXT:    ldr x30, [sp, #16] // 8-byte Folded Reload
88; O0-NEXT:    add sp, sp, #80
89; O0-NEXT:    ret
90entry:
91  %ap = alloca i8*, align 8
92  %0 = bitcast i8** %ap to i8*
93  call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %0)
94  call void @llvm.va_start(i8* nonnull %0)
95  %1 = load i8*, i8** %ap, align 8
96  call void @d_va_list(double %a, i8* %1)
97  call void @llvm.va_end(i8* nonnull %0)
98  call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %0)
99  ret void
100}
101
102declare void @d_va_list(double, i8*)
103
104define void @call_f_va() nounwind {
105; DAGISEL-LABEL: call_f_va:
106; DAGISEL:       // %bb.0: // %entry
107; DAGISEL-NEXT:    str x30, [sp, #-16]! // 8-byte Folded Spill
108; DAGISEL-NEXT:    mov w0, #1065353216
109; DAGISEL-NEXT:    mov w1, #2
110; DAGISEL-NEXT:    mov x2, #4613937818241073152
111; DAGISEL-NEXT:    mov w3, #4
112; DAGISEL-NEXT:    bl other_f_va_fn
113; DAGISEL-NEXT:    ldr x30, [sp], #16 // 8-byte Folded Reload
114; DAGISEL-NEXT:    ret
115;
116; FASTISEL-LABEL: call_f_va:
117; FASTISEL:       // %bb.0: // %entry
118; FASTISEL-NEXT:    str x30, [sp, #-16]! // 8-byte Folded Spill
119; FASTISEL-NEXT:    mov w0, #1065353216
120; FASTISEL-NEXT:    mov w1, #2
121; FASTISEL-NEXT:    mov x2, #4613937818241073152
122; FASTISEL-NEXT:    mov w3, #4
123; FASTISEL-NEXT:    bl other_f_va_fn
124; FASTISEL-NEXT:    ldr x30, [sp], #16 // 8-byte Folded Reload
125; FASTISEL-NEXT:    ret
126;
127; GISEL-LABEL: call_f_va:
128; GISEL:       // %bb.0: // %entry
129; GISEL-NEXT:    str x30, [sp, #-16]! // 8-byte Folded Spill
130; GISEL-NEXT:    fmov s0, #1.00000000
131; GISEL-NEXT:    fmov w0, s0
132; GISEL-NEXT:    mov w1, #2
133; GISEL-NEXT:    fmov d0, #3.00000000
134; GISEL-NEXT:    fmov x2, d0
135; GISEL-NEXT:    mov w3, #4
136; GISEL-NEXT:    bl other_f_va_fn
137; GISEL-NEXT:    ldr x30, [sp], #16 // 8-byte Folded Reload
138; GISEL-NEXT:    ret
139entry:
140  tail call win64cc void (float, i32, ...) @other_f_va_fn(float 1.000000e+00, i32 2, double 3.000000e+00, i32 4)
141  ret void
142}
143
144declare win64cc void @other_f_va_fn(float, i32, ...)
145
146define void @call_d_va() nounwind {
147; DAGISEL-LABEL: call_d_va:
148; DAGISEL:       // %bb.0: // %entry
149; DAGISEL-NEXT:    str x30, [sp, #-16]! // 8-byte Folded Spill
150; DAGISEL-NEXT:    mov x0, #4607182418800017408
151; DAGISEL-NEXT:    mov w1, #2
152; DAGISEL-NEXT:    mov x2, #4613937818241073152
153; DAGISEL-NEXT:    mov w3, #4
154; DAGISEL-NEXT:    bl other_d_va_fn
155; DAGISEL-NEXT:    ldr x30, [sp], #16 // 8-byte Folded Reload
156; DAGISEL-NEXT:    ret
157;
158; FASTISEL-LABEL: call_d_va:
159; FASTISEL:       // %bb.0: // %entry
160; FASTISEL-NEXT:    str x30, [sp, #-16]! // 8-byte Folded Spill
161; FASTISEL-NEXT:    mov x0, #4607182418800017408
162; FASTISEL-NEXT:    mov w1, #2
163; FASTISEL-NEXT:    mov x2, #4613937818241073152
164; FASTISEL-NEXT:    mov w3, #4
165; FASTISEL-NEXT:    bl other_d_va_fn
166; FASTISEL-NEXT:    ldr x30, [sp], #16 // 8-byte Folded Reload
167; FASTISEL-NEXT:    ret
168;
169; GISEL-LABEL: call_d_va:
170; GISEL:       // %bb.0: // %entry
171; GISEL-NEXT:    str x30, [sp, #-16]! // 8-byte Folded Spill
172; GISEL-NEXT:    fmov d0, #1.00000000
173; GISEL-NEXT:    fmov x0, d0
174; GISEL-NEXT:    mov w1, #2
175; GISEL-NEXT:    fmov d0, #3.00000000
176; GISEL-NEXT:    fmov x2, d0
177; GISEL-NEXT:    mov w3, #4
178; GISEL-NEXT:    bl other_d_va_fn
179; GISEL-NEXT:    ldr x30, [sp], #16 // 8-byte Folded Reload
180; GISEL-NEXT:    ret
181entry:
182  tail call win64cc void (double, i32, ...) @other_d_va_fn(double 1.000000e+00, i32 2, double 3.000000e+00, i32 4)
183  ret void
184}
185
186declare win64cc void @other_d_va_fn(double, i32, ...)
187
188define void @call_d_non_va() nounwind {
189; DAGISEL-LABEL: call_d_non_va:
190; DAGISEL:       // %bb.0: // %entry
191; DAGISEL-NEXT:    str x30, [sp, #-16]! // 8-byte Folded Spill
192; DAGISEL-NEXT:    fmov d0, #1.00000000
193; DAGISEL-NEXT:    fmov d1, #3.00000000
194; DAGISEL-NEXT:    mov w0, #2
195; DAGISEL-NEXT:    mov w1, #4
196; DAGISEL-NEXT:    bl other_d_non_va_fn
197; DAGISEL-NEXT:    ldr x30, [sp], #16 // 8-byte Folded Reload
198; DAGISEL-NEXT:    ret
199;
200; O0-LABEL: call_d_non_va:
201; O0:       // %bb.0: // %entry
202; O0-NEXT:    str x30, [sp, #-16]! // 8-byte Folded Spill
203; O0-NEXT:    fmov d0, #1.00000000
204; O0-NEXT:    mov w0, #2
205; O0-NEXT:    fmov d1, #3.00000000
206; O0-NEXT:    mov w1, #4
207; O0-NEXT:    bl other_d_non_va_fn
208; O0-NEXT:    ldr x30, [sp], #16 // 8-byte Folded Reload
209; O0-NEXT:    ret
210entry:
211  tail call win64cc void (double, i32, double, i32) @other_d_non_va_fn(double 1.000000e+00, i32 2, double 3.000000e+00, i32 4)
212  ret void
213}
214
215declare win64cc void @other_d_non_va_fn(double, i32, double, i32)
216