value-init.cpp revision 657baf19ca8a48a926bd3bc148b6ad1b17e53199 
1// RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s
2
3struct A {
4  virtual ~A();
5};
6
7struct B : A { };
8
9struct C {
10  int i;
11  B b;
12};
13
14// CHECK: _Z15test_value_initv
15void 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
27enum enum_type { negative_number = -1, magic_number = 42 };
28
29class enum_holder
30{
31  enum_type m_enum;
32
33public:
34  enum_holder() : m_enum(magic_number) { }
35};
36
37struct enum_holder_and_int
38{
39  enum_holder e;
40  int i;
41};
42
43// CHECK: _Z24test_enum_holder_and_intv()
44void 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.
54namespace 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
71namespace 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
86namespace PR9801 {
87
88struct Test {
89  Test() : i(10) {}
90  Test(int i) : i(i) {}
91  int i;
92private:
93  int j;
94};
95
96struct Test2 {
97  Test t;
98};
99
100struct Test3 : public Test { };
101
102// CHECK: define void @_ZN6PR98011fEv
103void 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
141namespace 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
198namespace PR8726 {
199class C;
200struct S {
201  const C &c1;
202  int i;
203  const C &c2;
204};
205void f(const C& c) {
206  S s = {c, 42, c};
207}
208
209}
210