| 1 | // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=x86_64-apple-darwin9 | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | struct T { |
|---|
| 4 | T(); |
|---|
| 5 | ~T(); |
|---|
| 6 | }; |
|---|
| 7 | |
|---|
| 8 | void f(const T& t = T()); |
|---|
| 9 | |
|---|
| 10 | class X { // ... |
|---|
| 11 | public: |
|---|
| 12 | X(); |
|---|
| 13 | X(const X&, const T& t = T()); |
|---|
| 14 | }; |
|---|
| 15 | |
|---|
| 16 | // CHECK-LABEL: define void @_Z1gv() |
|---|
| 17 | void g() { |
|---|
| 18 | // CHECK: call void @_ZN1TC1Ev([[T:%.*]]* [[AGG1:%.*]]) |
|---|
| 19 | // CHECK-NEXT: call void @_Z1fRK1T([[T]]* dereferenceable({{[0-9]+}}) [[AGG1]]) |
|---|
| 20 | // CHECK-NEXT: call void @_ZN1TD1Ev([[T]]* [[AGG1]]) |
|---|
| 21 | f(); |
|---|
| 22 | |
|---|
| 23 | // CHECK-NEXT: call void @_ZN1TC1Ev([[T:%.*]]* [[AGG2:%.*]]) |
|---|
| 24 | // CHECK-NEXT: call void @_Z1fRK1T([[T]]* dereferenceable({{[0-9]+}}) [[AGG2]]) |
|---|
| 25 | // CHECK-NEXT: call void @_ZN1TD1Ev([[T]]* [[AGG2]]) |
|---|
| 26 | f(); |
|---|
| 27 | |
|---|
| 28 | // CHECK-NEXT: call void @_ZN1XC1Ev( |
|---|
| 29 | X a; |
|---|
| 30 | |
|---|
| 31 | // CHECK-NEXT: call void @_ZN1TC1Ev( |
|---|
| 32 | // CHECK-NEXT: call void @_ZN1XC1ERKS_RK1T( |
|---|
| 33 | // CHECK-NEXT: call void @_ZN1TD1Ev( |
|---|
| 34 | X b(a); |
|---|
| 35 | |
|---|
| 36 | // CHECK-NEXT: call void @_ZN1TC1Ev( |
|---|
| 37 | // CHECK-NEXT: call void @_ZN1XC1ERKS_RK1T( |
|---|
| 38 | // CHECK-NEXT: call void @_ZN1TD1Ev( |
|---|
| 39 | X c = a; |
|---|
| 40 | } |
|---|
| 41 | |
|---|
| 42 | |
|---|
| 43 | class obj{ int a; float b; double d; }; |
|---|
| 44 | // CHECK-LABEL: define void @_Z1hv() |
|---|
| 45 | void h() { |
|---|
| 46 | // CHECK: call void @llvm.memset.p0i8.i64( |
|---|
| 47 | obj o = obj(); |
|---|
| 48 | } |
|---|
| 49 | |
|---|
| 50 | // PR7028 - mostly this shouldn't crash |
|---|
| 51 | namespace test1 { |
|---|
| 52 | struct A { A(); }; |
|---|
| 53 | struct B { B(); ~B(); }; |
|---|
| 54 | |
|---|
| 55 | struct C { |
|---|
| 56 | C(const B &file = B()); |
|---|
| 57 | }; |
|---|
| 58 | C::C(const B &file) {} |
|---|
| 59 | |
|---|
| 60 | struct D { |
|---|
| 61 | C c; |
|---|
| 62 | A a; |
|---|
| 63 | |
|---|
| 64 | // CHECK-LABEL: define linkonce_odr void @_ZN5test11DC2Ev(%"struct.test1::D"* %this) unnamed_addr |
|---|
| 65 | // CHECK: call void @_ZN5test11BC1Ev( |
|---|
| 66 | // CHECK-NEXT: call void @_ZN5test11CC1ERKNS_1BE( |
|---|
| 67 | // CHECK-NEXT: call void @_ZN5test11BD1Ev( |
|---|
| 68 | // CHECK: call void @_ZN5test11AC1Ev( |
|---|
| 69 | D() : c(), a() {} |
|---|
| 70 | }; |
|---|
| 71 | |
|---|
| 72 | D d; |
|---|
| 73 | } |
|---|
| 74 | |
|---|
| 75 | namespace test2 { |
|---|
| 76 | // CHECK: define linkonce_odr void @_ZN5test21AIiED2Ev( |
|---|
| 77 | template <typename T> struct A { A() {} ~A() {} }; |
|---|
| 78 | template <typename> void f(const A<int> & = {}) {} |
|---|
| 79 | void g() { f<int>(); } |
|---|
| 80 | } |
|---|
| 81 | |
|---|