llvm/test/CodeGen/AArch64/variant-pcs.ll

   1 ; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve -o - %s | FileCheck %s --check-prefix=CHECK-ASM --strict-whitespace
   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
   5 define 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
  13 define 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
  21 define <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
  29 define <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
  37 define 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
  45 define 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 }