1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s | FileCheck %s 2 3 // Basic base class test. 4 struct f0_s0 { unsigned a; }; 5 struct f0_s1 : public f0_s0 { void *b; }; 6 // CHECK: define void @_Z2f05f0_s1(i32 %a0.coerce0, i8* %a0.coerce1) 7 void f0(f0_s1 a0) { } 8 9 // Check with two eight-bytes in base class. 10 struct f1_s0 { unsigned a; unsigned b; float c; }; 11 struct f1_s1 : public f1_s0 { float d;}; 12 // CHECK: define void @_Z2f15f1_s1(i64 %a0.coerce0, <2 x float> %a0.coerce1) 13 void f1(f1_s1 a0) { } 14 15 // Check with two eight-bytes in base class and merge. 16 struct f2_s0 { unsigned a; unsigned b; float c; }; 17 struct f2_s1 : public f2_s0 { char d;}; 18 // CHECK: define void @_Z2f25f2_s1(i64 %a0.coerce0, i64 %a0.coerce1) 19 void f2(f2_s1 a0) { } 20 21 // PR5831 22 // CHECK: define void @_Z2f34s3_1(i64 %x.coerce) 23 struct s3_0 {}; 24 struct s3_1 { struct s3_0 a; long b; }; 25 void f3(struct s3_1 x) {} 26 27 // CHECK: define i64 @_Z4f4_0M2s4i(i64 %a) 28 // CHECK: define {{.*}} @_Z4f4_1M2s4FivE(i64 %a.coerce0, i64 %a.coerce1) 29 struct s4 {}; 30 typedef int s4::* s4_mdp; 31 typedef int (s4::*s4_mfp)(); 32 s4_mdp f4_0(s4_mdp a) { return a; } 33 s4_mfp f4_1(s4_mfp a) { return a; } 34 35 36 namespace PR7523 { 37 struct StringRef { 38 char *a; 39 }; 40 41 void AddKeyword(StringRef, int x); 42 43 void foo() { 44 // CHECK: define void @_ZN6PR75233fooEv() 45 // CHECK: call void @_ZN6PR752310AddKeywordENS_9StringRefEi(i8* {{.*}}, i32 4) 46 AddKeyword(StringRef(), 4); 47 } 48 } 49 50 namespace PR7742 { // Also rdar://8250764 51 struct s2 { 52 float a[2]; 53 }; 54 55 struct c2 : public s2 {}; 56 57 // CHECK: define <2 x float> @_ZN6PR77423fooEPNS_2c2E(%"struct.PR7742::c2"* %P) 58 c2 foo(c2 *P) { 59 return c2(); 60 } 61 62 } 63 64 namespace PR5179 { 65 struct B {}; 66 67 struct B1 : B { 68 int* pa; 69 }; 70 71 struct B2 : B { 72 B1 b1; 73 }; 74 75 // CHECK: define i8* @_ZN6PR51793barENS_2B2E(i32* %b2.coerce) 76 const void *bar(B2 b2) { 77 return b2.b1.pa; 78 } 79 } 80 81 namespace test5 { 82 struct Xbase { }; 83 struct Empty { }; 84 struct Y; 85 struct X : public Xbase { 86 Empty empty; 87 Y f(); 88 }; 89 struct Y : public X { 90 Empty empty; 91 }; 92 X getX(); 93 int takeY(const Y&, int y); 94 void g() { 95 // rdar://8340348 - The temporary for the X object needs to have a defined 96 // address when passed into X::f as 'this'. 97 takeY(getX().f(), 42); 98 } 99 // CHECK: void @_ZN5test51gEv() 100 // CHECK: alloca %"struct.test5::Y" 101 // CHECK: alloca %"struct.test5::X" 102 // CHECK: alloca %"struct.test5::Y" 103 } 104 105 106 // rdar://8360877 107 namespace test6 { 108 struct outer { 109 int x; 110 struct epsilon_matcher {} e; 111 int f; 112 }; 113 114 int test(outer x) { 115 return x.x + x.f; 116 } 117 // CHECK: define i32 @_ZN5test64testENS_5outerE(i64 %x.coerce0, i32 %x.coerce1) 118 } 119 120 namespace test7 { 121 struct StringRef {char* ptr; long len; }; 122 class A { public: ~A(); }; 123 A x(A, A, long, long, StringRef) { return A(); } 124 // Check that the StringRef is passed byval instead of expanded 125 // (which would split it between registers and memory). 126 // rdar://problem/9686430 127 // CHECK: define void @_ZN5test71xENS_1AES0_llNS_9StringRefE({{.*}} byval align 8) 128 129 // And a couple extra related tests: 130 A y(A, long double, long, long, StringRef) { return A(); } 131 // CHECK: define void @_ZN5test71yENS_1AEellNS_9StringRefE({{.*}} i8* 132 struct StringDouble {char * ptr; double d;}; 133 A z(A, A, A, A, A, StringDouble) { return A(); } 134 A zz(A, A, A, A, StringDouble) { return A(); } 135 // CHECK: define void @_ZN5test71zENS_1AES0_S0_S0_S0_NS_12StringDoubleE({{.*}} byval align 8) 136 // CHECK: define void @_ZN5test72zzENS_1AES0_S0_S0_NS_12StringDoubleE({{.*}} i8* 137 } 138 139 namespace test8 { 140 // CHECK: declare void @_ZN5test83fooENS_1BE(%"class.test8::B"* byval align 8) 141 class A { 142 char big[17]; 143 }; 144 145 class B : public A {}; 146 147 void foo(B b); 148 void bar() { 149 B b; 150 foo(b); 151 } 152 } 153 154 // PR4242 155 namespace test9 { 156 // Large enough to be passed indirectly. 157 struct S { void *data[3]; }; 158 159 struct T { void *data[2]; }; 160 161 // CHECK: define void @_ZN5test93fooEPNS_1SEPNS_1TE([[S:%.*]]*, [[T:%.*]]*) 162 void foo(S*, T*) {} 163 164 // CHECK: define void @_ZN5test91aEiiiiNS_1TEPv([[S]]* noalias sret {{%.*}}, i32, i32, i32, i32, [[T]]* byval align 8, i8*) 165 S a(int, int, int, int, T, void*) { 166 return S(); 167 } 168 169 // CHECK: define [[S]]* @_ZN5test91bEPNS_1SEiiiiNS_1TEPv([[S]]* {{%.*}}, i32, i32, i32, i32, [[T:%.*]]* byval align 8, i8*) 170 S* b(S* sret, int, int, int, int, T, void*) { 171 return sret; 172 } 173 174 // CHECK: define void @_ZN5test91cEiiiNS_1TEPv([[S]]* noalias sret {{%.*}}, i32, i32, i32, i8* {{%.*}}, i8* {{%.*}}, i8*) 175 S c(int, int, int, T, void*) { 176 return S(); 177 } 178 179 // CHECK: define [[S]]* @_ZN5test91dEPNS_1SEiiiNS_1TEPv([[S]]* {{%.*}}, i32, i32, i32, i8* {{%.*}}, i8* {{%.*}}, i8*) 180 S* d(S* sret, int, int, int, T, void*) { 181 return sret; 182 } 183 } 184
