1 // RUN: %clang_cc1 -triple armv7-none-eabi -emit-llvm -o - %s | FileCheck %s
2
3 struct A { int x; A(int); ~A(); };
f()4 A f() { return A(0); }
5 // CHECK-LABEL: define{{.*}} void @_Z1fv
6 // CHECK: call {{.*}} @_ZN1AC1Ei
7 // CHECK-NEXT: ret void
8
9 // Verify that we do not elide copies when constructing a base class.
10 namespace no_elide_base {
11 struct Base {
12 Base(const Base&);
13 ~Base();
14 };
15
16 struct Other {
17 operator Base() const;
18 };
19
20 struct Derived : public virtual Base {
21 Derived(const Other &O);
22 };
23
24 // CHECK: define {{.*}} @_ZN13no_elide_base7DerivedC1ERKNS_5OtherE(%"struct.no_elide_base::Derived"* {{[^,]*}} returned {{[^,]*}} %this, %"struct.no_elide_base::Other"* nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) %O) unnamed_addr
Derived(const Other & O)25 Derived::Derived(const Other &O)
26 // CHECK: call {{.*}} @_ZNK13no_elide_base5OthercvNS_4BaseEEv
27 // CHECK: call {{.*}} @_ZN13no_elide_base4BaseC2ERKS0_
28 // CHECK: call {{.*}} @_ZN13no_elide_base4BaseD1Ev
29 : Base(O)
30 {
31 // CHECK: ret
32 }
33 }
34
35 // PR8683.
36
37 namespace PR8683 {
38
39 struct A {
40 A();
41 A(const A&);
42 A& operator=(const A&);
43 };
44
45 struct B {
46 A a;
47 };
48
f()49 void f() {
50 // Verify that we don't mark the copy constructor in this expression as elidable.
51 // CHECK: call {{.*}} @_ZN6PR86831AC1ERKS0_
52 A a = (B().a);
53 }
54
55 }
56
57 namespace PR12139 {
58 struct A {
APR12139::A59 A() : value(1) { }
APR12139::A60 A(A const &, int value = 2) : value(value) { }
61 int value;
62
makeAPR12139::A63 static A makeA() { A a; a.value = 2; return a; }
64 };
65
66 // CHECK-LABEL: define{{.*}} i32 @_ZN7PR121394testEv
test()67 int test() {
68 // CHECK: call void @_ZN7PR121391A5makeAEv
69 // CHECK-NEXT: call %"struct.PR12139::A"* @_ZN7PR121391AC1ERKS0_i
70 A a(A::makeA(), 3);
71 // CHECK-NEXT: getelementptr inbounds
72 // CHECK-NEXT: load
73 // CHECK-NEXT: ret i32
74 return a.value;
75 }
76 }
77
78 namespace ElidableCallIsNotCopyCtor {
79 struct A { A(const A&); };
80 struct B : A {
81 B(B&);
82 B(A);
83 B(int);
84 };
f()85 void f() {
86 // Here, we construct via B(int) then B(A). The B(A) construction is
87 // elidable, but we don't have an AST representation for the case where we
88 // must elide not only a constructor call but also some argument
89 // conversions, so we don't elide it.
90 // CHECK-LABEL: define{{.*}} void @_ZN25ElidableCallIsNotCopyCtor1fEv(
91 // CHECK: call {{.*}} @_ZN25ElidableCallIsNotCopyCtor1BC1Ei(
92 // CHECK: call {{.*}} @_ZN25ElidableCallIsNotCopyCtor1AC1ERKS0_(
93 // CHECK: call {{.*}} @_ZN25ElidableCallIsNotCopyCtor1BC1ENS_1AE(
94 B b = 0;
95 }
96 }
97