1; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve -o - %s | FileCheck %s --check-prefix=CHECK-ASM
2; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve -filetype=obj -o - %s \
3; RUN:   | llvm-readobj --symbols - | FileCheck %s --check-prefix=CHECK-OBJ
4
5define i32 @base_pcs() {
6; CHECK-ASM-LABEL: base_pcs:
7; CHECK-ASM-NOT: .variant_pcs
8; CHECK-OBJ-LABEL: Name: base_pcs
9; CHECK-OBJ: Other: 0
10  ret i32 42
11}
12
13define aarch64_vector_pcs <4 x i32> @neon_vector_pcs_1(<4 x i32> %arg) {
14; CHECK-ASM: .variant_pcs neon_vector_pcs_1
15; CHECK-ASM-NEXT: neon_vector_pcs_1:
16; CHECK-OBJ-LABEL: Name: neon_vector_pcs_1
17; CHECK-OBJ: Other [ (0x80)
18  ret <4 x i32> %arg
19}
20
21define <vscale x 4 x i32> @sve_vector_pcs_1() {
22; CHECK-ASM: .variant_pcs sve_vector_pcs_1
23; CHECK-ASM-NEXT: sve_vector_pcs_1:
24; CHECK-OBJ-LABEL: Name: sve_vector_pcs_1
25; CHECK-OBJ: Other [ (0x80)
26  ret <vscale x 4 x i32> undef
27}
28
29define <vscale x 4 x i1> @sve_vector_pcs_2() {
30; CHECK-ASM: .variant_pcs sve_vector_pcs_2
31; CHECK-ASM-NEXT: sve_vector_pcs_2:
32; CHECK-OBJ-LABEL: Name: sve_vector_pcs_2
33; CHECK-OBJ: Other [ (0x80)
34  ret <vscale x 4 x i1> undef
35}
36
37define void @sve_vector_pcs_3(<vscale x 4 x i32> %arg) {
38; CHECK-ASM: .variant_pcs sve_vector_pcs_3
39; CHECK-ASM-NEXT: sve_vector_pcs_3:
40; CHECK-OBJ-LABEL: Name: sve_vector_pcs_3
41; CHECK-OBJ: Other [ (0x80)
42  ret void
43}
44
45define void @sve_vector_pcs_4(<vscale x 4 x i1> %arg) {
46; CHECK-ASM: .variant_pcs sve_vector_pcs_4
47; CHECK-ASM-NEXT: sve_vector_pcs_4:
48; CHECK-OBJ-LABEL: Name: sve_vector_pcs_4
49; CHECK-OBJ: Other [ (0x80)
50  ret void
51}
52