1176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// RUN: %clang_cc1 -triple powerpc64le-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s --check-prefix=PPC 20e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// RUN: %clang_cc1 -mfloat-abi hard -triple armv7-unknown-linux-gnueabi -emit-llvm -o - %s | FileCheck %s --check-prefix=ARM32 3176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// RUN: %clang_cc1 -mfloat-abi hard -triple aarch64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s --check-prefix=ARM64 4176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// RUN: %clang_cc1 -mfloat-abi hard -triple x86_64-unknown-windows-gnu -emit-llvm -o - %s | FileCheck %s --check-prefix=X64 5176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 6176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines#if defined(__x86_64__) 7176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines#define CC __attribute__((vectorcall)) 8176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines#else 9176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines#define CC 10176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines#endif 11176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 12176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// Test that C++ classes are correctly classified as homogeneous aggregates. 13176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 14176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct Base1 { 15176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines int x; 16176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}; 17176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct Base2 { 18176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines double x; 19176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}; 20176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct Base3 { 21176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines double x; 22176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}; 23176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct D1 : Base1 { // non-homogeneous aggregate 24176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines double y, z; 25176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}; 26176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct D2 : Base2 { // homogeneous aggregate 27176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines double y, z; 28176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}; 29176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct D3 : Base1, Base2 { // non-homogeneous aggregate 30176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines double y, z; 31176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}; 32176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct D4 : Base2, Base3 { // homogeneous aggregate 33176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines double y, z; 34176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}; 35176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 36176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct I1 : Base2 {}; 37176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct I2 : Base2 {}; 38176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct I3 : Base2 {}; 39176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct D5 : I1, I2, I3 {}; // homogeneous aggregate 40176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 41176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// PPC: define void @_Z7func_D12D1(%struct.D1* noalias sret %agg.result, [3 x i64] %x.coerce) 42176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM32: define arm_aapcs_vfpcc void @_Z7func_D12D1(%struct.D1* noalias sret %agg.result, [3 x i64] %x.coerce) 43176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM64: define void @_Z7func_D12D1(%struct.D1* noalias sret %agg.result, %struct.D1* %x) 44176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// X64: define x86_vectorcallcc void @"\01_Z7func_D12D1@@24"(%struct.D1* noalias sret %agg.result, %struct.D1* %x) 45176edba5311f6eff0cad2631449885ddf4fbc9eaStephen HinesD1 CC func_D1(D1 x) { return x; } 46176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 47176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// PPC: define [3 x double] @_Z7func_D22D2([3 x double] %x.coerce) 48176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM32: define arm_aapcs_vfpcc %struct.D2 @_Z7func_D22D2(%struct.D2 %x.coerce) 490e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// ARM64: define %struct.D2 @_Z7func_D22D2([3 x double] %x.coerce) 50176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// X64: define x86_vectorcallcc %struct.D2 @"\01_Z7func_D22D2@@24"(double %x.0, double %x.1, double %x.2) 51176edba5311f6eff0cad2631449885ddf4fbc9eaStephen HinesD2 CC func_D2(D2 x) { return x; } 52176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 53176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// PPC: define void @_Z7func_D32D3(%struct.D3* noalias sret %agg.result, [4 x i64] %x.coerce) 54176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM32: define arm_aapcs_vfpcc void @_Z7func_D32D3(%struct.D3* noalias sret %agg.result, [4 x i64] %x.coerce) 55176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM64: define void @_Z7func_D32D3(%struct.D3* noalias sret %agg.result, %struct.D3* %x) 56176edba5311f6eff0cad2631449885ddf4fbc9eaStephen HinesD3 CC func_D3(D3 x) { return x; } 57176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 58176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// PPC: define [4 x double] @_Z7func_D42D4([4 x double] %x.coerce) 59176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM32: define arm_aapcs_vfpcc %struct.D4 @_Z7func_D42D4(%struct.D4 %x.coerce) 600e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// ARM64: define %struct.D4 @_Z7func_D42D4([4 x double] %x.coerce) 61176edba5311f6eff0cad2631449885ddf4fbc9eaStephen HinesD4 CC func_D4(D4 x) { return x; } 62176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 63176edba5311f6eff0cad2631449885ddf4fbc9eaStephen HinesD5 CC func_D5(D5 x) { return x; } 64176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// PPC: define [3 x double] @_Z7func_D52D5([3 x double] %x.coerce) 65176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM32: define arm_aapcs_vfpcc %struct.D5 @_Z7func_D52D5(%struct.D5 %x.coerce) 66176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 67176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// The C++ multiple inheritance expansion case is a little more complicated, so 68176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// do some extra checking. 69176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// 700e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// ARM64-LABEL: define %struct.D5 @_Z7func_D52D5([3 x double] %x.coerce) 710e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// ARM64: bitcast %struct.D5* %{{.*}} to [3 x double]* 720e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// ARM64: store [3 x double] %x.coerce, [3 x double]* 73176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 74176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid call_D5(D5 *p) { 75176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines func_D5(*p); 76176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines} 77176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 78176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// Check the call site. 79176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// 80176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM64-LABEL: define void @_Z7call_D5P2D5(%struct.D5* %p) 813ea9e33ea25e0c2b12db56418ba3f994eb662c04Pirama Arumuga Nainar// ARM64: load [3 x double], [3 x double]* 820e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// ARM64: call %struct.D5 @_Z7func_D52D5([3 x double] %{{.*}}) 83176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 84176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct Empty { }; 85176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct Float1 { float x; }; 86176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct Float2 { float y; }; 87176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct HVAWithEmptyBase : Float1, Empty, Float2 { float z; }; 88176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 89176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// PPC: define void @_Z15with_empty_base16HVAWithEmptyBase([3 x float] %a.coerce) 900e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// ARM64: define void @_Z15with_empty_base16HVAWithEmptyBase([3 x float] %a.coerce) 91176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM32: define arm_aapcs_vfpcc void @_Z15with_empty_base16HVAWithEmptyBase(%struct.HVAWithEmptyBase %a.coerce) 92176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid CC with_empty_base(HVAWithEmptyBase a) {} 93176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 94176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// FIXME: MSVC doesn't consider this an HVA becuase of the empty base. 95176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// X64: define x86_vectorcallcc void @"\01_Z15with_empty_base16HVAWithEmptyBase@@16"(float %a.0, float %a.1, float %a.2) 96176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 97176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesstruct HVAWithEmptyBitField : Float1, Float2 { 98176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines int : 0; // Takes no space. 99176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines float z; 100176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}; 101176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 102176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// PPC: define void @_Z19with_empty_bitfield20HVAWithEmptyBitField([3 x float] %a.coerce) 1030e2c34f92f00628d48968dfea096d36381f494cbStephen Hines// ARM64: define void @_Z19with_empty_bitfield20HVAWithEmptyBitField([3 x float] %a.coerce) 104176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// ARM32: define arm_aapcs_vfpcc void @_Z19with_empty_bitfield20HVAWithEmptyBitField(%struct.HVAWithEmptyBitField %a.coerce) 105176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// X64: define x86_vectorcallcc void @"\01_Z19with_empty_bitfield20HVAWithEmptyBitField@@16"(float %a.0, float %a.1, float %a.2) 106176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid CC with_empty_bitfield(HVAWithEmptyBitField a) {} 107