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 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 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: mov w0, #1065353216 108; DAGISEL-NEXT: mov w1, #2 109; DAGISEL-NEXT: mov x2, #4613937818241073152 110; DAGISEL-NEXT: mov w3, #4 111; DAGISEL-NEXT: b other_f_va_fn 112; 113; FASTISEL-LABEL: call_f_va: 114; FASTISEL: // %bb.0: // %entry 115; FASTISEL-NEXT: mov w0, #1065353216 116; FASTISEL-NEXT: mov w1, #2 117; FASTISEL-NEXT: mov x2, #4613937818241073152 118; FASTISEL-NEXT: mov w3, #4 119; FASTISEL-NEXT: b other_f_va_fn 120; 121; GISEL-LABEL: call_f_va: 122; GISEL: // %bb.0: // %entry 123; GISEL-NEXT: fmov s0, #1.00000000 124; GISEL-NEXT: fmov w0, s0 125; GISEL-NEXT: mov w1, #2 126; GISEL-NEXT: fmov d0, #3.00000000 127; GISEL-NEXT: fmov x2, d0 128; GISEL-NEXT: mov w3, #4 129; GISEL-NEXT: b other_f_va_fn 130entry: 131 tail call void (float, i32, ...) @other_f_va_fn(float 1.000000e+00, i32 2, double 3.000000e+00, i32 4) 132 ret void 133} 134 135declare void @other_f_va_fn(float, i32, ...) 136 137define void @call_d_va() nounwind { 138; DAGISEL-LABEL: call_d_va: 139; DAGISEL: // %bb.0: // %entry 140; DAGISEL-NEXT: mov x0, #4607182418800017408 141; DAGISEL-NEXT: mov w1, #2 142; DAGISEL-NEXT: mov x2, #4613937818241073152 143; DAGISEL-NEXT: mov w3, #4 144; DAGISEL-NEXT: b other_d_va_fn 145; 146; FASTISEL-LABEL: call_d_va: 147; FASTISEL: // %bb.0: // %entry 148; FASTISEL-NEXT: mov x0, #4607182418800017408 149; FASTISEL-NEXT: mov w1, #2 150; FASTISEL-NEXT: mov x2, #4613937818241073152 151; FASTISEL-NEXT: mov w3, #4 152; FASTISEL-NEXT: b other_d_va_fn 153; 154; GISEL-LABEL: call_d_va: 155; GISEL: // %bb.0: // %entry 156; GISEL-NEXT: fmov d0, #1.00000000 157; GISEL-NEXT: fmov x0, d0 158; GISEL-NEXT: mov w1, #2 159; GISEL-NEXT: fmov d0, #3.00000000 160; GISEL-NEXT: fmov x2, d0 161; GISEL-NEXT: mov w3, #4 162; GISEL-NEXT: b other_d_va_fn 163entry: 164 tail call void (double, i32, ...) @other_d_va_fn(double 1.000000e+00, i32 2, double 3.000000e+00, i32 4) 165 ret void 166} 167 168declare void @other_d_va_fn(double, i32, ...) 169 170define void @call_d_non_va() nounwind { 171; DAGISEL-LABEL: call_d_non_va: 172; DAGISEL: // %bb.0: // %entry 173; DAGISEL-NEXT: fmov d0, #1.00000000 174; DAGISEL-NEXT: fmov d1, #3.00000000 175; DAGISEL-NEXT: mov w0, #2 176; DAGISEL-NEXT: mov w1, #4 177; DAGISEL-NEXT: b other_d_non_va_fn 178; 179; O0-LABEL: call_d_non_va: 180; O0: // %bb.0: // %entry 181; O0-NEXT: fmov d0, #1.00000000 182; O0-NEXT: mov w0, #2 183; O0-NEXT: fmov d1, #3.00000000 184; O0-NEXT: mov w1, #4 185; O0-NEXT: b other_d_non_va_fn 186entry: 187 tail call void (double, i32, double, i32) @other_d_non_va_fn(double 1.000000e+00, i32 2, double 3.000000e+00, i32 4) 188 ret void 189} 190 191declare void @other_d_non_va_fn(double, i32, double, i32) 192