test/CodeGen/AArch64/vararg.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=aarch64-unknown-linux-gnu -O0 -global-isel=0 -o - < %s | FileCheck %s --check-prefixes=CHECK,CHECK-SD
; RUN: llc -mtriple=aarch64-unknown-linux-gnu -O0 -global-isel=1 -global-isel-abort=1 -o - < %s | FileCheck %s --check-prefixes=CHECK,CHECK-GI

target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"

%struct.__va_list = type { ptr, ptr, ptr, i32, i32 }

declare void @llvm.va_start(ptr) nounwind
declare void @llvm.va_end(ptr) nounwind
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)
declare void @llvm.va_start.p0(ptr)
declare void @llvm.va_end.p0(ptr)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)

define i64 @vararg(...) #0 {
; CHECK-SD-LABEL: vararg:
; CHECK-SD:       // %bb.0: // %entry
; CHECK-SD-NEXT:    sub sp, sp, #224
; CHECK-SD-NEXT:    .cfi_def_cfa_offset 224
; CHECK-SD-NEXT:    stp x29, x30, [sp, #208] // 16-byte Folded Spill
; CHECK-SD-NEXT:    add x29, sp, #208
; CHECK-SD-NEXT:    .cfi_def_cfa w29, 16
; CHECK-SD-NEXT:    .cfi_offset w30, -8
; CHECK-SD-NEXT:    .cfi_offset w29, -16
; CHECK-SD-NEXT:    str q7, [sp, #112]
; CHECK-SD-NEXT:    str q6, [sp, #96]
; CHECK-SD-NEXT:    str q5, [sp, #80]
; CHECK-SD-NEXT:    str q4, [sp, #64]
; CHECK-SD-NEXT:    str q3, [sp, #48]
; CHECK-SD-NEXT:    str q2, [sp, #32]
; CHECK-SD-NEXT:    str q1, [sp, #16]
; CHECK-SD-NEXT:    str q0, [sp]
; CHECK-SD-NEXT:    stur x7, [x29, #-16]
; CHECK-SD-NEXT:    stur x6, [x29, #-24]
; CHECK-SD-NEXT:    stur x5, [x29, #-32]
; CHECK-SD-NEXT:    stur x4, [x29, #-40]
; CHECK-SD-NEXT:    stur x3, [x29, #-48]
; CHECK-SD-NEXT:    stur x2, [x29, #-56]
; CHECK-SD-NEXT:    stur x1, [x29, #-64]
; CHECK-SD-NEXT:    stur x0, [x29, #-72]
; CHECK-SD-NEXT:    mov w8, #-128 // =0xffffff80
; CHECK-SD-NEXT:    str w8, [x29, #20]
; CHECK-SD-NEXT:    mov w8, #-64 // =0xffffffc0
; CHECK-SD-NEXT:    str w8, [x29, #16]
; CHECK-SD-NEXT:    add x8, x29, #16
; CHECK-SD-NEXT:    stur x8, [x29, #-8]
; CHECK-SD-NEXT:    mov x8, sp
; CHECK-SD-NEXT:    add x8, x8, #128
; CHECK-SD-NEXT:    str x8, [x29, #8]
; CHECK-SD-NEXT:    sub x8, x29, #72
; CHECK-SD-NEXT:    add x8, x8, #64
; CHECK-SD-NEXT:    str x8, [x29]
; CHECK-SD-NEXT:    mov w8, #1 // =0x1
; CHECK-SD-NEXT:    mov w0, w8
; CHECK-SD-NEXT:    .cfi_def_cfa wsp, 224
; CHECK-SD-NEXT:    ldp x29, x30, [sp, #208] // 16-byte Folded Reload
; CHECK-SD-NEXT:    add sp, sp, #224
; CHECK-SD-NEXT:    .cfi_def_cfa_offset 0
; CHECK-SD-NEXT:    .cfi_restore w30
; CHECK-SD-NEXT:    .cfi_restore w29
; CHECK-SD-NEXT:    ret
;
; CHECK-GI-LABEL: vararg:
; CHECK-GI:       // %bb.0: // %entry
; CHECK-GI-NEXT:    sub sp, sp, #224
; CHECK-GI-NEXT:    .cfi_def_cfa_offset 224
; CHECK-GI-NEXT:    stp x29, x30, [sp, #208] // 16-byte Folded Spill
; CHECK-GI-NEXT:    add x29, sp, #208
; CHECK-GI-NEXT:    .cfi_def_cfa w29, 16
; CHECK-GI-NEXT:    .cfi_offset w30, -8
; CHECK-GI-NEXT:    .cfi_offset w29, -16
; CHECK-GI-NEXT:    stur x0, [x29, #-64]
; CHECK-GI-NEXT:    stur x1, [x29, #-56]
; CHECK-GI-NEXT:    stur x2, [x29, #-48]
; CHECK-GI-NEXT:    stur x3, [x29, #-40]
; CHECK-GI-NEXT:    stur x4, [x29, #-32]
; CHECK-GI-NEXT:    stur x5, [x29, #-24]
; CHECK-GI-NEXT:    stur x6, [x29, #-16]
; CHECK-GI-NEXT:    stur x7, [x29, #-8]
; CHECK-GI-NEXT:    str q0, [sp, #16]
; CHECK-GI-NEXT:    str q1, [sp, #32]
; CHECK-GI-NEXT:    str q2, [sp, #48]
; CHECK-GI-NEXT:    str q3, [sp, #64]
; CHECK-GI-NEXT:    str q4, [sp, #80]
; CHECK-GI-NEXT:    str q5, [sp, #96]
; CHECK-GI-NEXT:    str q6, [sp, #112]
; CHECK-GI-NEXT:    str q7, [sp, #128]
; CHECK-GI-NEXT:    add x9, sp, #8
; CHECK-GI-NEXT:    add x8, x29, #16
; CHECK-GI-NEXT:    str x8, [x9]
; CHECK-GI-NEXT:    add x8, x29, #0
; CHECK-GI-NEXT:    str x8, [x9, #8]
; CHECK-GI-NEXT:    add x8, sp, #144
; CHECK-GI-NEXT:    str x8, [x9, #16]
; CHECK-GI-NEXT:    mov w8, #-64 // =0xffffffc0
; CHECK-GI-NEXT:    str w8, [x9, #24]
; CHECK-GI-NEXT:    mov w8, #-128 // =0xffffff80
; CHECK-GI-NEXT:    str w8, [x9, #28]
; CHECK-GI-NEXT:    mov w8, #1 // =0x1
; CHECK-GI-NEXT:    mov w0, w8
; CHECK-GI-NEXT:    .cfi_def_cfa wsp, 224
; CHECK-GI-NEXT:    ldp x29, x30, [sp, #208] // 16-byte Folded Reload
; CHECK-GI-NEXT:    add sp, sp, #224
; CHECK-GI-NEXT:    .cfi_def_cfa_offset 0
; CHECK-GI-NEXT:    .cfi_restore w30
; CHECK-GI-NEXT:    .cfi_restore w29
; CHECK-GI-NEXT:    ret
entry:
  %g = alloca ptr, align 4
  call void @llvm.va_start(ptr %g)
  ret i64 1
}

define i64 @vararg_many_gpr(i64 %a1, i64 %a2, i64 %a3, i64 %a4, i64 %a5, i64 %a6, i64 %a7, ...) #0 {
; CHECK-SD-LABEL: vararg_many_gpr:
; CHECK-SD:       // %bb.0: // %entry
; CHECK-SD-NEXT:    sub sp, sp, #160
; CHECK-SD-NEXT:    .cfi_def_cfa_offset 160
; CHECK-SD-NEXT:    stp x29, x30, [sp, #144] // 16-byte Folded Spill
; CHECK-SD-NEXT:    add x29, sp, #144
; CHECK-SD-NEXT:    .cfi_def_cfa w29, 16
; CHECK-SD-NEXT:    .cfi_offset w30, -8
; CHECK-SD-NEXT:    .cfi_offset w29, -16
; CHECK-SD-NEXT:    str q7, [sp, #112]
; CHECK-SD-NEXT:    str q6, [sp, #96]
; CHECK-SD-NEXT:    str q5, [sp, #80]
; CHECK-SD-NEXT:    str q4, [sp, #64]
; CHECK-SD-NEXT:    str q3, [sp, #48]
; CHECK-SD-NEXT:    str q2, [sp, #32]
; CHECK-SD-NEXT:    str q1, [sp, #16]
; CHECK-SD-NEXT:    str q0, [sp]
; CHECK-SD-NEXT:    stur x7, [x29, #-16]
; CHECK-SD-NEXT:    mov w8, #-128 // =0xffffff80
; CHECK-SD-NEXT:    str w8, [x29, #20]
; CHECK-SD-NEXT:    mov w8, #-8 // =0xfffffff8
; CHECK-SD-NEXT:    str w8, [x29, #16]
; CHECK-SD-NEXT:    add x8, x29, #16
; CHECK-SD-NEXT:    stur x8, [x29, #-8]
; CHECK-SD-NEXT:    mov x8, sp
; CHECK-SD-NEXT:    add x8, x8, #128
; CHECK-SD-NEXT:    str x8, [x29, #8]
; CHECK-SD-NEXT:    sub x8, x29, #16
; CHECK-SD-NEXT:    add x8, x8, #8
; CHECK-SD-NEXT:    str x8, [x29]
; CHECK-SD-NEXT:    mov w8, #1 // =0x1
; CHECK-SD-NEXT:    mov w0, w8
; CHECK-SD-NEXT:    .cfi_def_cfa wsp, 160
; CHECK-SD-NEXT:    ldp x29, x30, [sp, #144] // 16-byte Folded Reload
; CHECK-SD-NEXT:    add sp, sp, #160
; CHECK-SD-NEXT:    .cfi_def_cfa_offset 0
; CHECK-SD-NEXT:    .cfi_restore w30
; CHECK-SD-NEXT:    .cfi_restore w29
; CHECK-SD-NEXT:    ret
;
; CHECK-GI-LABEL: vararg_many_gpr:
; CHECK-GI:       // %bb.0: // %entry
; CHECK-GI-NEXT:    sub sp, sp, #176
; CHECK-GI-NEXT:    .cfi_def_cfa_offset 176
; CHECK-GI-NEXT:    stp x29, x30, [sp, #160] // 16-byte Folded Spill
; CHECK-GI-NEXT:    add x29, sp, #160
; CHECK-GI-NEXT:    .cfi_def_cfa w29, 16
; CHECK-GI-NEXT:    .cfi_offset w30, -8
; CHECK-GI-NEXT:    .cfi_offset w29, -16
; CHECK-GI-NEXT:    stur x7, [x29, #-8]
; CHECK-GI-NEXT:    str q0, [sp, #16]
; CHECK-GI-NEXT:    str q1, [sp, #32]
; CHECK-GI-NEXT:    str q2, [sp, #48]
; CHECK-GI-NEXT:    str q3, [sp, #64]
; CHECK-GI-NEXT:    str q4, [sp, #80]
; CHECK-GI-NEXT:    str q5, [sp, #96]
; CHECK-GI-NEXT:    str q6, [sp, #112]
; CHECK-GI-NEXT:    str q7, [sp, #128]
; CHECK-GI-NEXT:    add x9, sp, #8
; CHECK-GI-NEXT:    add x8, x29, #16
; CHECK-GI-NEXT:    str x8, [x9]
; CHECK-GI-NEXT:    add x8, x29, #0
; CHECK-GI-NEXT:    str x8, [x9, #8]
; CHECK-GI-NEXT:    add x8, sp, #144
; CHECK-GI-NEXT:    str x8, [x9, #16]
; CHECK-GI-NEXT:    mov w8, #-8 // =0xfffffff8
; CHECK-GI-NEXT:    str w8, [x9, #24]
; CHECK-GI-NEXT:    mov w8, #-128 // =0xffffff80
; CHECK-GI-NEXT:    str w8, [x9, #28]
; CHECK-GI-NEXT:    mov w8, #1 // =0x1
; CHECK-GI-NEXT:    mov w0, w8
; CHECK-GI-NEXT:    .cfi_def_cfa wsp, 176
; CHECK-GI-NEXT:    ldp x29, x30, [sp, #160] // 16-byte Folded Reload
; CHECK-GI-NEXT:    add sp, sp, #176
; CHECK-GI-NEXT:    .cfi_def_cfa_offset 0
; CHECK-GI-NEXT:    .cfi_restore w30
; CHECK-GI-NEXT:    .cfi_restore w29
; CHECK-GI-NEXT:    ret
entry:
  %g = alloca ptr, align 4
  call void @llvm.va_start(ptr %g)
  ret i64 1
}

define i64 @vararg_many_float(float %a1, float %a2, float %a3, float %a4, float %a5, float %a6, float %a7, ...) #0 {
; CHECK-SD-LABEL: vararg_many_float:
; CHECK-SD:       // %bb.0: // %entry
; CHECK-SD-NEXT:    sub sp, sp, #112
; CHECK-SD-NEXT:    .cfi_def_cfa_offset 112
; CHECK-SD-NEXT:    stp x29, x30, [sp, #96] // 16-byte Folded Spill
; CHECK-SD-NEXT:    add x29, sp, #96
; CHECK-SD-NEXT:    .cfi_def_cfa w29, 16
; CHECK-SD-NEXT:    .cfi_offset w30, -8
; CHECK-SD-NEXT:    .cfi_offset w29, -16
; CHECK-SD-NEXT:    str q7, [sp]
; CHECK-SD-NEXT:    str x7, [sp, #80]
; CHECK-SD-NEXT:    str x6, [sp, #72]
; CHECK-SD-NEXT:    str x5, [sp, #64]
; CHECK-SD-NEXT:    str x4, [sp, #56]
; CHECK-SD-NEXT:    str x3, [sp, #48]
; CHECK-SD-NEXT:    str x2, [sp, #40]
; CHECK-SD-NEXT:    str x1, [sp, #32]
; CHECK-SD-NEXT:    str x0, [sp, #24]
; CHECK-SD-NEXT:    mov w8, #-16 // =0xfffffff0
; CHECK-SD-NEXT:    str w8, [x29, #20]
; CHECK-SD-NEXT:    mov w8, #-64 // =0xffffffc0
; CHECK-SD-NEXT:    str w8, [x29, #16]
; CHECK-SD-NEXT:    add x8, x29, #16
; CHECK-SD-NEXT:    stur x8, [x29, #-8]
; CHECK-SD-NEXT:    mov x8, sp
; CHECK-SD-NEXT:    add x8, x8, #16
; CHECK-SD-NEXT:    str x8, [x29, #8]
; CHECK-SD-NEXT:    add x8, sp, #24
; CHECK-SD-NEXT:    add x8, x8, #64
; CHECK-SD-NEXT:    str x8, [x29]
; CHECK-SD-NEXT:    mov w8, #1 // =0x1
; CHECK-SD-NEXT:    mov w0, w8
; CHECK-SD-NEXT:    .cfi_def_cfa wsp, 112
; CHECK-SD-NEXT:    ldp x29, x30, [sp, #96] // 16-byte Folded Reload
; CHECK-SD-NEXT:    add sp, sp, #112
; CHECK-SD-NEXT:    .cfi_def_cfa_offset 0
; CHECK-SD-NEXT:    .cfi_restore w30
; CHECK-SD-NEXT:    .cfi_restore w29
; CHECK-SD-NEXT:    ret
;
; CHECK-GI-LABEL: vararg_many_float:
; CHECK-GI:       // %bb.0: // %entry
; CHECK-GI-NEXT:    sub sp, sp, #112
; CHECK-GI-NEXT:    .cfi_def_cfa_offset 112
; CHECK-GI-NEXT:    stp x29, x30, [sp, #96] // 16-byte Folded Spill
; CHECK-GI-NEXT:    add x29, sp, #96
; CHECK-GI-NEXT:    .cfi_def_cfa w29, 16
; CHECK-GI-NEXT:    .cfi_offset w30, -8
; CHECK-GI-NEXT:    .cfi_offset w29, -16
; CHECK-GI-NEXT:    str x0, [sp, #32]
; CHECK-GI-NEXT:    str x1, [sp, #40]
; CHECK-GI-NEXT:    str x2, [sp, #48]
; CHECK-GI-NEXT:    str x3, [sp, #56]
; CHECK-GI-NEXT:    str x4, [sp, #64]
; CHECK-GI-NEXT:    str x5, [sp, #72]
; CHECK-GI-NEXT:    str x6, [sp, #80]
; CHECK-GI-NEXT:    str x7, [sp, #88]
; CHECK-GI-NEXT:    str q7, [sp, #16]
; CHECK-GI-NEXT:    add x9, sp, #8
; CHECK-GI-NEXT:    add x8, x29, #16
; CHECK-GI-NEXT:    str x8, [x9]
; CHECK-GI-NEXT:    add x8, sp, #96
; CHECK-GI-NEXT:    str x8, [x9, #8]
; CHECK-GI-NEXT:    add x8, sp, #32
; CHECK-GI-NEXT:    str x8, [x9, #16]
; CHECK-GI-NEXT:    mov w8, #-64 // =0xffffffc0
; CHECK-GI-NEXT:    str w8, [x9, #24]
; CHECK-GI-NEXT:    mov w8, #-16 // =0xfffffff0
; CHECK-GI-NEXT:    str w8, [x9, #28]
; CHECK-GI-NEXT:    mov w8, #1 // =0x1
; CHECK-GI-NEXT:    mov w0, w8
; CHECK-GI-NEXT:    .cfi_def_cfa wsp, 112
; CHECK-GI-NEXT:    ldp x29, x30, [sp, #96] // 16-byte Folded Reload
; CHECK-GI-NEXT:    add sp, sp, #112
; CHECK-GI-NEXT:    .cfi_def_cfa_offset 0
; CHECK-GI-NEXT:    .cfi_restore w30
; CHECK-GI-NEXT:    .cfi_restore w29
; CHECK-GI-NEXT:    ret
entry:
  %g = alloca ptr, align 4
  call void @llvm.va_start(ptr %g)
  ret i64 1
}

define i64 @gpr1_fpr1(i32 %i, float %f, ...) #0 {
; CHECK-SD-LABEL: gpr1_fpr1:
; CHECK-SD:       // %bb.0: // %entry
; CHECK-SD-NEXT:    sub sp, sp, #192
; CHECK-SD-NEXT:    .cfi_def_cfa_offset 192
; CHECK-SD-NEXT:    stp x29, x30, [sp, #176] // 16-byte Folded Spill
; CHECK-SD-NEXT:    add x29, sp, #176
; CHECK-SD-NEXT:    .cfi_def_cfa w29, 16
; CHECK-SD-NEXT:    .cfi_offset w30, -8
; CHECK-SD-NEXT:    .cfi_offset w29, -16
; CHECK-SD-NEXT:    str q7, [sp, #96]
; CHECK-SD-NEXT:    str q6, [sp, #80]
; CHECK-SD-NEXT:    str q5, [sp, #64]
; CHECK-SD-NEXT:    str q4, [sp, #48]
; CHECK-SD-NEXT:    str q3, [sp, #32]
; CHECK-SD-NEXT:    str q2, [sp, #16]
; CHECK-SD-NEXT:    str q1, [sp]
; CHECK-SD-NEXT:    stur x7, [x29, #-16]
; CHECK-SD-NEXT:    stur x6, [x29, #-24]
; CHECK-SD-NEXT:    stur x5, [x29, #-32]
; CHECK-SD-NEXT:    stur x4, [x29, #-40]
; CHECK-SD-NEXT:    stur x3, [x29, #-48]
; CHECK-SD-NEXT:    stur x2, [x29, #-56]
; CHECK-SD-NEXT:    stur x1, [x29, #-64]
; CHECK-SD-NEXT:    mov w8, #-112 // =0xffffff90
; CHECK-SD-NEXT:    str w8, [x29, #20]
; CHECK-SD-NEXT:    mov w8, #-56 // =0xffffffc8
; CHECK-SD-NEXT:    str w8, [x29, #16]
; CHECK-SD-NEXT:    add x8, x29, #16
; CHECK-SD-NEXT:    stur x8, [x29, #-8]
; CHECK-SD-NEXT:    mov x8, sp
; CHECK-SD-NEXT:    add x8, x8, #112
; CHECK-SD-NEXT:    str x8, [x29, #8]
; CHECK-SD-NEXT:    sub x8, x29, #64
; CHECK-SD-NEXT:    add x8, x8, #56
; CHECK-SD-NEXT:    str x8, [x29]
; CHECK-SD-NEXT:    mov w8, #1 // =0x1
; CHECK-SD-NEXT:    mov w0, w8
; CHECK-SD-NEXT:    .cfi_def_cfa wsp, 192
; CHECK-SD-NEXT:    ldp x29, x30, [sp, #176] // 16-byte Folded Reload
; CHECK-SD-NEXT:    add sp, sp, #192
; CHECK-SD-NEXT:    .cfi_def_cfa_offset 0
; CHECK-SD-NEXT:    .cfi_restore w30
; CHECK-SD-NEXT:    .cfi_restore w29
; CHECK-SD-NEXT:    ret
;
; CHECK-GI-LABEL: gpr1_fpr1:
; CHECK-GI:       // %bb.0: // %entry
; CHECK-GI-NEXT:    sub sp, sp, #208
; CHECK-GI-NEXT:    .cfi_def_cfa_offset 208
; CHECK-GI-NEXT:    stp x29, x30, [sp, #192] // 16-byte Folded Spill
; CHECK-GI-NEXT:    add x29, sp, #192
; CHECK-GI-NEXT:    .cfi_def_cfa w29, 16
; CHECK-GI-NEXT:    .cfi_offset w30, -8
; CHECK-GI-NEXT:    .cfi_offset w29, -16
; CHECK-GI-NEXT:    stur x1, [x29, #-56]
; CHECK-GI-NEXT:    stur x2, [x29, #-48]
; CHECK-GI-NEXT:    stur x3, [x29, #-40]
; CHECK-GI-NEXT:    stur x4, [x29, #-32]
; CHECK-GI-NEXT:    stur x5, [x29, #-24]
; CHECK-GI-NEXT:    stur x6, [x29, #-16]
; CHECK-GI-NEXT:    stur x7, [x29, #-8]
; CHECK-GI-NEXT:    str q1, [sp, #16]
; CHECK-GI-NEXT:    str q2, [sp, #32]
; CHECK-GI-NEXT:    str q3, [sp, #48]
; CHECK-GI-NEXT:    str q4, [sp, #64]
; CHECK-GI-NEXT:    str q5, [sp, #80]
; CHECK-GI-NEXT:    str q6, [sp, #96]
; CHECK-GI-NEXT:    str q7, [sp, #112]
; CHECK-GI-NEXT:    add x9, sp, #8
; CHECK-GI-NEXT:    add x8, x29, #16
; CHECK-GI-NEXT:    str x8, [x9]
; CHECK-GI-NEXT:    add x8, x29, #0
; CHECK-GI-NEXT:    str x8, [x9, #8]
; CHECK-GI-NEXT:    add x8, sp, #128
; CHECK-GI-NEXT:    str x8, [x9, #16]
; CHECK-GI-NEXT:    mov w8, #-56 // =0xffffffc8
; CHECK-GI-NEXT:    str w8, [x9, #24]
; CHECK-GI-NEXT:    mov w8, #-112 // =0xffffff90
; CHECK-GI-NEXT:    str w8, [x9, #28]
; CHECK-GI-NEXT:    mov w8, #1 // =0x1
; CHECK-GI-NEXT:    mov w0, w8
; CHECK-GI-NEXT:    .cfi_def_cfa wsp, 208
; CHECK-GI-NEXT:    ldp x29, x30, [sp, #192] // 16-byte Folded Reload
; CHECK-GI-NEXT:    add sp, sp, #208
; CHECK-GI-NEXT:    .cfi_def_cfa_offset 0
; CHECK-GI-NEXT:    .cfi_restore w30
; CHECK-GI-NEXT:    .cfi_restore w29
; CHECK-GI-NEXT:    ret
entry:
  %g = alloca ptr, align 4
  call void @llvm.va_start(ptr %g)
  ret i64 1
}

; To make the outputs more readable
attributes #0 = { uwtable "frame-pointer"="all" }

;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; CHECK: {{.*}}