blob: dd7d108b7a4eaad5986c00e4bcaa638c0ad67b90 [file] [log] [blame]
; RUN: llc -mtriple=aarch64 -mattr=+sve < %s 2>%t | FileCheck %s --check-prefix=CHECKCG
; RUN: llc -mtriple=aarch64 -mattr=+sve -stop-after=finalize-isel < %s | FileCheck %s --check-prefix=CHECKISEL
; RUN: FileCheck --check-prefix=WARN --allow-empty %s <%t
; If this check fails please read test/CodeGen/AArch64/README for instructions on how to resolve it.
; WARN-NOT: warning
; CHECKCG-LABEL: foo:
; CHECKCG: addvl sp, sp, #-1
; CHECKISEL-LABEL: name: foo
; CHECKISEL: stack:
; CHECKISEL: id: 0, name: ptr, type: default, offset: 0, size: 16, alignment: 16,
; CHECKISEL-NEXT: stack-id: scalable-vector
define i32 @foo(<vscale x 16 x i8> %val) {
%ptr = alloca <vscale x 16 x i8>
%res = call i32 @bar(<vscale x 16 x i8>* %ptr)
ret i32 %res
}
declare i32 @bar(<vscale x 16 x i8>* %ptr);
; CHECKCG-LABEL: foo2:
; CHECKCG: addvl sp, sp, #-2
; CHECKISEL-LABEL: name: foo2
; CHECKISEL: stack:
; CHECKISEL: id: 0, name: ptr, type: default, offset: 0, size: 32, alignment: 16,
; CHECKISEL-NEXT: stack-id: scalable-vector
define i32 @foo2(<vscale x 32 x i8> %val) {
%ptr = alloca <vscale x 32 x i8>, align 16
%res = call i32 @bar2(<vscale x 32 x i8>* %ptr)
ret i32 %res
}
declare i32 @bar2(<vscale x 32 x i8>* %ptr);