1 // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s
2 
3 struct A {
4   virtual ~A();
5 };
6 
7 struct B : A { };
8 
9 struct C {
10   int i;
11   B b;
12 };
13 
14 // CHECK: _Z15test_value_initv
15 void test_value_init() {
16   // This value initialization requires zero initialization of the 'B'
17   // subobject followed by a call to its constructor.
18   // PR5800
19 
20   // CHECK: store i32 17
21   // CHECK: call void @llvm.memset.p0i8.i64
22   // CHECK: call void @_ZN1BC1Ev
23   C c = { 17 } ;
24   // CHECK: call void @_ZN1CD1Ev
25 }
26 
27 enum enum_type { negative_number = -1, magic_number = 42 };
28 
29 class enum_holder
30 {
31   enum_type m_enum;
32 
33 public:
34   enum_holder() : m_enum(magic_number) { }
35 };
36 
37 struct enum_holder_and_int
38 {
39   enum_holder e;
40   int i;
41 };
42 
43 // CHECK: _Z24test_enum_holder_and_intv()
44 void test_enum_holder_and_int() {
45   // CHECK: alloca
46   // CHECK-NEXT: bitcast
47   // CHECK-NEXT: call void @llvm.memset
48   // CHECK-NEXT: call void @_ZN19enum_holder_and_intC1Ev
49   enum_holder_and_int();
50   // CHECK-NEXT: ret void
51 }
52 
53 // PR7834: don't crash.
54 namespace test1 {
55   struct A {
56     int A::*f;
57     A();
58     A(const A&);
59     A &operator=(const A &);
60   };
61 
62   struct B {
63     A base;
64   };
65 
66   void foo() {
67     B();
68   }
69 }
70 
71 namespace ptrmem {
72   struct S {
73     int mem1;
74     int S::*mem2;
75   };
76 
77   // CHECK: define i32 @_ZN6ptrmem4testEPNS_1SE
78   int test(S *s) {
79     // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
80     // CHECK: getelementptr
81     // CHECK: ret
82     return s->*S().mem2;
83   }
84 }
85 
86 namespace PR9801 {
87 
88 struct Test {
89   Test() : i(10) {}
90   Test(int i) : i(i) {}
91   int i;
92 private:
93   int j;
94 };
95 
96 struct Test2 {
97   Test t;
98 };
99 
100 struct Test3 : public Test { };
101 
102 // CHECK: define void @_ZN6PR98011fEv
103 void f() {
104   // CHECK-NOT: call void @llvm.memset.p0i8.i64
105   // CHECK: call void @_ZN6PR98014TestC1Ei
106   // CHECK-NOT: call void @llvm.memset.p0i8.i64
107   // CHECK: call void @_ZN6PR98014TestC1Ev
108   // CHECK-NOT: call void @llvm.memset.p0i8.i64
109   // CHECK: call void @_ZN6PR98014TestC1Ev
110   Test partial[3] = { 1 };
111 
112   // CHECK-NOT: call void @llvm.memset.p0i8.i64
113   // CHECK: call void @_ZN6PR98014TestC1Ev
114   // CHECK-NOT: call void @llvm.memset.p0i8.i64
115   // CHECK: call void @_ZN6PR98014TestC1Ev
116   // CHECK-NOT: call void @llvm.memset.p0i8.i64
117   // CHECK: call void @_ZN6PR98014TestC1Ev
118   Test empty[3] = {};
119 
120   // CHECK: call void @llvm.memset.p0i8.i64
121   // CHECK-NOT: call void @llvm.memset.p0i8.i64
122   // CHECK: call void @_ZN6PR98015Test2C1Ev
123   // CHECK-NOT: call void @llvm.memset.p0i8.i64
124   // CHECK: call void @_ZN6PR98015Test2C1Ev
125   // CHECK-NOT: call void @llvm.memset.p0i8.i64
126   // CHECK: call void @_ZN6PR98015Test2C1Ev
127   Test2 empty2[3] = {};
128 
129   // CHECK: call void @llvm.memset.p0i8.i64
130   // CHECK-NOT: call void @llvm.memset.p0i8.i64
131   // CHECK: call void @_ZN6PR98015Test3C1Ev
132   // CHECK-NOT: call void @llvm.memset.p0i8.i64
133   // CHECK: call void @_ZN6PR98015Test3C1Ev
134   // CHECK-NOT: call void @llvm.memset.p0i8.i64
135   // CHECK: call void @_ZN6PR98015Test3C1Ev
136   Test3 empty3[3] = {};
137 }
138 
139 }
140 
141 namespace zeroinit {
142   struct S { int i; };
143 
144   // CHECK: define i32 @_ZN8zeroinit4testEv()
145   int test() {
146     // CHECK: call void @llvm.memset.p0i8.i64
147     // CHECK: getelementptr
148     // CHECK: ret i32
149     return S().i;
150   }
151 
152   struct X0 {
153     X0() { }
154     int x;
155   };
156 
157   struct X1 : X0 {
158     int x1;
159     void f();
160   };
161 
162   // CHECK: define void @_ZN8zeroinit9testX0_X1Ev
163   void testX0_X1() {
164     // CHECK: call void @llvm.memset.p0i8.i64
165     // CHECK-NEXT: call void @_ZN8zeroinit2X1C1Ev
166     // CHECK-NEXT: call void @_ZN8zeroinit2X11fEv
167     X1().f();
168   }
169 
170   template<typename>
171   struct X2 : X0 {
172     int x2;
173     void f();
174   };
175 
176   template<typename>
177   struct X3 : X2<int> {
178     X3() : X2<int>() { }
179     int i;
180   };
181 
182 
183   // CHECK: define void @_ZN8zeroinit9testX0_X3Ev
184   void testX0_X3() {
185     // CHECK-NOT: call void @llvm.memset
186     // CHECK: call void @_ZN8zeroinit2X3IiEC1Ev
187     // CHECK: call void @_ZN8zeroinit2X2IiE1fEv
188     // CHECK-NEXT: ret void
189     X3<int>().f();
190   }
191 
192   // CHECK: define linkonce_odr void @_ZN8zeroinit2X3IiEC2Ev(%"struct.zeroinit::X3"* %this) unnamed_addr
193   // CHECK: call void @llvm.memset.p0i8.i64
194   // CHECK-NEXT: call void @_ZN8zeroinit2X2IiEC2Ev
195   // CHECK-NEXT: ret void
196 }
197 
198 namespace PR8726 {
199 class C;
200 struct S {
201   const C &c1;
202   int i;
203   const C &c2;
204 };
205 void f(const C& c) {
206   S s = {c, 42, c};
207 }
208 
209 }
210