[llvm] [AArch64][GlobalISel] Implement selectVaStartAAPCS (PR #106979)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 11 04:42:47 PDT 2024


================
@@ -0,0 +1,569 @@
+; 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)
+
+; To make the outputs more readable
+attributes #0 = { uwtable "frame-pointer"="all" }
+
+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
+}
+
+; A real program case
+define float @vararg_program(ptr %a, ...) #0 {
----------------
arsenm wrote:

This function should be broken up to test one case per function, with no control flow 

https://github.com/llvm/llvm-project/pull/106979


More information about the llvm-commits mailing list