blob: 55357c7d63a47561d2a718c97cdbf80dd3b118b7 [file] [log] [blame]
John McCallad5e7382010-03-01 23:49:17 +00001// RUN: %clang_cc1 -emit-llvm %s -o - -triple=x86_64-apple-darwin9 -fblocks -std=c++0x | FileCheck %s
Douglas Gregor5f2bfd42009-02-13 00:10:09 +00002struct X { };
3struct Y { };
Anders Carlssonb1d947b2009-03-07 23:57:03 +00004
Anders Carlsson9234b7f2009-09-17 03:46:43 +00005// CHECK: @unmangled_variable = global
6// CHECK: @_ZN1N1iE = global
7// CHECK: @_ZZN1N1fEiiE1b = internal global
8// CHECK: @_ZZN1N1gEvE1a = internal global
9// CHECK: @_ZGVZN1N1gEvE1a = internal global
10
Sean Hunt31455252010-01-24 03:04:27 +000011//CHECK: @pr5966_i = external global
12//CHECK: @_ZL8pr5966_i = internal global
13
Anders Carlsson9234b7f2009-09-17 03:46:43 +000014// CHECK: define zeroext i1 @_ZplRK1YRA100_P1X
Douglas Gregor5f2bfd42009-02-13 00:10:09 +000015bool operator+(const Y&, X* (&xs)[100]) { return false; }
16
Anders Carlsson9234b7f2009-09-17 03:46:43 +000017// CHECK: define void @_Z1f1s
Anders Carlssonb1d947b2009-03-07 23:57:03 +000018typedef struct { int a; } s;
19void f(s) { }
20
Anders Carlsson9234b7f2009-09-17 03:46:43 +000021// CHECK: define void @_Z1f1e
Anders Carlssonb1d947b2009-03-07 23:57:03 +000022typedef enum { foo } e;
23void f(e) { }
24
Anders Carlsson9234b7f2009-09-17 03:46:43 +000025// CHECK: define void @_Z1f1u
Anders Carlssonb1d947b2009-03-07 23:57:03 +000026typedef union { int a; } u;
27void f(u) { }
Anders Carlsson4843e582009-03-10 17:07:44 +000028
Anders Carlsson9234b7f2009-09-17 03:46:43 +000029// CHECK: define void @_Z1f1x
Anders Carlsson4843e582009-03-10 17:07:44 +000030typedef struct { int a; } x,y;
31void f(y) { }
32
Anders Carlsson9234b7f2009-09-17 03:46:43 +000033// CHECK: define void @_Z1fv
Anders Carlssonc6c91bc2009-04-01 00:15:23 +000034void f() { }
Anders Carlsson984e0682009-04-01 00:58:25 +000035
Anders Carlsson9234b7f2009-09-17 03:46:43 +000036// CHECK: define void @_ZN1N1fEv
Anders Carlsson984e0682009-04-01 00:58:25 +000037namespace N { void f() { } }
38
Anders Carlsson9234b7f2009-09-17 03:46:43 +000039// CHECK: define void @_ZN1N1N1fEv
Anders Carlsson984e0682009-04-01 00:58:25 +000040namespace N { namespace N { void f() { } } }
Anders Carlsson91e20dd2009-04-02 05:55:18 +000041
Anders Carlsson9234b7f2009-09-17 03:46:43 +000042// CHECK: define void @unmangled_function
Anders Carlsson91e20dd2009-04-02 05:55:18 +000043extern "C" { namespace N { void unmangled_function() { } } }
44
Anders Carlsson2928c212009-05-16 21:02:39 +000045extern "C" { namespace N { int unmangled_variable = 10; } }
Anders Carlsson91e20dd2009-04-02 05:55:18 +000046
Anders Carlsson329749c2009-04-02 16:05:20 +000047namespace N { int i; }
Anders Carlsson1b42c792009-04-02 16:24:45 +000048
Anders Carlsson1b42c792009-04-02 16:24:45 +000049namespace N { int f(int, int) { static int b; return b; } }
Anders Carlsson283a0622009-04-13 18:03:33 +000050
Anders Carlsson283a0622009-04-13 18:03:33 +000051namespace N { int h(); void g() { static int a = h(); } }
Chris Lattner2df9ced2009-04-30 02:43:43 +000052
Anders Carlsson9234b7f2009-09-17 03:46:43 +000053// CHECK: define void @_Z1fno
Chris Lattner2df9ced2009-04-30 02:43:43 +000054void f(__int128_t, __uint128_t) { }
Anders Carlsson7a0ba872009-05-15 16:09:15 +000055
56template <typename T> struct S1 {};
57
Anders Carlsson9234b7f2009-09-17 03:46:43 +000058// CHECK: define void @_Z1f2S1IiE
Anders Carlsson7a0ba872009-05-15 16:09:15 +000059void f(S1<int>) {}
60
Anders Carlsson9234b7f2009-09-17 03:46:43 +000061// CHECK: define void @_Z1f2S1IdE
Anders Carlsson7a0ba872009-05-15 16:09:15 +000062void f(S1<double>) {}
63
64template <int N> struct S2 {};
Anders Carlsson9234b7f2009-09-17 03:46:43 +000065// CHECK: define void @_Z1f2S2ILi100EE
Anders Carlsson7a0ba872009-05-15 16:09:15 +000066void f(S2<100>) {}
67
Anders Carlsson9234b7f2009-09-17 03:46:43 +000068// CHECK: define void @_Z1f2S2ILin100EE
Anders Carlsson7a0ba872009-05-15 16:09:15 +000069void f(S2<-100>) {}
70
71template <bool B> struct S3 {};
72
Anders Carlsson9234b7f2009-09-17 03:46:43 +000073// CHECK: define void @_Z1f2S3ILb1EE
Anders Carlsson7a0ba872009-05-15 16:09:15 +000074void f(S3<true>) {}
75
Anders Carlsson9234b7f2009-09-17 03:46:43 +000076// CHECK: define void @_Z1f2S3ILb0EE
Anders Carlsson7a0ba872009-05-15 16:09:15 +000077void f(S3<false>) {}
78
Anders Carlsson9234b7f2009-09-17 03:46:43 +000079// CHECK: define void @_Z2f22S3ILb1EE
Anders Carlsson7a0ba872009-05-15 16:09:15 +000080void f2(S3<100>) {}
Anders Carlsson0e650012009-05-17 17:41:20 +000081
82struct S;
83
Anders Carlsson9234b7f2009-09-17 03:46:43 +000084// CHECK: define void @_Z1fM1SKFvvE
Anders Carlsson0e650012009-05-17 17:41:20 +000085void f(void (S::*)() const) {}
86
Anders Carlsson9234b7f2009-09-17 03:46:43 +000087// CHECK: define void @_Z1fM1SFvvE
Anders Carlsson0e650012009-05-17 17:41:20 +000088void f(void (S::*)()) {}
Anders Carlssoncf85b932009-09-16 23:53:19 +000089
Anders Carlsson9234b7f2009-09-17 03:46:43 +000090// CHECK: define void @_Z1fi
Anders Carlssoncf85b932009-09-16 23:53:19 +000091void f(const int) { }
92
Anders Carlsson03c9d532009-09-17 04:02:31 +000093template<typename T, typename U> void ft1(U u, T t) { }
94
95template<typename T> void ft2(T t, void (*)(T), void (*)(T)) { }
Anders Carlsson9234b7f2009-09-17 03:46:43 +000096
Anders Carlsson7624f212009-09-18 02:42:01 +000097template<typename T, typename U = S1<T> > struct S4 { };
98template<typename T> void ft3(S4<T>*) { }
99
Anders Carlsson7482e242009-09-18 04:29:09 +0000100namespace NS {
101 template<typename T> void ft1(T) { }
Anders Carlsson7624f212009-09-18 02:42:01 +0000102}
103
Anders Carlssond553f8c2009-09-21 01:21:10 +0000104void g1() {
Anders Carlsson03c9d532009-09-17 04:02:31 +0000105 // CHECK: @_Z3ft1IidEvT0_T_
106 ft1<int, double>(1, 0);
107
108 // CHECK: @_Z3ft2IcEvT_PFvS0_ES2_
109 ft2<char>(1, 0, 0);
Anders Carlsson7624f212009-09-18 02:42:01 +0000110
111 // CHECK: @_Z3ft3IiEvP2S4IT_2S1IS1_EE
112 ft3<int>(0);
Anders Carlsson7482e242009-09-18 04:29:09 +0000113
114 // CHECK: @_ZN2NS3ft1IiEEvT_
115 NS::ft1<int>(1);
Anders Carlssond58d6f72009-09-17 16:12:20 +0000116}
Anders Carlsson7482e242009-09-18 04:29:09 +0000117
Anders Carlssond553f8c2009-09-21 01:21:10 +0000118// Expressions
119template<int I> struct S5 { };
120
121template<int I> void ft4(S5<I>) { }
122void g2() {
123 // CHECK: @_Z3ft4ILi10EEv2S5IXT_EE
124 ft4(S5<10>());
125
126 // CHECK: @_Z3ft4ILi20EEv2S5IXT_EE
127 ft4(S5<20>());
128}
129
Anders Carlsson7482e242009-09-18 04:29:09 +0000130extern "C++" {
131 // CHECK: @_Z1hv
132 void h() { }
133}
134
Anders Carlsson5cc58c62009-09-22 17:23:30 +0000135// PR5019
136extern "C" { struct a { int b; }; }
137
138// CHECK: @_Z1fP1a
139int f(struct a *x) {
140 return x->b;
141}
Anders Carlssonadd28822009-09-22 20:33:31 +0000142
143// PR5017
144extern "C" {
145struct Debug {
Anders Carlsson8257d412009-12-22 06:36:32 +0000146 const Debug& operator<< (unsigned a) const { return *this; }
Anders Carlssonadd28822009-09-22 20:33:31 +0000147};
148Debug dbg;
149// CHECK: @_ZNK5DebuglsEj
150int main(void) { dbg << 32 ;}
151}
Anders Carlssonae352482009-09-26 02:26:02 +0000152
153template<typename T> struct S6 {
154 typedef int B;
155};
156
157template<typename T> void ft5(typename S6<T>::B) { }
158// CHECK: @_Z3ft5IiEvN2S6IT_E1BE
159template void ft5<int>(int);
Anders Carlsson1668f202009-09-26 20:13:56 +0000160
161template<typename T> class A {};
162
163namespace NS {
164template<typename T> bool operator==(const A<T>&, const A<T>&) { return true; }
165}
166
Anders Carlssonaeb85372009-09-26 22:18:22 +0000167// CHECK: @_ZN2NSeqIcEEbRK1AIT_ES5_
Anders Carlsson1668f202009-09-26 20:13:56 +0000168template bool NS::operator==(const ::A<char>&, const ::A<char>&);
169
170namespace std {
171template<typename T> bool operator==(const A<T>&, const A<T>&) { return true; }
172}
173
174// CHECK: @_ZSteqIcEbRK1AIT_ES4_
175template bool std::operator==(const ::A<char>&, const ::A<char>&);
176
Anders Carlsson0ccdf8d2009-09-27 00:38:53 +0000177struct S {
178 typedef int U;
179};
180
181template <typename T> typename T::U ft6(const T&) { return 0; }
182
183// CHECK: @_Z3ft6I1SENT_1UERKS1_
184template int ft6<S>(const S&);
Anders Carlsson50755b02009-09-27 20:11:34 +0000185
186template<typename> struct __is_scalar {
187 enum { __value = 1 };
188};
189
190template<bool, typename> struct __enable_if { };
191
192template<typename T> struct __enable_if<true, T> {
193 typedef T __type;
194};
195
196// PR5063
197template<typename T> typename __enable_if<__is_scalar<T>::__value, void>::__type ft7() { }
198
199// CHECK: @_Z3ft7IiEN11__enable_ifIXsr11__is_scalarIT_E7__valueEvE6__typeEv
200template void ft7<int>();
201// CHECK: @_Z3ft7IPvEN11__enable_ifIXsr11__is_scalarIT_E7__valueEvE6__typeEv
202template void ft7<void*>();
Anders Carlssonb217c1b2009-10-06 21:58:01 +0000203
204// PR5144
205extern "C" {
206void extern_f(void);
207};
208
209// CHECK: @extern_f
210void extern_f(void) { }
211
Anders Carlssonc4355b62009-10-07 01:45:02 +0000212struct S7 {
Anders Carlsson5c478cf2009-12-04 22:33:25 +0000213 S7();
Anders Carlssonc4355b62009-10-07 01:45:02 +0000214
Anders Carlsson5c478cf2009-12-04 22:33:25 +0000215 struct S { S(); };
Anders Carlssonc4355b62009-10-07 01:45:02 +0000216 struct {
217 S s;
218 } a;
219};
220
221// PR5139
John McCall8e51a1f2010-02-18 21:31:48 +0000222// CHECK: @_ZN2S7C1Ev
Anders Carlssonc4355b62009-10-07 01:45:02 +0000223// CHECK: @_ZN2S7C2Ev
224// CHECK: @"_ZN2S73$_0C1Ev"
225S7::S7() {}
226
Anders Carlssona7694082009-11-06 02:50:19 +0000227// PR5063
228template<typename T> typename __enable_if<(__is_scalar<T>::__value), void>::__type ft8() { }
229// CHECK: @_Z3ft8IiEN11__enable_ifIXsr11__is_scalarIT_E7__valueEvE6__typeEv
230template void ft8<int>();
231// CHECK: @_Z3ft8IPvEN11__enable_ifIXsr11__is_scalarIT_E7__valueEvE6__typeEv
232template void ft8<void*>();
Anders Carlssone170ba72009-12-14 01:45:37 +0000233
Anders Carlsson58040a52009-12-16 05:48:46 +0000234// PR5796
235namespace PR5796 {
236template<typename> struct __is_scalar {
237 enum { __value = 0 };
238};
239
240template<bool, typename> struct __enable_if {};
241template<typename T> struct __enable_if<true, T> { typedef T __type; };
242template<typename T>
243
244// CHECK: define linkonce_odr void @_ZN6PR57968__fill_aIiEENS_11__enable_ifIXntsrNS_11__is_scalarIT_EE7__valueEvE6__typeEv
245typename __enable_if<!__is_scalar<T>::__value, void>::__type __fill_a() { };
246
247void f() { __fill_a<int>(); }
248}
249
Anders Carlssone170ba72009-12-14 01:45:37 +0000250namespace Expressions {
251// Unary operators.
252
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000253// CHECK: define weak_odr void @_ZN11Expressions2f1ILi1EEEvPAplngT_Li2E_i
Anders Carlssone170ba72009-12-14 01:45:37 +0000254template <int i> void f1(int (*)[(-i) + 2]) { };
255template void f1<1>(int (*)[1]);
256
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000257// CHECK: define weak_odr void @_ZN11Expressions2f2ILi1EEEvPApsT__i
Anders Carlssone170ba72009-12-14 01:45:37 +0000258template <int i> void f2(int (*)[+i]) { };
259template void f2<1>(int (*)[1]);
260
261// Binary operators.
262
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000263// CHECK: define weak_odr void @_ZN11Expressions2f3ILi1EEEvPAplT_T__i
Anders Carlssone170ba72009-12-14 01:45:37 +0000264template <int i> void f3(int (*)[i+i]) { };
265template void f3<1>(int (*)[2]);
266
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000267// CHECK: define weak_odr void @_ZN11Expressions2f4ILi1EEEvPAplplLi2ET_T__i
Anders Carlssone170ba72009-12-14 01:45:37 +0000268template <int i> void f4(int (*)[2 + i+i]) { };
269template void f4<1>(int (*)[4]);
270
271// The ternary operator.
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000272// CHECK: define weak_odr void @_ZN11Expressions2f4ILb1EEEvPAquT_Li1ELi2E_i
Anders Carlssone170ba72009-12-14 01:45:37 +0000273template <bool b> void f4(int (*)[b ? 1 : 2]) { };
274template void f4<true>(int (*)[1]);
Anders Carlssone170ba72009-12-14 01:45:37 +0000275}
Anders Carlsson8257d412009-12-22 06:36:32 +0000276
277struct Ops {
278 Ops& operator+(const Ops&);
279 Ops& operator-(const Ops&);
280 Ops& operator&(const Ops&);
281 Ops& operator*(const Ops&);
282
283 void *v;
284};
285
286// CHECK: define %struct.Ops* @_ZN3OpsplERKS_
287Ops& Ops::operator+(const Ops&) { return *this; }
288// CHECK: define %struct.Ops* @_ZN3OpsmiERKS_
289Ops& Ops::operator-(const Ops&) { return *this; }
290// CHECK: define %struct.Ops* @_ZN3OpsanERKS_
291Ops& Ops::operator&(const Ops&) { return *this; }
292// CHECK: define %struct.Ops* @_ZN3OpsmlERKS_
293Ops& Ops::operator*(const Ops&) { return *this; }
294
Anders Carlsson9e85c742009-12-23 19:30:55 +0000295// PR5861
296namespace PR5861 {
297template<bool> class P;
298template<> class P<true> {};
299
300template<template <bool> class, bool>
301struct Policy { };
302
303template<typename T, typename = Policy<P, true> > class Alloc
304{
305 T *allocate(int, const void*) { return 0; }
306};
307
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000308// CHECK: define weak_odr i8* @_ZN6PR58615AllocIcNS_6PolicyINS_1PELb1EEEE8allocateEiPKv
Anders Carlsson9e85c742009-12-23 19:30:55 +0000309template class Alloc<char>;
310}
Anders Carlssonf28c6872009-12-23 22:31:44 +0000311
312// CHECK: define void @_Z1fU13block_pointerFiiiE
Nuno Lopesa9efbf02010-01-07 09:36:51 +0000313void f(int (^)(int, int)) { }
314
Sean Hunt31455252010-01-24 03:04:27 +0000315void pr5966_foo() {
316 extern int pr5966_i;
317 pr5966_i = 0;
318}
319
320static int pr5966_i;
321
322void pr5966_bar() {
323 pr5966_i = 0;
324}
John McCall1dd73832010-02-04 01:42:13 +0000325
326namespace test0 {
327 int ovl(int x);
328 char ovl(double x);
329
330 template <class T> void f(T, char (&buffer)[sizeof(ovl(T()))]) {}
331
332 void test0() {
333 char buffer[1];
334 f(0.0, buffer);
335 }
336 // CHECK: define void @_ZN5test05test0Ev()
337 // CHECK: define linkonce_odr void @_ZN5test01fIdEEvT_RAszcl3ovlcvS1__EE_c(
338
339 void test1() {
340 char buffer[sizeof(int)];
341 f(1, buffer);
342 }
343 // CHECK: define void @_ZN5test05test1Ev()
344 // CHECK: define linkonce_odr void @_ZN5test01fIiEEvT_RAszcl3ovlcvS1__EE_c(
345
346 template <class T> void g(char (&buffer)[sizeof(T() + 5.0f)]) {}
347 void test2() {
348 char buffer[sizeof(float)];
349 g<float>(buffer);
350 }
351 // CHECK: define linkonce_odr void @_ZN5test01gIfEEvRAszplcvT__ELf40A00000E_c(
352
353 template <class T> void h(char (&buffer)[sizeof(T() + 5.0)]) {}
354 void test3() {
355 char buffer[sizeof(double)];
356 h<float>(buffer);
357 }
358 // CHECK: define linkonce_odr void @_ZN5test01hIfEEvRAszplcvT__ELd4014000000000000E_c(
John McCall2f27bf82010-02-04 02:56:29 +0000359
360 template <class T> void j(char (&buffer)[sizeof(T().buffer)]) {}
361 struct A { double buffer[128]; };
362 void test4() {
363 char buffer[1024];
364 j<A>(buffer);
365 }
John McCalle1e342f2010-03-01 19:12:25 +0000366 // CHECK: define linkonce_odr void @_ZN5test01jINS_1AEEEvRAszdtcvT__E6buffer_c(
John McCall1dd73832010-02-04 01:42:13 +0000367}
Douglas Gregor32fb4e12010-02-05 20:45:00 +0000368
369namespace test1 {
370 template<typename T> struct X { };
371 template<template<class> class Y, typename T> void f(Y<T>) { }
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000372 // CHECK: define weak_odr void @_ZN5test11fINS_1XEiEEvT_IT0_E
Douglas Gregor32fb4e12010-02-05 20:45:00 +0000373 template void f(X<int>);
374}
Anders Carlssonaec25232010-02-06 04:52:27 +0000375
376// CHECK: define internal void @_Z27functionWithInternalLinkagev()
377static void functionWithInternalLinkage() { }
378void g() { functionWithInternalLinkage(); }
John McCallad5e7382010-03-01 23:49:17 +0000379
380namespace test2 {
381 template <class T> decltype(((T*) 0)->member) read_member(T& obj) {
382 return obj.member;
383 }
384
385 struct A { int member; } obj;
386 int test() {
387 return read_member(obj);
388 }
389
390 // CHECK: define linkonce_odr i32 @_ZN5test211read_memberINS_1AEEEDtptcvPT_Li0E6memberERS2_(
391}
392
393namespace test3 {
394 struct AmbiguousBase { int ab; };
395 struct Path1 : AmbiguousBase { float p; };
396 struct Path2 : AmbiguousBase { double p; };
397 struct Derived : Path1, Path2 { };
398
399 //template <class T> decltype(((T*) 0)->Path1::ab) get_ab_1(T &ref) { return ref.Path1::ab; }
400 //template <class T> decltype(((T*) 0)->Path2::ab) get_ab_2(T &ref) { return ref.Path2::ab; }
401
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000402 // define weak_odr float @_ZN5test37get_p_1INS_7DerivedEEEDtptcvPT_Li0E5Path11pERS2_(
John McCallad5e7382010-03-01 23:49:17 +0000403 template <class T> decltype(((T*) 0)->Path1::p) get_p_1(T &ref) { return ref.Path1::p; }
404
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000405 // define weak_odr double @_ZN5test37get_p_1INS_7DerivedEEEDtptcvPT_Li0E5Path21pERS2_(
John McCallad5e7382010-03-01 23:49:17 +0000406 template <class T> decltype(((T*) 0)->Path2::p) get_p_2(T &ref) { return ref.Path2::p; }
407
408 Derived obj;
409 void test() {
410 // FIXME: uncomment these when we support diamonds competently
411 //get_ab_1(obj);
412 //get_ab_2(obj);
413 get_p_1(obj);
414 get_p_2(obj);
415 }
416}
Rafael Espindolad9800722010-03-11 14:07:00 +0000417
418// CHECK: define void @_ZN5test41gEPNS_3zedIXadL_ZNS_3foo3barEEEEE
419namespace test4 {
420 struct foo { int bar; };
421 template <int (foo::*)>
422 struct zed {};
423 void g(zed<&foo::bar>*)
424 {}
425}
426// CHECK: define void @_ZN5test51gEPNS_3zedIXadL_ZNS_3foo3barEEEEE
427namespace test5 {
428 struct foo { static int bar; };
429 template <int *>
430 struct zed {};
431 void g(zed<&foo::bar>*)
432 {}
433}
434// CHECK: define void @_ZN5test61gEPNS_3zedIXadL_ZNS_3foo3barEvEEEE
435namespace test6 {
436 struct foo { int bar(); };
437 template <int (foo::*)()>
438 struct zed {};
439 void g(zed<&foo::bar>*)
440 {}
441}
442// CHECK: define void @_ZN5test71gEPNS_3zedIXadL_ZNS_3foo3barEvEEEE
443namespace test7 {
444 struct foo { static int bar(); };
445 template <int (*f)()>
446 struct zed {};
447 void g(zed<&foo::bar>*)
448 {}
449}
Douglas Gregor8f51a4f2010-03-13 18:23:07 +0000450// CHECK: define weak_odr void @_ZN5test81AILZNS_1B5valueEEE3incEv
Rafael Espindolad9800722010-03-11 14:07:00 +0000451namespace test8 {
452 template <int &counter> class A { void inc() { counter++; } };
John McCall7002f4c2010-04-09 19:03:51 +0000453 class B { public: static int value; };
Rafael Espindolad9800722010-03-11 14:07:00 +0000454 template class A<B::value>;
455}
Rafael Espindola9b35b252010-03-17 04:28:11 +0000456// CHECK: declare void @_ZN5test91fIiNS_3barEEEvRKNT0_3baz1XE
457namespace test9 {
458 template<class T>
459 struct foo {
460 typedef T X;
461 };
462 struct bar {
463 typedef foo<int> baz;
464 };
465 template <class zaz, class zed>
466 void f(const typename zed::baz::X&);
467 void g() {
468 f<int, bar>( 0);
469 }
470}
John McCallde810632010-04-09 21:48:08 +0000471
472// <rdar://problem/7825453>
473namespace test10 {
474 template <char P1> struct S {};
475 template <char P2> void f(struct S<false ? 'a' : P2> ) {}
476
477 // CHECK: define weak_odr void @_ZN6test101fILc3EEEvNS_1SIXquLb0ELc97ET_EEE(
478 template void f<(char) 3>(struct S<3>);
479}
Anders Carlsson93296682010-06-02 04:40:13 +0000480
481namespace test11 {
482 // CHECK: @_ZN6test111fEz
483 void f(...) { }
484
485 struct A {
486 void f(...);
487 };
488
489 // CHECK: @_ZN6test111A1fEz
490 void A::f(...) { }
491}
Anders Carlssondfc0d1f2010-06-02 05:07:26 +0000492
493namespace test12 {
494
495 // CHECK: _ZN6test121fENS_1AILt33000EEE
496 template <unsigned short> struct A { };
497 void f(A<33000>) { }
John McCallb6f532e2010-07-14 06:43:17 +0000498}
499
500// PR7446
501namespace test13 {
502 template <template <class> class T> class A {};
503 template <class U> class B {};
504
505 template <template<class> class T> void foo(const A<T> &a) {}
506
507 // CHECK: define weak_odr void @_ZN6test133fooINS_1BEEEvRKNS_1AIT_EE(
508 template void foo(const A<B> &a);
509}
Eli Friedmanc00cb642010-07-18 20:49:59 +0000510
511namespace test14 {
512 extern "C" {
513 struct S {
514 static int a(), x;
515 };
516 // CHECK: define i32 @_ZN6test141S1aEv
517 // CHECK: load i32* @_ZN6test141S1xE
518 int S::a() { return S::x; }
519 }
520}
John McCall3dc7e7b2010-07-24 01:17:35 +0000521
522// rdar://problem/8204122
523namespace test15 {
524 enum E { e = 3 };
525 template <int I> struct S {};
526
527 template <int I> void f(S<I + e>) {}
528
529 // CHECK: define weak_odr void @_ZN6test151fILi7EEEvNS_1SIXplT_LNS_1EE3EEEE(
530 template void f<7>(S<7 + e>);
531}
John McCall7121c8f2010-08-05 22:02:13 +0000532
533// rdar://problem/8125400. Don't crash.
534namespace test16 {
535 static union {};
536 static union { union {}; };
537 static union { struct {}; };
538 static union { union { union {}; }; };
539 static union { union { struct {}; }; };
540 static union { struct { union {}; }; };
541 static union { struct { struct {}; }; };
542}
John McCall6f615bc2010-08-17 21:51:21 +0000543
544// rdar://problem/8302148
545namespace test17 {
546 template <int N> struct A {};
547
548 struct B {
549 static int foo(void);
550 };
551
552 template <class T> A<sizeof(T::foo())> func(void);
553
John McCall6dbce192010-08-20 00:17:19 +0000554 // CHECK: define void @_ZN6test174testEv()
John McCall6f615bc2010-08-17 21:51:21 +0000555 // CHECK: call {{.*}} @_ZN6test174funcINS_1BEEENS_1AIXszclsrT_3fooEEEEv()
John McCall6dbce192010-08-20 00:17:19 +0000556 void test() {
557 func<B>();
John McCall6f615bc2010-08-17 21:51:21 +0000558 }
559}
John McCall5e1e89b2010-08-18 19:18:59 +0000560
561// PR7891
562namespace test18 {
563 struct A {
564 int operator+();
565 int operator-();
566 int operator*();
567 int operator&();
568 };
569 template <int (A::*)()> struct S {};
570
571 template <typename T> void f(S<&T::operator+>) {}
572 template void f<A>(S<&A::operator+>);
573
574 template <typename T> void f(S<&T::operator- >) {}
575 template void f<A>(S<&A::operator- >);
576
577 template <typename T> void f(S<&T::operator*>) {}
578 template void f<A>(S<&A::operator*>);
579
580 template <typename T> void f(S<&T::operator&>) {}
581 template void f<A>(S<&A::operator&>);
582
583 // CHECK: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_plEEE
584 // CHECK: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_miEEE
585 // CHECK: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_mlEEE
586 // CHECK: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_anEEE
587}
John McCall6dbce192010-08-20 00:17:19 +0000588
589// rdar://problem/8332117
590namespace test19 {
591 struct A {
592 template <typename T> int f();
593 int operator+();
594 operator int();
595 template <typename T> int operator-();
596 };
597
598 template <int (A::*)()> struct S {};
599
600 template <typename T> void g (S<&T::template f<int> >) {}
601 template <typename T> void g (S<&T::operator+ >) {}
602 template <typename T> void g (S<&T::operator int>) {}
603 template <typename T> void g (S<&T::template operator- <double> >) {}
604
605 // CHECK: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_1fIiEEEE(
606 template void g<A>(S<&A::f<int> >);
607 // CHECK: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_plEEE(
608 template void g<A>(S<&A::operator+>);
609 // CHECK: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_cviEEE(
610 template void g<A>(S<&A::operator int>);
611 // CHECK: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_miIdEEEE(
612 template void g<A>(S<&A::operator-<double> >);
613}
614
615namespace test20 {
616 template <class T> T *f(const T&);
617 template <class T> T *f(T*);
618
619 // CHECK: define weak_odr void @_ZN6test205test0IiEEvDTcl1fIPT_ELi0EEE(
620 template <class T> void test0(decltype(f<T*>(0))) {}
621 template void test0<int>(decltype(f<int*>(0)));
622
623 // CHECK: define weak_odr void @_ZN6test205test1IiEEvDTcl1fIEcvT__EEE(
624 template <class T> void test1(decltype(f<>(T()))) {}
625 template void test1<int>(decltype(f<>(int())));
626}