1*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-apple-darwin -std=c++11 -emit-llvm %s -o - | FileCheck %s
2*67e74705SXin Li
3*67e74705SXin Li struct A {
4*67e74705SXin Li A(const A&);
5*67e74705SXin Li A();
6*67e74705SXin Li ~A();
7*67e74705SXin Li };
8*67e74705SXin Li
9*67e74705SXin Li struct B : public A {
10*67e74705SXin Li B();
11*67e74705SXin Li B(const B& Other);
12*67e74705SXin Li ~B();
13*67e74705SXin Li };
14*67e74705SXin Li
15*67e74705SXin Li struct C : public B {
16*67e74705SXin Li C();
17*67e74705SXin Li C(const C& Other);
18*67e74705SXin Li ~C();
19*67e74705SXin Li };
20*67e74705SXin Li
21*67e74705SXin Li struct X {
22*67e74705SXin Li operator B&();
23*67e74705SXin Li operator C&();
24*67e74705SXin Li X(const X&);
25*67e74705SXin Li X();
26*67e74705SXin Li ~X();
27*67e74705SXin Li B b;
28*67e74705SXin Li C c;
29*67e74705SXin Li };
30*67e74705SXin Li
31*67e74705SXin Li void test0_helper(A);
test0(X x)32*67e74705SXin Li void test0(X x) {
33*67e74705SXin Li test0_helper(x);
34*67e74705SXin Li // CHECK-LABEL: define void @_Z5test01X(
35*67e74705SXin Li // CHECK: [[TMP:%.*]] = alloca [[A:%.*]], align
36*67e74705SXin Li // CHECK-NEXT: [[T0:%.*]] = call dereferenceable({{[0-9]+}}) [[B:%.*]]* @_ZN1XcvR1BEv(
37*67e74705SXin Li // CHECK-NEXT: [[T1:%.*]] = bitcast [[B]]* [[T0]] to [[A]]*
38*67e74705SXin Li // CHECK-NEXT: call void @_ZN1AC1ERKS_([[A]]* [[TMP]], [[A]]* dereferenceable({{[0-9]+}}) [[T1]])
39*67e74705SXin Li // CHECK-NEXT: call void @_Z12test0_helper1A([[A]]* [[TMP]])
40*67e74705SXin Li // CHECK-NEXT: call void @_ZN1AD1Ev([[A]]* [[TMP]])
41*67e74705SXin Li // CHECK-NEXT: ret void
42*67e74705SXin Li }
43*67e74705SXin Li
44*67e74705SXin Li struct Base;
45*67e74705SXin Li
46*67e74705SXin Li struct Root {
47*67e74705SXin Li operator Base&();
48*67e74705SXin Li };
49*67e74705SXin Li
50*67e74705SXin Li struct Derived;
51*67e74705SXin Li
52*67e74705SXin Li struct Base : Root {
53*67e74705SXin Li Base(const Base &);
54*67e74705SXin Li Base();
55*67e74705SXin Li operator Derived &();
56*67e74705SXin Li };
57*67e74705SXin Li
58*67e74705SXin Li struct Derived : Base {
59*67e74705SXin Li };
60*67e74705SXin Li
61*67e74705SXin Li void test1_helper(Base);
test1(Derived bb)62*67e74705SXin Li void test1(Derived bb) {
63*67e74705SXin Li // CHECK-LABEL: define void @_Z5test17Derived(
64*67e74705SXin Li // CHECK-NOT: call {{.*}} @_ZN4BasecvR7DerivedEv(
65*67e74705SXin Li // CHECK: call void @_ZN4BaseC1ERKS_(
66*67e74705SXin Li // CHECK-NOT: call {{.*}} @_ZN4BasecvR7DerivedEv(
67*67e74705SXin Li // CHECK: call void @_Z12test1_helper4Base(
68*67e74705SXin Li test1_helper(bb);
69*67e74705SXin Li }
70*67e74705SXin Li
71*67e74705SXin Li // Don't crash after devirtualizing a derived-to-base conversion
72*67e74705SXin Li // to an empty base allocated at offset zero.
73*67e74705SXin Li // rdar://problem/11993704
74*67e74705SXin Li class Test2a {};
75*67e74705SXin Li class Test2b final : public virtual Test2a {};
test2(Test2b & x)76*67e74705SXin Li void test2(Test2b &x) {
77*67e74705SXin Li Test2a &y = x;
78*67e74705SXin Li // CHECK-LABEL: define void @_Z5test2R6Test2b(
79*67e74705SXin Li // CHECK: [[X:%.*]] = alloca [[B:%.*]]*, align 8
80*67e74705SXin Li // CHECK-NEXT: [[Y:%.*]] = alloca [[A:%.*]]*, align 8
81*67e74705SXin Li // CHECK-NEXT: store [[B]]* {{%.*}}, [[B]]** [[X]], align 8
82*67e74705SXin Li // CHECK-NEXT: [[T0:%.*]] = load [[B]]*, [[B]]** [[X]], align 8
83*67e74705SXin Li // CHECK-NEXT: [[T1:%.*]] = bitcast [[B]]* [[T0]] to [[A]]*
84*67e74705SXin Li // CHECK-NEXT: store [[A]]* [[T1]], [[A]]** [[Y]], align 8
85*67e74705SXin Li // CHECK-NEXT: ret void
86*67e74705SXin Li }
87