1 // RUN: %clang_cc1 -no-opaque-pointers -triple powerpc64le-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s --check-prefix=PPC 2 // RUN: %clang_cc1 -no-opaque-pointers -mfloat-abi hard -triple armv7-unknown-linux-gnueabi -emit-llvm -o - %s | FileCheck %s --check-prefix=ARM32 3 // RUN: %clang_cc1 -no-opaque-pointers -mfloat-abi hard -triple aarch64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s --check-prefix=ARM64 4 // RUN: %clang_cc1 -no-opaque-pointers -mfloat-abi hard -triple x86_64-unknown-windows-gnu -emit-llvm -o - %s | FileCheck %s --check-prefix=X64 5 // RUN: %clang_cc1 -no-opaque-pointers -mfloat-abi hard -triple aarch64-unknown-windows-msvc -emit-llvm -o - %s | FileCheck %s --check-prefix=WOA64 6 7 #if defined(__x86_64__) 8 #define CC __attribute__((vectorcall)) 9 #else 10 #define CC 11 #endif 12 13 // Test that C++ classes are correctly classified as homogeneous aggregates. 14 15 struct Base1 { 16 int x; 17 }; 18 struct Base2 { 19 double x; 20 }; 21 struct Base3 { 22 double x; 23 }; 24 struct D1 : Base1 { // non-homogeneous aggregate 25 double y, z; 26 }; 27 struct D2 : Base2 { // homogeneous aggregate 28 double y, z; 29 }; 30 struct D3 : Base1, Base2 { // non-homogeneous aggregate 31 double y, z; 32 }; 33 struct D4 : Base2, Base3 { // homogeneous aggregate 34 double y, z; 35 }; 36 37 struct I1 : Base2 {}; 38 struct I2 : Base2 {}; 39 struct I3 : Base2 {}; 40 struct D5 : I1, I2, I3 {}; // homogeneous aggregate 41 42 // PPC: define{{.*}} void @_Z7func_D12D1(%struct.D1* noalias sret(%struct.D1) align 8 %agg.result, [3 x i64] %x.coerce) 43 // ARM32: define{{.*}} arm_aapcs_vfpcc void @_Z7func_D12D1(%struct.D1* noalias sret(%struct.D1) align 8 %agg.result, [3 x i64] %x.coerce) 44 // ARM64: define{{.*}} void @_Z7func_D12D1(%struct.D1* noalias sret(%struct.D1) align 8 %agg.result, %struct.D1* noundef %x) 45 // X64: define dso_local x86_vectorcallcc void @"\01_Z7func_D12D1@@24"(%struct.D1* noalias sret(%struct.D1) align 8 %agg.result, %struct.D1* noundef %x) 46 D1 CC func_D1(D1 x) { return x; } 47 48 // PPC: define{{.*}} [3 x double] @_Z7func_D22D2([3 x double] %x.coerce) 49 // ARM32: define{{.*}} arm_aapcs_vfpcc %struct.D2 @_Z7func_D22D2(%struct.D2 %x.coerce) 50 // ARM64: define{{.*}} %struct.D2 @_Z7func_D22D2([3 x double] %x.coerce) 51 // X64: define dso_local x86_vectorcallcc %struct.D2 @"\01_Z7func_D22D2@@24"(%struct.D2 inreg %x.coerce) 52 D2 CC func_D2(D2 x) { return x; } 53 54 // PPC: define{{.*}} void @_Z7func_D32D3(%struct.D3* noalias sret(%struct.D3) align 8 %agg.result, [4 x i64] %x.coerce) 55 // ARM32: define{{.*}} arm_aapcs_vfpcc void @_Z7func_D32D3(%struct.D3* noalias sret(%struct.D3) align 8 %agg.result, [4 x i64] %x.coerce) 56 // ARM64: define{{.*}} void @_Z7func_D32D3(%struct.D3* noalias sret(%struct.D3) align 8 %agg.result, %struct.D3* noundef %x) 57 D3 CC func_D3(D3 x) { return x; } 58 59 // PPC: define{{.*}} [4 x double] @_Z7func_D42D4([4 x double] %x.coerce) 60 // ARM32: define{{.*}} arm_aapcs_vfpcc %struct.D4 @_Z7func_D42D4(%struct.D4 %x.coerce) 61 // ARM64: define{{.*}} %struct.D4 @_Z7func_D42D4([4 x double] %x.coerce) 62 D4 CC func_D4(D4 x) { return x; } 63 64 D5 CC func_D5(D5 x) { return x; } 65 // PPC: define{{.*}} [3 x double] @_Z7func_D52D5([3 x double] %x.coerce) 66 // ARM32: define{{.*}} arm_aapcs_vfpcc %struct.D5 @_Z7func_D52D5(%struct.D5 %x.coerce) 67 68 // The C++ multiple inheritance expansion case is a little more complicated, so 69 // do some extra checking. 70 // 71 // ARM64-LABEL: define{{.*}} %struct.D5 @_Z7func_D52D5([3 x double] %x.coerce) 72 // ARM64: bitcast %struct.D5* %{{.*}} to [3 x double]* 73 // ARM64: store [3 x double] %x.coerce, [3 x double]* 74 75 void call_D5(D5 *p) { 76 func_D5(*p); 77 } 78 79 // Check the call site. 80 // 81 // ARM64-LABEL: define{{.*}} void @_Z7call_D5P2D5(%struct.D5* noundef %p) 82 // ARM64: load [3 x double], [3 x double]* 83 // ARM64: call %struct.D5 @_Z7func_D52D5([3 x double] %{{.*}}) 84 85 struct Empty { }; 86 struct Float1 { float x; }; 87 struct Float2 { float y; }; 88 struct HVAWithEmptyBase : Float1, Empty, Float2 { float z; }; 89 90 // PPC: define{{.*}} void @_Z15with_empty_base16HVAWithEmptyBase([3 x float] %a.coerce) 91 // ARM64: define{{.*}} void @_Z15with_empty_base16HVAWithEmptyBase([3 x float] %a.coerce) 92 // ARM32: define{{.*}} arm_aapcs_vfpcc void @_Z15with_empty_base16HVAWithEmptyBase(%struct.HVAWithEmptyBase %a.coerce) 93 void CC with_empty_base(HVAWithEmptyBase a) {} 94 95 // WOA64: define dso_local void @"?with_empty_base@@YAXUHVAWithEmptyBase@@@Z"([2 x i64] %{{.*}}) 96 // X64: define dso_local x86_vectorcallcc void @"\01_Z15with_empty_base16HVAWithEmptyBase@@16"(%struct.HVAWithEmptyBase inreg %a.coerce) 97 98 struct HVAWithEmptyBitField : Float1, Float2 { 99 int : 0; // Takes no space. 100 float z; 101 }; 102 103 // PPC: define{{.*}} void @_Z19with_empty_bitfield20HVAWithEmptyBitField([3 x float] %a.coerce) 104 // ARM64: define{{.*}} void @_Z19with_empty_bitfield20HVAWithEmptyBitField([3 x float] %a.coerce) 105 // ARM32: define{{.*}} arm_aapcs_vfpcc void @_Z19with_empty_bitfield20HVAWithEmptyBitField(%struct.HVAWithEmptyBitField %a.coerce) 106 // X64: define dso_local x86_vectorcallcc void @"\01_Z19with_empty_bitfield20HVAWithEmptyBitField@@16"(%struct.HVAWithEmptyBitField inreg %a.coerce) 107 void CC with_empty_bitfield(HVAWithEmptyBitField a) {} 108 109 namespace pr47611 { 110 // MSVC on Arm includes "isCXX14Aggregate" as part of its definition of 111 // Homogeneous Floating-point Aggregate (HFA). Additionally, it has a different 112 // handling of C++14 aggregates, which can lead to confusion. 113 114 // Pod is a trivial HFA. 115 struct Pod { 116 double b[2]; 117 }; 118 // Not an aggregate according to C++14 spec => not HFA according to MSVC. 119 struct NotCXX14Aggregate { 120 NotCXX14Aggregate(); 121 Pod p; 122 }; 123 // NotPod is a C++14 aggregate. But not HFA, because it contains 124 // NotCXX14Aggregate (which itself is not HFA because it's not a C++14 125 // aggregate). 126 struct NotPod { 127 NotCXX14Aggregate x; 128 }; 129 struct Empty {}; 130 // A class with a base is returned using the sret calling convetion by MSVC. 131 struct HasEmptyBase : public Empty { 132 double b[2]; 133 }; 134 struct HasPodBase : public Pod {}; 135 // WOA64-LABEL: define dso_local %"struct.pr47611::Pod" @"?copy@pr47611@@YA?AUPod@1@PEAU21@@Z"(%"struct.pr47611::Pod"* noundef %x) 136 Pod copy(Pod *x) { return *x; } // MSVC: ldp d0,d1,[x0], Clang: ldp d0,d1,[x0] 137 // WOA64-LABEL: define dso_local void @"?copy@pr47611@@YA?AUNotCXX14Aggregate@1@PEAU21@@Z"(%"struct.pr47611::NotCXX14Aggregate"* inreg noalias sret(%"struct.pr47611::NotCXX14Aggregate") align 8 %agg.result, %"struct.pr47611::NotCXX14Aggregate"* noundef %x) 138 NotCXX14Aggregate copy(NotCXX14Aggregate *x) { return *x; } // MSVC: stp x8,x9,[x0], Clang: str q0,[x0] 139 // WOA64-LABEL: define dso_local [2 x i64] @"?copy@pr47611@@YA?AUNotPod@1@PEAU21@@Z"(%"struct.pr47611::NotPod"* noundef %x) 140 NotPod copy(NotPod *x) { return *x; } 141 // WOA64-LABEL: define dso_local void @"?copy@pr47611@@YA?AUHasEmptyBase@1@PEAU21@@Z"(%"struct.pr47611::HasEmptyBase"* inreg noalias sret(%"struct.pr47611::HasEmptyBase") align 8 %agg.result, %"struct.pr47611::HasEmptyBase"* noundef %x) 142 HasEmptyBase copy(HasEmptyBase *x) { return *x; } 143 // WOA64-LABEL: define dso_local void @"?copy@pr47611@@YA?AUHasPodBase@1@PEAU21@@Z"(%"struct.pr47611::HasPodBase"* inreg noalias sret(%"struct.pr47611::HasPodBase") align 8 %agg.result, %"struct.pr47611::HasPodBase"* noundef %x) 144 HasPodBase copy(HasPodBase *x) { return *x; } 145 146 void call_copy_pod(Pod *pod) { 147 *pod = copy(pod); 148 // WOA64-LABEL: define dso_local void @"?call_copy_pod@pr47611@@YAXPEAUPod@1@@Z" 149 // WOA64: %{{.*}} = call %"struct.pr47611::Pod" @"?copy@pr47611@@YA?AUPod@1@PEAU21@@Z"(%"struct.pr47611::Pod"* noundef %{{.*}}) 150 } 151 152 void call_copy_notcxx14aggregate(NotCXX14Aggregate *notcxx14aggregate) { 153 *notcxx14aggregate = copy(notcxx14aggregate); 154 // WOA64-LABEL: define dso_local void @"?call_copy_notcxx14aggregate@pr47611@@YAXPEAUNotCXX14Aggregate@1@@Z" 155 // WOA64: call void @"?copy@pr47611@@YA?AUNotCXX14Aggregate@1@PEAU21@@Z"(%"struct.pr47611::NotCXX14Aggregate"* inreg sret(%"struct.pr47611::NotCXX14Aggregate") align 8 %{{.*}}, %"struct.pr47611::NotCXX14Aggregate"* noundef %{{.*}}) 156 } 157 158 void call_copy_notpod(NotPod *notPod) { 159 *notPod = copy(notPod); 160 // WOA64-LABEL: define dso_local void @"?call_copy_notpod@pr47611@@YAXPEAUNotPod@1@@Z" 161 // WOA64: %{{.*}} = call [2 x i64] @"?copy@pr47611@@YA?AUNotPod@1@PEAU21@@Z"(%"struct.pr47611::NotPod"* noundef %{{.*}}) 162 } 163 164 void call_copy_hasemptybase(HasEmptyBase *hasEmptyBase) { 165 *hasEmptyBase = copy(hasEmptyBase); 166 // WOA64-LABEL: define dso_local void @"?call_copy_hasemptybase@pr47611@@YAXPEAUHasEmptyBase@1@@Z" 167 // WOA64: call void @"?copy@pr47611@@YA?AUHasEmptyBase@1@PEAU21@@Z"(%"struct.pr47611::HasEmptyBase"* inreg sret(%"struct.pr47611::HasEmptyBase") align 8 %{{.*}}, %"struct.pr47611::HasEmptyBase"* noundef %{{.*}}) 168 } 169 170 void call_copy_haspodbase(HasPodBase *hasPodBase) { 171 *hasPodBase = copy(hasPodBase); 172 // WOA64-LABEL: define dso_local void @"?call_copy_haspodbase@pr47611@@YAXPEAUHasPodBase@1@@Z" 173 // WOA64: call void @"?copy@pr47611@@YA?AUHasPodBase@1@PEAU21@@Z"(%"struct.pr47611::HasPodBase"* inreg sret(%"struct.pr47611::HasPodBase") align 8 %{{.*}}, %"struct.pr47611::HasPodBase"* noundef %{{.*}}) 174 } 175 } // namespace pr47611 176 177 namespace protected_member { 178 struct HFA { 179 double x; 180 double y; 181 protected: 182 double z; 183 }; 184 double foo(HFA v) { return v.x + v.y; } 185 // WOA64: define dso_local noundef double @"?foo@protected_member@@YANUHFA@1@@Z"([3 x double] %{{.*}}) 186 } 187 namespace private_member { 188 struct HFA { 189 double x; 190 double y; 191 private: 192 double z; 193 }; 194 double foo(HFA v) { return v.x + v.y; } 195 // WOA64: define dso_local noundef double @"?foo@private_member@@YANUHFA@1@@Z"([3 x double] %{{.*}}) 196 } 197 namespace polymorphic { 198 struct NonHFA { 199 double x; 200 double y; 201 double z; 202 virtual void f1(); 203 }; 204 double foo(NonHFA v) { return v.x + v.y; } 205 // WOA64: define dso_local noundef double @"?foo@polymorphic@@YANUNonHFA@1@@Z"(%"struct.polymorphic::NonHFA"* noundef %{{.*}}) 206 } 207 namespace trivial_copy_assignment { 208 struct HFA { 209 double x; 210 double y; 211 double z; 212 HFA &operator=(const HFA&) = default; 213 }; 214 double foo(HFA v) { return v.x + v.y; } 215 // WOA64: define dso_local noundef double @"?foo@trivial_copy_assignment@@YANUHFA@1@@Z"([3 x double] %{{.*}}) 216 } 217 namespace non_trivial_copy_assignment { 218 struct NonHFA { 219 double x; 220 double y; 221 double z; 222 NonHFA &operator=(const NonHFA&); 223 }; 224 double foo(NonHFA v) { return v.x + v.y; } 225 // WOA64: define dso_local noundef double @"?foo@non_trivial_copy_assignment@@YANUNonHFA@1@@Z"(%"struct.non_trivial_copy_assignment::NonHFA"* noundef %{{.*}}) 226 } 227 namespace user_provided_ctor { 228 struct HFA { 229 double x; 230 double y; 231 double z; 232 HFA(int); 233 }; 234 double foo(HFA v) { return v.x + v.y; } 235 // WOA64: define dso_local noundef double @"?foo@user_provided_ctor@@YANUHFA@1@@Z"([3 x double] %{{.*}}) 236 } 237 namespace trivial_dtor { 238 struct HFA { 239 double x; 240 double y; 241 double z; 242 ~HFA() = default; 243 }; 244 double foo(HFA v) { return v.x + v.y; } 245 // WOA64: define dso_local noundef double @"?foo@trivial_dtor@@YANUHFA@1@@Z"([3 x double] %{{.*}}) 246 } 247 namespace non_trivial_dtor { 248 struct NonHFA { 249 double x; 250 double y; 251 double z; 252 ~NonHFA(); 253 }; 254 double foo(NonHFA v) { return v.x + v.y; } 255 // WOA64: define dso_local noundef double @"?foo@non_trivial_dtor@@YANUNonHFA@1@@Z"(%"struct.non_trivial_dtor::NonHFA"* noundef %{{.*}}) 256 } 257 namespace non_empty_base { 258 struct non_empty_base { double d; }; 259 struct HFA : non_empty_base { 260 double x; 261 double y; 262 double z; 263 }; 264 double foo(HFA v) { return v.x + v.y; } 265 // WOA64: define dso_local noundef double @"?foo@non_empty_base@@YANUHFA@1@@Z"([4 x double] %{{.*}}) 266 } 267 namespace empty_field { 268 struct empty { }; 269 struct NonHFA { 270 double x; 271 double y; 272 double z; 273 empty e; 274 }; 275 double foo(NonHFA v) { return v.x + v.y; } 276 // WOA64: define dso_local noundef double @"?foo@empty_field@@YANUNonHFA@1@@Z"(%"struct.empty_field::NonHFA"* noundef %{{.*}}) 277 } 278 namespace non_empty_field { 279 struct non_empty { double d; }; 280 struct HFA { 281 double x; 282 double y; 283 double z; 284 non_empty e; 285 }; 286 double foo(HFA v) { return v.x + v.y; } 287 // WOA64: define dso_local noundef double @"?foo@non_empty_field@@YANUHFA@1@@Z"([4 x double] %{{.*}}) 288 } 289