1// REQUIRES: arm-registered-target 2// RUN: %clang_cc1 -triple thumbv7-apple-darwin9 \ 3// RUN: -target-abi aapcs \ 4// RUN: -target-cpu cortex-a8 \ 5// RUN: -mfloat-abi hard \ 6// RUN: -ffreestanding \ 7// RUN: -emit-llvm -w -o - %s | FileCheck %s 8 9// RUN: %clang_cc1 -triple armv7-unknown-nacl-gnueabi \ 10// RUN: -target-cpu cortex-a8 \ 11// RUN: -mfloat-abi hard \ 12// RUN: -ffreestanding \ 13// RUN: -emit-llvm -w -o - %s | FileCheck %s 14 15#include <arm_neon.h> 16 17struct homogeneous_struct { 18 float f[2]; 19 float f3; 20 float f4; 21}; 22// CHECK: define arm_aapcs_vfpcc %struct.homogeneous_struct @test_struct(float %{{.*}}, float %{{.*}}, float %{{.*}}, float %{{.*}}) 23extern struct homogeneous_struct struct_callee(struct homogeneous_struct); 24struct homogeneous_struct test_struct(struct homogeneous_struct arg) { 25 return struct_callee(arg); 26} 27 28struct nested_array { 29 double d[4]; 30}; 31// CHECK: define arm_aapcs_vfpcc void @test_array(double %{{.*}}, double %{{.*}}, double %{{.*}}, double %{{.*}}) 32extern void array_callee(struct nested_array); 33void test_array(struct nested_array arg) { 34 array_callee(arg); 35} 36 37extern void complex_callee(__complex__ double); 38// CHECK: define arm_aapcs_vfpcc void @test_complex(double %{{.*}}, double %{{.*}}) 39void test_complex(__complex__ double cd) { 40 complex_callee(cd); 41} 42 43// Long double is the same as double on AAPCS, it should be homogeneous. 44extern void complex_long_callee(__complex__ long double); 45// CHECK: define arm_aapcs_vfpcc void @test_complex_long(double %{{.*}}, double %{{.*}}) 46void test_complex_long(__complex__ long double cd) { 47 complex_callee(cd); 48} 49 50// Structs with more than 4 elements of the base type are not treated 51// as homogeneous aggregates. Test that. 52 53struct big_struct { 54 float f1; 55 float f[2]; 56 float f3; 57 float f4; 58}; 59// CHECK: define arm_aapcs_vfpcc void @test_big([5 x i32] %{{.*}}) 60extern void big_callee(struct big_struct); 61void test_big(struct big_struct arg) { 62 big_callee(arg); 63} 64 65// Make sure that aggregates with multiple base types are not treated as 66// homogeneous aggregates. 67 68struct heterogeneous_struct { 69 float f1; 70 int i2; 71}; 72// CHECK: define arm_aapcs_vfpcc void @test_hetero([2 x i32] %{{.*}}) 73extern void hetero_callee(struct heterogeneous_struct); 74void test_hetero(struct heterogeneous_struct arg) { 75 hetero_callee(arg); 76} 77 78// Neon multi-vector types are homogeneous aggregates. 79// CHECK: define arm_aapcs_vfpcc <16 x i8> @f0(<16 x i8> %{{.*}}, <16 x i8> %{{.*}}, <16 x i8> %{{.*}}, <16 x i8> %{{.*}}) 80int8x16_t f0(int8x16x4_t v4) { 81 return vaddq_s8(v4.val[0], v4.val[3]); 82} 83 84// ...and it doesn't matter whether the vectors are exactly the same, as long 85// as they have the same size. 86 87struct neon_struct { 88 int8x8x2_t v12; 89 int32x2_t v3; 90 int16x4_t v4; 91}; 92// CHECK: define arm_aapcs_vfpcc void @test_neon(<8 x i8> %{{.*}}, <8 x i8> %{{.*}}, <2 x i32> %{{.*}}, <4 x i16> %{{.*}}) 93extern void neon_callee(struct neon_struct); 94void test_neon(struct neon_struct arg) { 95 neon_callee(arg); 96} 97 98// CHECK: define arm_aapcs_vfpcc void @f33(%struct.s33* byval %s) 99struct s33 { char buf[32*32]; }; 100void f33(struct s33 s) { } 101