test/CodeGen/arm-vfp16-arguments.c

   1 // RUN: %clang_cc1 -triple armv7a--none-eabi -target-abi aapcs \
   2 // RUN:   -mfloat-abi soft -target-feature +neon -emit-llvm -o - -O1 %s \
   3 // RUN:   | FileCheck %s --check-prefix=CHECK-SOFT
   4 // RUN: %clang_cc1 -triple armv7a--none-eabi -target-abi aapcs \
   5 // RUN:   -mfloat-abi hard -target-feature +neon -emit-llvm -o - -O1 %s \
   6 // RUN:   | FileCheck %s --check-prefix=CHECK-HARD
   7 // RUN: %clang_cc1 -triple armv7a--none-eabi -target-abi aapcs \
   8 // RUN:   -mfloat-abi hard -target-feature +neon -target-feature +fullfp16 \
   9 // RUN:   -emit-llvm -o - -O1 %s \
  10 // RUN:   | FileCheck %s --check-prefix=CHECK-FULL
  11
  12 typedef __attribute__((neon_vector_type(4))) __fp16 float16x4_t;
  13 typedef __attribute__((neon_vector_type(8))) __fp16 float16x8_t;
  14
  15 typedef struct { float16x4_t x[2]; } hfa_t;
  16 // CHECK-FULL: %struct.hfa_t = type { [2 x <4 x half>] }
  17
  18 float16x4_t g4;
  19 float16x8_t g8;
  20
  21 void st4(float16x4_t a) { g4 = a; }
  22 // CHECK-SOFT: define void @st4(<2 x i32> %a.coerce)
  23 // CHECK-SOFT: store <2 x i32> %a.coerce, <2 x i32>* bitcast (<4 x half>* @g4 to <2 x i32>*)
  24 //
  25 // CHECK-HARD: define arm_aapcs_vfpcc void @st4(<2 x i32> %a.coerce)
  26 // CHECK-HARD: store <2 x i32> %a.coerce, <2 x i32>* bitcast (<4 x half>* @g4 to <2 x i32>*)
  27 //
  28 // CHECK-FULL: define arm_aapcs_vfpcc void @st4(<4 x half> %a)
  29 // CHECK-FULL: store <4 x half> %a, <4 x half>* @g4
  30
  31 float16x4_t ld4(void) { return g4; }
  32 // CHECK-SOFT: define <2 x i32> @ld4()
  33 // CHECK-SOFT: %0 = load <2 x i32>, <2 x i32>* bitcast (<4 x half>* @g4 to <2 x i32>*)
  34 // CHECK-SOFT: ret <2 x i32> %0
  35 //
  36 // CHECK-HARD: define arm_aapcs_vfpcc <2 x i32> @ld4()
  37 // CHECK-HARD: %0 = load <2 x i32>, <2 x i32>* bitcast (<4 x half>* @g4 to <2 x i32>*)
  38 // CHECK-HARD: ret <2 x i32> %0
  39 //
  40 // CHECK-FULL: define arm_aapcs_vfpcc <4 x half> @ld4()
  41 // CHECK-FULL: %0 = load <4 x half>, <4 x half>* @g4
  42 // CHECK-FULL: ret <4 x half> %0
  43
  44 void st8(float16x8_t a) { g8 = a; }
  45 // CHECK-SOFT: define void @st8(<4 x i32> %a.coerce)
  46 // CHECK-SOFT: store <4 x i32> %a.coerce, <4 x i32>* bitcast (<8 x half>* @g8 to <4 x i32>*)
  47 //
  48 // CHECK-HARD: define arm_aapcs_vfpcc void @st8(<4 x i32> %a.coerce)
  49 // CHECK-HARD: store <4 x i32> %a.coerce, <4 x i32>* bitcast (<8 x half>* @g8 to <4 x i32>*)
  50 //
  51 // CHECK-FULL: define arm_aapcs_vfpcc void @st8(<8 x half> %a)
  52 // CHECK-FULL: store <8 x half> %a, <8 x half>* @g8
  53
  54 float16x8_t ld8(void) { return g8; }
  55 // CHECK-SOFT: define <4 x i32> @ld8()
  56 // CHECK-SOFT: %0 = load <4 x i32>, <4 x i32>* bitcast (<8 x half>* @g8 to <4 x i32>*)
  57 // CHECK-SOFT: ret <4 x i32> %0
  58 //
  59 // CHECK-HARD: define arm_aapcs_vfpcc <4 x i32> @ld8()
  60 // CHECK-HARD: %0 = load <4 x i32>, <4 x i32>* bitcast (<8 x half>* @g8 to <4 x i32>*)
  61 // CHECK-HARD: ret <4 x i32> %0
  62 //
  63 // CHECK-FULL: define arm_aapcs_vfpcc <8 x half> @ld8()
  64 // CHECK-FULL: %0 = load <8 x half>, <8 x half>* @g8
  65 // CHECK-FULL: ret <8 x half> %0
  66
  67 void test_hfa(hfa_t a) {}
  68 // CHECK-SOFT: define void @test_hfa([2 x i64] %a.coerce)
  69 // CHECK-HARD: define arm_aapcs_vfpcc void @test_hfa([2 x <2 x i32>] %a.coerce)
  70 // CHECK-FULL: define arm_aapcs_vfpcc void @test_hfa(%struct.hfa_t %a.coerce)
  71
  72 hfa_t ghfa;
  73 hfa_t test_ret_hfa(void) { return ghfa; }
  74 // CHECK-SOFT: define void @test_ret_hfa(%struct.hfa_t* noalias nocapture sret %agg.result)
  75 // CHECK-HARD: define arm_aapcs_vfpcc [2 x <2 x i32>] @test_ret_hfa()
  76 // CHECK-FULL: define arm_aapcs_vfpcc %struct.hfa_t @test_ret_hfa()