Richard Smith | 762bb9d | 2011-10-13 22:29:44 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-darwin10 %s -emit-llvm -o %t |
Douglas Gregor | b681fb1 | 2011-09-22 15:15:51 +0000 | [diff] [blame] | 2 | // RUN: FileCheck %s < %t |
| 3 | // RUN: FileCheck -check-prefix=CHECK-PR10720 %s < %t |
Fariborz Jahanian | 742cd1b | 2009-07-25 21:12:28 +0000 | [diff] [blame] | 4 | |
| 5 | extern "C" int printf(...); |
| 6 | |
| 7 | struct M { |
| 8 | M() { printf("M()\n"); } |
| 9 | M(int i) { iM = i; printf("M(%d)\n", i); } |
| 10 | int iM; |
| 11 | void MPR() {printf("iM = %d\n", iM); }; |
| 12 | }; |
| 13 | |
| 14 | struct P { |
| 15 | P() { printf("P()\n"); } |
| 16 | P(int i) { iP = i; printf("P(%d)\n", i); } |
| 17 | int iP; |
| 18 | void PPR() {printf("iP = %d\n", iP); }; |
| 19 | }; |
| 20 | |
| 21 | struct Q { |
| 22 | Q() { printf("Q()\n"); } |
| 23 | Q(int i) { iQ = i; printf("Q(%d)\n", i); } |
| 24 | int iQ; |
| 25 | void QPR() {printf("iQ = %d\n", iQ); }; |
| 26 | }; |
| 27 | |
| 28 | struct N : M , P, Q { |
| 29 | N() : f1(1.314), P(2000), ld(00.1234+f1), M(1000), Q(3000), |
| 30 | d1(3.4567), i1(1234), m1(100) { printf("N()\n"); } |
| 31 | M m1; |
| 32 | M m2; |
| 33 | float f1; |
| 34 | int i1; |
| 35 | float d1; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 36 | void PR() { |
| 37 | printf("f1 = %f d1 = %f i1 = %d ld = %f \n", f1,d1,i1, ld); |
| 38 | MPR(); |
| 39 | PPR(); |
| 40 | QPR(); |
| 41 | printf("iQ = %d\n", iQ); |
| 42 | printf("iP = %d\n", iP); |
| 43 | printf("iM = %d\n", iM); |
| 44 | // FIXME. We don't yet support this syntax. |
| 45 | // printf("iQ = %d\n", (*this).iQ); |
| 46 | printf("iQ = %d\n", this->iQ); |
| 47 | printf("iP = %d\n", this->iP); |
| 48 | printf("iM = %d\n", this->iM); |
| 49 | } |
Fariborz Jahanian | 742cd1b | 2009-07-25 21:12:28 +0000 | [diff] [blame] | 50 | float ld; |
| 51 | float ff; |
Fariborz Jahanian | 64a54ad | 2009-08-21 17:09:38 +0000 | [diff] [blame] | 52 | M arr_m[3]; |
| 53 | P arr_p[1][3]; |
| 54 | Q arr_q[2][3][4]; |
Fariborz Jahanian | 742cd1b | 2009-07-25 21:12:28 +0000 | [diff] [blame] | 55 | }; |
| 56 | |
| 57 | int main() { |
| 58 | M m1; |
| 59 | |
| 60 | N n1; |
| 61 | n1.PR(); |
| 62 | } |
| 63 | |
Douglas Gregor | 7abfbdb | 2009-12-19 03:01:41 +0000 | [diff] [blame] | 64 | // PR5826 |
| 65 | template <class T> struct A { |
| 66 | A() {} |
| 67 | A(int) {} |
| 68 | A(const A&) {} |
| 69 | ~A() {} |
| 70 | operator int() {return 0;} |
| 71 | }; |
| 72 | |
| 73 | // CHECK: define void @_Z1fv() |
| 74 | void f() { |
| 75 | // CHECK: call void @_ZN1AIsEC1Ei |
| 76 | A<short> a4 = 97; |
| 77 | |
| 78 | // CHECK-NEXT: store i32 17 |
| 79 | int i = 17; |
| 80 | |
| 81 | // CHECK-NEXT: call void @_ZN1AIsED1Ev |
| 82 | // CHECK-NOT: call void @_ZN1AIsED1Ev |
| 83 | // CHECK: ret void |
| 84 | } |
Douglas Gregor | d606848 | 2010-03-26 22:43:07 +0000 | [diff] [blame] | 85 | |
John McCall | 7e1dff7 | 2010-09-17 02:31:44 +0000 | [diff] [blame] | 86 | // Make sure we initialize the vtable pointer if it's required by a |
| 87 | // base initializer. |
| 88 | namespace InitVTable { |
| 89 | struct A { A(int); }; |
| 90 | struct B : A { |
| 91 | virtual int foo(); |
| 92 | B(); |
| 93 | B(int); |
| 94 | }; |
| 95 | |
Rafael Espindola | 0691a5c | 2011-01-25 19:10:24 +0000 | [diff] [blame] | 96 | // CHECK: define void @_ZN10InitVTable1BC2Ev(%"struct.InitVTable::B"* %this) unnamed_addr |
John McCall | 7e1dff7 | 2010-09-17 02:31:44 +0000 | [diff] [blame] | 97 | // CHECK: [[T0:%.*]] = bitcast [[B:%.*]]* [[THIS:%.*]] to i8*** |
| 98 | // CHECK-NEXT: store i8** getelementptr inbounds ([3 x i8*]* @_ZTVN10InitVTable1BE, i64 0, i64 2), i8*** [[T0]] |
| 99 | // CHECK: [[VTBL:%.*]] = load i32 ([[B]]*)*** {{%.*}} |
| 100 | // CHECK-NEXT: [[FNP:%.*]] = getelementptr inbounds i32 ([[B]]*)** [[VTBL]], i64 0 |
| 101 | // CHECK-NEXT: [[FN:%.*]] = load i32 ([[B]]*)** [[FNP]] |
| 102 | // CHECK-NEXT: [[ARG:%.*]] = call i32 [[FN]]([[B]]* [[THIS]]) |
John McCall | a83c6be | 2010-09-17 17:03:41 +0000 | [diff] [blame] | 103 | // CHECK-NEXT: call void @_ZN10InitVTable1AC2Ei({{.*}}* {{%.*}}, i32 [[ARG]]) |
John McCall | 7e1dff7 | 2010-09-17 02:31:44 +0000 | [diff] [blame] | 104 | // CHECK-NEXT: [[T0:%.*]] = bitcast [[B]]* [[THIS]] to i8*** |
| 105 | // CHECK-NEXT: store i8** getelementptr inbounds ([3 x i8*]* @_ZTVN10InitVTable1BE, i64 0, i64 2), i8*** [[T0]] |
| 106 | // CHECK-NEXT: ret void |
| 107 | B::B() : A(foo()) {} |
| 108 | |
Rafael Espindola | 0691a5c | 2011-01-25 19:10:24 +0000 | [diff] [blame] | 109 | // CHECK: define void @_ZN10InitVTable1BC2Ei(%"struct.InitVTable::B"* %this, i32 %x) unnamed_addr |
John McCall | 7e1dff7 | 2010-09-17 02:31:44 +0000 | [diff] [blame] | 110 | // CHECK: [[ARG:%.*]] = add nsw i32 {{%.*}}, 5 |
| 111 | // CHECK-NEXT: call void @_ZN10InitVTable1AC2Ei({{.*}}* {{%.*}}, i32 [[ARG]]) |
| 112 | // CHECK-NEXT: [[T0:%.*]] = bitcast [[B]]* {{%.*}} to i8*** |
| 113 | // CHECK-NEXT: store i8** getelementptr inbounds ([3 x i8*]* @_ZTVN10InitVTable1BE, i64 0, i64 2), i8*** [[T0]] |
| 114 | // CHECK-NEXT: ret void |
| 115 | B::B(int x) : A(x + 5) {} |
| 116 | } |
| 117 | |
Douglas Gregor | df9a41f | 2011-07-01 21:19:15 +0000 | [diff] [blame] | 118 | namespace rdar9694300 { |
| 119 | struct X { |
| 120 | int x; |
| 121 | }; |
| 122 | |
| 123 | // CHECK: define void @_ZN11rdar96943001fEv |
| 124 | void f() { |
| 125 | // CHECK: alloca |
| 126 | X x; |
| 127 | // CHECK-NEXT: [[I:%.*]] = alloca i32 |
| 128 | // CHECK-NEXT: store i32 17, i32* [[I]] |
| 129 | int i = 17; |
| 130 | // CHECK-NEXT: ret void |
| 131 | } |
| 132 | } |
| 133 | |
Richard Smith | f4bb8d0 | 2012-07-05 08:39:21 +0000 | [diff] [blame] | 134 | // Check that we emit a zero initialization step for list-value-initialization |
| 135 | // which calls a trivial default constructor. |
| 136 | namespace PR13273 { |
| 137 | struct U { |
| 138 | int t; |
| 139 | U() = default; |
| 140 | }; |
| 141 | |
| 142 | struct S : U { |
| 143 | S() = default; |
| 144 | }; |
| 145 | |
| 146 | // CHECK: define {{.*}}@_ZN7PR132731fEv( |
| 147 | int f() { |
| 148 | // CHECK-NOT: } |
| 149 | // CHECK: llvm.memset{{.*}}i8 0 |
| 150 | return (new S{})->t; |
| 151 | } |
| 152 | } |
| 153 | |
Douglas Gregor | d606848 | 2010-03-26 22:43:07 +0000 | [diff] [blame] | 154 | template<typename T> |
| 155 | struct X { |
| 156 | X(const X &); |
| 157 | |
| 158 | T *start; |
| 159 | T *end; |
| 160 | }; |
| 161 | |
| 162 | template<typename T> struct X; |
| 163 | |
| 164 | // Make sure that the instantiated constructor initializes start and |
| 165 | // end properly. |
Rafael Espindola | 0691a5c | 2011-01-25 19:10:24 +0000 | [diff] [blame] | 166 | // CHECK: define linkonce_odr void @_ZN1XIiEC2ERKS0_(%struct.X* %this, %struct.X* %other) unnamed_addr |
Douglas Gregor | d606848 | 2010-03-26 22:43:07 +0000 | [diff] [blame] | 167 | // CHECK: {{store.*null}} |
| 168 | // CHECK: {{store.*null}} |
| 169 | // CHECK: ret |
| 170 | template<typename T> |
| 171 | X<T>::X(const X &other) : start(0), end(0) { } |
| 172 | |
| 173 | X<int> get_X(X<int> x) { return x; } |
Douglas Gregor | b681fb1 | 2011-09-22 15:15:51 +0000 | [diff] [blame] | 174 | |
| 175 | namespace PR10720 { |
| 176 | struct X { |
| 177 | X(const X&); |
| 178 | X(X&&); |
| 179 | X& operator=(const X&); |
| 180 | X& operator=(X&&); |
| 181 | ~X(); |
| 182 | }; |
| 183 | |
| 184 | struct pair2 { |
| 185 | X second[4]; |
| 186 | |
| 187 | // CHECK-PR10720: define linkonce_odr {{.*}} @_ZN7PR107205pair2aSERKS0_ |
| 188 | // CHECK-PR10720: load |
| 189 | // CHECK-PR10720: icmp ne |
| 190 | // CHECK-PR10720-NEXT: br i1 |
| 191 | // CHECK-PR10720: call {{.*}} @_ZN7PR107201XaSERKS0_ |
| 192 | // CHECK-PR10720: ret |
| 193 | pair2 &operator=(const pair2&) = default; |
| 194 | |
| 195 | // CHECK-PR10720: define linkonce_odr {{.*}} @_ZN7PR107205pair2aSEOS0_ |
| 196 | // CHECK-PR10720: load |
| 197 | // CHECK-PR10720: icmp ne |
| 198 | // CHECK-PR10720-NEXT: br i1 |
| 199 | // CHECK-PR10720: call {{.*}} @_ZN7PR107201XaSEOS0_ |
| 200 | // CHECK-PR10720: ret |
| 201 | pair2 &operator=(pair2&&) = default; |
| 202 | |
| 203 | // CHECK-PR10720: define linkonce_odr void @_ZN7PR107205pair2C2EOS0_ |
| 204 | // CHECK-PR10720-NOT: ret |
| 205 | // CHECK-PR10720: load |
| 206 | // CHECK-PR10720: icmp ult |
| 207 | // CHECK-PR10720-NEXT: br i1 |
| 208 | // CHECK-PR10720: call void @_ZN7PR107201XC1EOS0_ |
| 209 | // CHECK-PR10720-NEXT: br label |
| 210 | // CHECK-PR10720: ret void |
| 211 | pair2(pair2&&) = default; |
| 212 | |
| 213 | // CHECK-PR10720: define linkonce_odr void @_ZN7PR107205pair2C2ERKS0_ |
| 214 | // CHECK-PR10720-NOT: ret |
| 215 | // CHECK-PR10720: load |
| 216 | // CHECK-PR10720: icmp ult |
| 217 | // CHECK-PR10720-NEXT: br i1 |
| 218 | // CHECK-PR10720: call void @_ZN7PR107201XC1ERKS0_ |
| 219 | // CHECK-PR10720-NEXT: br label |
| 220 | // CHECK-PR10720: ret void |
| 221 | pair2(const pair2&) = default; |
| 222 | }; |
| 223 | |
Richard Smith | e653ba2 | 2012-02-26 00:31:33 +0000 | [diff] [blame] | 224 | struct pair : X { // Make the copy constructor non-trivial, so we actually generate it. |
Douglas Gregor | b681fb1 | 2011-09-22 15:15:51 +0000 | [diff] [blame] | 225 | int second[4]; |
| 226 | // CHECK-PR10720: define linkonce_odr void @_ZN7PR107204pairC2ERKS0_ |
| 227 | // CHECK-PR10720-NOT: ret |
| 228 | // CHECK-PR10720: call void @llvm.memcpy |
| 229 | // CHECK-PR10720-NEXT: ret void |
| 230 | pair(const pair&) = default; |
| 231 | }; |
| 232 | |
| 233 | void foo(const pair &x, const pair2 &x2) { |
| 234 | pair y(x); |
| 235 | pair2 y2(x2); |
| 236 | pair2 y2m(static_cast<pair2&&>(y2)); |
| 237 | |
| 238 | y2 = x2; |
| 239 | y2m = static_cast<pair2&&>(y2); |
| 240 | } |
| 241 | |
| 242 | } |