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)
f0(f0_s1 a0)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)
f1(f1_s1 a0)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)
f2(f2_s1 a0)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; };
f3(struct s3_1 x)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)();
f4_0(s4_mdp a)32 s4_mdp f4_0(s4_mdp a) { return a; }
f4_1(s4_mfp 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
foo()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)
foo(c2 * P)58 c2 foo(c2 *P) {
59 }
60
61 }
62
63 namespace PR5179 {
64 struct B {};
65
66 struct B1 : B {
67 int* pa;
68 };
69
70 struct B2 : B {
71 B1 b1;
72 };
73
74 // CHECK: define i8* @_ZN6PR51793barENS_2B2E(i32* %b2.coerce)
bar(B2 b2)75 const void *bar(B2 b2) {
76 return b2.b1.pa;
77 }
78 }
79
80 namespace test5 {
81 struct Xbase { };
82 struct Empty { };
83 struct Y;
84 struct X : public Xbase {
85 Empty empty;
86 Y f();
87 };
88 struct Y : public X {
89 Empty empty;
90 };
91 X getX();
92 int takeY(const Y&, int y);
g()93 void g() {
94 // rdar://8340348 - The temporary for the X object needs to have a defined
95 // address when passed into X::f as 'this'.
96 takeY(getX().f(), 42);
97 }
98 // CHECK: void @_ZN5test51gEv()
99 // CHECK: alloca %"struct.test5::Y"
100 // CHECK: alloca %"struct.test5::X"
101 // CHECK: alloca %"struct.test5::Y"
102 }
103
104
105 // rdar://8360877
106 namespace test6 {
107 struct outer {
108 int x;
109 struct epsilon_matcher {} e;
110 int f;
111 };
112
test(outer x)113 int test(outer x) {
114 return x.x + x.f;
115 }
116 // CHECK: define i32 @_ZN5test64testENS_5outerE(i64 %x.coerce0, i32 %x.coerce1)
117 }
118
119 namespace test7 {
120 struct StringRef {char* ptr; long len; };
121 class A { public: ~A(); };
x(A,A,long,long,StringRef)122 A x(A, A, long, long, StringRef) { return A(); }
123 // Check that the StringRef is passed byval instead of expanded
124 // (which would split it between registers and memory).
125 // rdar://problem/9686430
126 // CHECK: define void @_ZN5test71xENS_1AES0_llNS_9StringRefE({{.*}} byval align 8)
127
128 // And a couple extra related tests:
y(A,long double,long,long,StringRef)129 A y(A, long double, long, long, StringRef) { return A(); }
130 // CHECK: define void @_ZN5test71yENS_1AEellNS_9StringRefE({{.*}} i8*
131 struct StringDouble {char * ptr; double d;};
z(A,A,A,A,A,StringDouble)132 A z(A, A, A, A, A, StringDouble) { return A(); }
zz(A,A,A,A,StringDouble)133 A zz(A, A, A, A, StringDouble) { return A(); }
134 // CHECK: define void @_ZN5test71zENS_1AES0_S0_S0_S0_NS_12StringDoubleE({{.*}} byval align 8)
135 // CHECK: define void @_ZN5test72zzENS_1AES0_S0_S0_NS_12StringDoubleE({{.*}} i8*
136 }
137
138 namespace test8 {
139 // CHECK: declare void @_ZN5test83fooENS_1BE(%"class.test8::B"* byval align 8)
140 class A {
141 char big[17];
142 };
143
144 class B : public A {};
145
146 void foo(B b);
bar()147 void bar() {
148 B b;
149 foo(b);
150 }
151 }
152