1*67e74705SXin Li // RUN: %clang_cc1 -std=c++11 -S -emit-llvm -o - %s -triple x86_64-linux-gnu | FileCheck %s
2*67e74705SXin Li
3*67e74705SXin Li struct A { int a, b; int f(); };
4*67e74705SXin Li
5*67e74705SXin Li // CHECK: define {{.*}}@_Z3fn1i(
fn1(int x)6*67e74705SXin Li int fn1(int x) {
7*67e74705SXin Li // CHECK: %[[INITLIST:.*]] = alloca %struct.A
8*67e74705SXin Li // CHECK: %[[A:.*]] = getelementptr inbounds %struct.A, %struct.A* %[[INITLIST]], i32 0, i32 0
9*67e74705SXin Li // CHECK: store i32 %{{.*}}, i32* %[[A]], align 4
10*67e74705SXin Li // CHECK: %[[B:.*]] = getelementptr inbounds %struct.A, %struct.A* %[[INITLIST]], i32 0, i32 1
11*67e74705SXin Li // CHECK: store i32 5, i32* %[[B]], align 4
12*67e74705SXin Li // CHECK: call i32 @_ZN1A1fEv(%struct.A* %[[INITLIST]])
13*67e74705SXin Li return A{x, 5}.f();
14*67e74705SXin Li }
15*67e74705SXin Li
fB16*67e74705SXin Li struct B { int &r; int &f() { return r; } };
17*67e74705SXin Li
18*67e74705SXin Li // CHECK: define {{.*}}@_Z3fn2Ri(
fn2(int & v)19*67e74705SXin Li int &fn2(int &v) {
20*67e74705SXin Li // CHECK: %[[INITLIST2:.*]] = alloca %struct.B, align 8
21*67e74705SXin Li // CHECK: %[[R:.*]] = getelementptr inbounds %struct.B, %struct.B* %[[INITLIST2:.*]], i32 0, i32 0
22*67e74705SXin Li // CHECK: store i32* %{{.*}}, i32** %[[R]], align 8
23*67e74705SXin Li // CHECK: call dereferenceable({{[0-9]+}}) i32* @_ZN1B1fEv(%struct.B* %[[INITLIST2:.*]])
24*67e74705SXin Li return B{v}.f();
25*67e74705SXin Li }
26*67e74705SXin Li
27*67e74705SXin Li // CHECK: define {{.*}}@__cxx_global_var_init(
28*67e74705SXin Li //
29*67e74705SXin Li // CHECK: call {{.*}}@_ZN14NonTrivialInit1AC1Ev(
30*67e74705SXin Li // CHECK: getelementptr inbounds {{.*}}, i64 1
31*67e74705SXin Li // CHECK: br i1
32*67e74705SXin Li //
33*67e74705SXin Li // CHECK: getelementptr inbounds {{.*}}, i64 1
34*67e74705SXin Li // CHECK: icmp eq {{.*}}, i64 30
35*67e74705SXin Li // CHECK: br i1
36*67e74705SXin Li //
37*67e74705SXin Li // CHECK: call i32 @__cxa_atexit(
38*67e74705SXin Li namespace NonTrivialInit {
39*67e74705SXin Li struct A { A(); A(const A&) = delete; ~A(); };
40*67e74705SXin Li struct B { A a[20]; };
41*67e74705SXin Li // NB, this must be large enough to be worth memsetting for this test to be
42*67e74705SXin Li // meaningful.
43*67e74705SXin Li B b[30] = {};
44*67e74705SXin Li }
45