1176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// RUN: %clang_cc1 -triple aarch64-linux-gnu -target-feature +neon -target-abi aapcs -ffreestanding -fallow-half-arguments-and-returns -emit-llvm -w -o - %s | FileCheck %s 26bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 36bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// AAPCS clause C.8 says: If the argument has an alignment of 16 then the NGRN 46bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// is rounded up to the next even number. 56bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 66bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// CHECK: void @test1(i32 %x0, i128 %x2_x3, i128 %x4_x5, i128 %x6_x7, i128 %sp.coerce) 76bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinestypedef union { __int128 a; } Small; 86bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinesvoid test1(int x0, __int128 x2_x3, __int128 x4_x5, __int128 x6_x7, Small sp) { 96bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines} 106bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 116bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 126bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// CHECK: void @test2(i32 %x0, i128 %x2_x3.coerce, i32 %x4, i128 %x6_x7.coerce, i32 %sp, i128 %sp16.coerce) 136bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinesvoid test2(int x0, Small x2_x3, int x4, Small x6_x7, int sp, Small sp16) { 146bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines} 156bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 166bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// We coerce HFAs into a contiguous [N x double] type if they're going on the 176bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// stack in order to avoid holes. Make sure we get all of them, and not just the 186bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// first: 196bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 200e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: void @test3([4 x float] %s0_s3.coerce, float %s4, [4 x float] %sp.coerce, [4 x float] %sp16.coerce) 216bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinestypedef struct { float arr[4]; } HFA; 226bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinesvoid test3(HFA s0_s3, float s4, HFA sp, HFA sp16) { 236bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines} 246bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 256bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 266bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// However, we shouldn't perform the [N x double] coercion on types which have 276bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// sufficient alignment to avoid holes on their own. We could coerce to [N x 286bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// fp128] or something, but leaving them as-is retains more information for 296bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// users to debug. 306bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 310e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: void @test4([3 x <16 x i8>] %v0_v2.coerce, [3 x <16 x i8>] %v3_v5.coerce, [3 x <16 x i8>] %sp.coerce, double %sp48, [3 x <16 x i8>] %sp64.coerce) 326bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinestypedef __attribute__((neon_vector_type(16))) signed char int8x16_t; 336bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinestypedef struct { int8x16_t arr[3]; } BigHFA; 346bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinesvoid test4(BigHFA v0_v2, BigHFA v3_v5, BigHFA sp, double sp48, BigHFA sp64) { 356bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines} 366bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 376bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// It's the job of the argument *consumer* to perform the required sign & zero 386bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// extensions under AAPCS. There shouldn't be 396bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 406bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines// CHECK: define i8 @test5(i8 %a, i16 %b) 416bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinesunsigned char test5(unsigned char a, signed short b) { 426bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines} 43176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 44176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// __fp16 can be used as a function argument or return type (ACLE 2.0) 45176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// CHECK: define half @test_half(half %{{.*}}) 46176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines__fp16 test_half(__fp16 A) { } 47176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 48176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// __fp16 is a base type for homogeneous floating-point aggregates for AArch64 (but not 32-bit ARM). 490e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// CHECK: define %struct.HFA_half @test_half_hfa([4 x half] %{{.*}}) 50176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct HFA_half { __fp16 a[4]; }; 51176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct HFA_half test_half_hfa(struct HFA_half A) { } 52