402 lines · cpp
1// RUN: %clang_cc1 -Wno-error=return-type -std=c++11 -fclang-abi-compat=latest -emit-llvm %s -o - -triple=x86_64-apple-darwin9 | FileCheck %s2 3namespace std {4 typedef decltype(sizeof(int)) size_t;5 6 // libc++'s implementation7 template <class _E>8 class initializer_list9 {10 const _E* __begin_;11 size_t __size_;12 13 initializer_list(const _E* __b, size_t __s)14 : __begin_(__b),15 __size_(__s)16 {}17 18 public:19 typedef _E value_type;20 typedef const _E& reference;21 typedef const _E& const_reference;22 typedef size_t size_type;23 24 typedef const _E* iterator;25 typedef const _E* const_iterator;26 27 initializer_list() : __begin_(nullptr), __size_(0) {}28 29 size_t size() const {return __size_;}30 const _E* begin() const {return __begin_;}31 const _E* end() const {return __begin_ + __size_;}32 };33}34 35template < bool condition, typename T = void >36struct enable_if { typedef T type; };37 38template< typename T >39struct enable_if< false, T > {};40 41// PR587642namespace Casts {43 template< unsigned O >44 void implicit(typename enable_if< O <= 4 >::type* = 0) {45 }46 47 template< unsigned O >48 void cstyle(typename enable_if< O <= (unsigned)4 >::type* = 0) {49 }50 51 template< unsigned O >52 void functional(typename enable_if< O <= unsigned(4) >::type* = 0) {53 }54 55 template< unsigned O >56 void static_(typename enable_if< O <= static_cast<unsigned>(4) >::type* = 0) {57 }58 59 template <unsigned O, typename T>60 void reinterpret_(typename enable_if<O <= sizeof(reinterpret_cast<T *>(0))>::type * = 0) {61 }62 63 template <typename T, T *p>64 void const_(typename enable_if<0 <= sizeof(const_cast<T *>(p))>::type * = 0) {65 }66 67 template <typename T, T *p>68 void dynamic_(typename enable_if<0 <= sizeof(dynamic_cast<T *>(p))>::type * = 0) {69 }70 71 template< typename T >72 void auto_(decltype(new auto(T()))) {73 }74 75 template< typename T >76 void scalar_(decltype(T(), int())) {77 }78 79 template <unsigned N> struct T {};80 81 template <int N> T<N> f() { return T<N>(); }82 83 extern int i;84 extern struct S {} s;85 86 // CHECK-LABEL: define weak_odr void @_ZN5Casts8implicitILj4EEEvPN9enable_ifIXleT_Li4EEvE4typeE87 template void implicit<4>(void*);88 // CHECK-LABEL: define weak_odr void @_ZN5Casts6cstyleILj4EEEvPN9enable_ifIXleT_cvjLi4EEvE4typeE89 template void cstyle<4>(void*);90 // CHECK-LABEL: define weak_odr void @_ZN5Casts10functionalILj4EEEvPN9enable_ifIXleT_cvjLi4EEvE4typeE91 template void functional<4>(void*);92 // CHECK-LABEL: define weak_odr void @_ZN5Casts7static_ILj4EEEvPN9enable_ifIXleT_scjLi4EEvE4typeE93 template void static_<4>(void*);94 // CHECK-LABEL: define weak_odr void @_ZN5Casts12reinterpret_ILj4EiEEvPN9enable_ifIXleT_szrcPT0_Li0EEvE4typeE95 template void reinterpret_<4, int>(void*);96 // CHECK-LABEL: define weak_odr void @_ZN5Casts6const_IiTnPT_XadL_ZNS_1iEEEEEvPN9enable_ifIXleLi0EszccS2_T0_EvE4typeE97 template void const_<int, &i>(void*);98 // CHECK-LABEL: define weak_odr void @_ZN5Casts8dynamic_INS_1SETnPT_XadL_ZNS_1sEEEEEvPN9enable_ifIXleLi0EszdcS3_T0_EvE4typeE99 template void dynamic_<struct S, &s>(void*);100 101 // CHECK-LABEL: define weak_odr void @_ZN5Casts1fILi6EEENS_1TIXT_EEEv102 template T<6> f<6>();103 104 // CHECK-LABEL: define weak_odr void @_ZN5Casts5auto_IiEEvDTnw_DapicvT__EEE(105 template void auto_<int>(int*);106 107 // CHECK-LABEL: define weak_odr void @_ZN5Casts7scalar_IiEEvDTcmcvT__Ecvi_EE(108 template void scalar_<int>(int);109}110 111namespace test1 {112 short foo(short);113 int foo(int);114 115 // CHECK-LABEL: define linkonce_odr noundef signext i16 @_ZN5test11aIsEEDTcl3foocvT__EEES1_(116 template <class T> auto a(T t) -> decltype(foo(T())) { return foo(t); }117 118 // CHECK-LABEL: define linkonce_odr noundef signext i16 @_ZN5test11bIsEEDTcp3foocvT__EEES1_(119 template <class T> auto b(T t) -> decltype((foo)(T())) { return (foo)(t); }120 121 void test(short s) {122 a(s);123 b(s);124 }125}126 127namespace test2 {128 template <class T> void a(T x, decltype(x()) y) {}129 template <class T> auto b(T x) -> decltype(x()) { return x(); }130 template <class T> void c(T x, void (*p)(decltype(x()))) {}131 template <class T> void d(T x, auto (*p)() -> decltype(x())) {}132 template <class T> void e(auto (*p)(T y) -> decltype(y())) {}133 template <class T> void f(void (*p)(T x, decltype(x()) y)) {}134 template <class T> void g(T x, decltype(x()) y) {135 static decltype(x()) variable;136 variable = 0;137 }138 template <class T> void h(T x, decltype((decltype(x())(*)()) 0) y) {}139 template <class T> void i(decltype((auto (*)(T x) -> decltype(x())) 0) y) {}140 141 float foo();142 void bar(float);143 float baz(float(*)());144 void fred(float(*)(), float);145 146 // CHECK-LABEL: define{{.*}} void @_ZN5test211instantiateEv147 void instantiate() {148 // CHECK: call void @_ZN5test21aIPFfvEEEvT_DTclfL0p_EE(149 a(foo, 0.0f);150 // CHECK: call noundef float @_ZN5test21bIPFfvEEEDTclfp_EET_(151 (void) b(foo);152 // CHECK: call void @_ZN5test21cIPFfvEEEvT_PFvDTclfL1p_EEE(153 c(foo, bar);154 // CHECK: call void @_ZN5test21dIPFfvEEEvT_PFDTclfL0p_EEvE(155 d(foo, foo);156 // CHECK: call void @_ZN5test21eIPFfvEEEvPFDTclfp_EET_E(157 e(baz);158 // CHECK: call void @_ZN5test21fIPFfvEEEvPFvT_DTclfL0p_EEE(159 f(fred);160 // CHECK: call void @_ZN5test21gIPFfvEEEvT_DTclfL0p_EE(161 g(foo, 0.0f);162 // CHECK: call void @_ZN5test21hIPFfvEEEvT_DTcvPFDTclfL0p_EEvELi0EE(163 h(foo, foo);164 // CHECK: call void @_ZN5test21iIPFfvEEEvDTcvPFDTclfp_EET_ELi0EE(165 i<float(*)()>(baz);166 }167 168 // CHECK: store float {{.*}}, ptr @_ZZN5test21gIPFfvEEEvT_DTclfL0p_EEE8variable,169}170 171namespace test3 {172 template <class T, class U> void a(T x, U y, decltype(x.*y) z) {} 173 174 struct X {175 int *member;176 };177 178 // CHECK-LABEL: define{{.*}} void @_ZN5test311instantiateEv179 void instantiate() {180 X x;181 int *ip;182 // CHECK: call void @_ZN5test31aINS_1XEMS1_PiEEvT_T0_DTdsfL0p_fL0p0_E183 a(x, &X::member, ip);184 }185}186 187namespace test4 {188 struct X {189 X(int);190 };191 192 template <typename T>193 void tf1(decltype(new T(1)) p)194 {}195 196 template <typename T>197 void tf2(decltype(new T({1})) p)198 {}199 200 template <typename T>201 void tf3(decltype(new T{1}) p)202 {}203 204 // CHECK: void @_ZN5test43tf1INS_1XEEEvDTnw_T_piLi1EEE205 template void tf1<X>(X*);206 207 // CHECK: void @_ZN5test43tf2INS_1XEEEvDTnw_T_piilLi1EEEE208 template void tf2<X>(X*);209 210 // CHECK: void @_ZN5test43tf3INS_1XEEEvDTnw_T_ilLi1EEE211 template void tf3<X>(X*);212 213}214 215namespace test5 {216 template <typename T> void a(decltype(noexcept(T()))) {}217 template void a<int>(decltype(noexcept(int())));218 // CHECK: void @_ZN5test51aIiEEvDTnxcvT__EE(219}220 221namespace test6 {222 struct X {223 int i;224 };225 226 struct Y {227 union {228 int i;229 };230 };231 232 struct Z {233 union {234 X ua;235 Y ub;236 };237 238 struct {239 X s;240 };241 242 union {243 union {244 struct {245 struct {246 X uuss;247 };248 };249 };250 };251 };252 253 Z z, *zp;254 255 template<typename T>256 void f1(decltype(T(z.ua.i))) {}257 template void f1<int>(int);258 // CHECK-LABEL: define weak_odr void @_ZN5test62f1IiEEvDTcvT_dtdtL_ZNS_1zEE2ua1iE259 260 template<typename T>261 void f2(decltype(T(z.ub.i))) {}262 template void f2<int>(int);263 // CHECK-LABEL: define weak_odr void @_ZN5test62f2IiEEvDTcvT_dtdtL_ZNS_1zEE2ub1iE264 265 template<typename T>266 void f3(decltype(T(z.s.i))) {}267 template void f3<int>(int);268 // CHECK-LABEL: define weak_odr void @_ZN5test62f3IiEEvDTcvT_dtdtL_ZNS_1zEE1s1iE269 270 template<typename T>271 void f4(decltype(T(z.uuss.i))) {}272 template void f4<int>(int);273 // CHECK-LABEL: define weak_odr void @_ZN5test62f4IiEEvDTcvT_dtdtL_ZNS_1zEE4uuss1iE274 275 template<typename T>276 void f5(decltype(T(zp->ua.i))) {}277 template void f5<int>(int);278 // CHECK-LABEL: define weak_odr void @_ZN5test62f5IiEEvDTcvT_dtptL_ZNS_2zpEE2ua1iE279 280 template<typename T>281 void f6(decltype(T(zp->ub.i))) {}282 template void f6<int>(int);283 // CHECK-LABEL: define weak_odr void @_ZN5test62f6IiEEvDTcvT_dtptL_ZNS_2zpEE2ub1iE284 285 template<typename T>286 void f7(decltype(T(zp->s.i))) {}287 template void f7<int>(int);288 // CHECK-LABEL: define weak_odr void @_ZN5test62f7IiEEvDTcvT_dtptL_ZNS_2zpEE1s1iE289 290 template<typename T>291 void f8(decltype(T(zp->uuss.i))) {}292 template void f8<int>(int);293 // CHECK-LABEL: define weak_odr void @_ZN5test62f8IiEEvDTcvT_dtptL_ZNS_2zpEE4uuss1iE294}295 296namespace test7 {297 struct A { int x[3]; };298 struct B { B(int, int); } extern b;299 struct C { C(B); };300 struct D { D(C); };301 struct E { E(std::initializer_list<int>); };302 struct F { F(E); };303 304 template<class T> decltype(A{1,2},T()) fA1(T t) {}305 template<class T> decltype(A({1,2}),T()) fA2(T t) {}306 template<class T> decltype(B{1,2},T()) fB1(T t) {}307 template<class T> decltype(B({1,2}),T()) fB2(T t) {}308 template<class T> decltype(C{{1,2}},T()) fC1(T t) {}309 template<class T> decltype(C({1,2}),T()) fC2(T t) {}310 template<class T> decltype(D{b},T()) fD1(T t) {}311 template<class T> decltype(D(b),T()) fD2(T t) {}312 template<class T> decltype(E{1,2},T()) fE1(T t) {}313 template<class T> decltype(E({1,2}),T()) fE2(T t) {}314 template<class T> decltype(F{{1,2}},T()) fF1(T t) {}315 template<class T> decltype(F({1,2}),T()) fF2(T t) {}316 317 template<class T> decltype(T{}) fT1(T t) {}318 template<class T> decltype(T()) fT2(T t) {}319 template<class T> decltype(T{1}) fT3(T t) {}320 template<class T> decltype(T(1)) fT4(T t) {}321 template<class T> decltype(T{1,2}) fT5(T t) {}322 template<class T> decltype(T(1,2)) fT6(T t) {}323 template<class T> decltype(T{{}}) fT7(T t) {}324 template<class T> decltype(T({})) fT8(T t) {}325 template<class T> decltype(T{{1}}) fT9(T t) {}326 template<class T> decltype(T({1})) fTA(T t) {}327 template<class T> decltype(T{{1,2}}) fTB(T t) {}328 template<class T> decltype(T({1,2})) fTC(T t) {}329 330 void main() {331 fA1(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fA1IiEEDTcmtlNS_1AELi1ELi2EEcvT__EES2_332 fA2(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fA2IiEEDTcmcvNS_1AEilLi1ELi2EEcvT__EES2_333 fB1(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fB1IiEEDTcmtlNS_1BELi1ELi2EEcvT__EES2_334 fB2(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fB2IiEEDTcmcvNS_1BEilLi1ELi2EEcvT__EES2_335 fC1(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fC1IiEEDTcmtlNS_1CEilLi1ELi2EEEcvT__EES2_336 fC2(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fC2IiEEDTcmcvNS_1CEilLi1ELi2EEcvT__EES2_337 fD1(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fD1IiEEDTcmtlNS_1DEL_ZNS_1bEEEcvT__EES2_338 fD2(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fD2IiEEDTcmcvNS_1DEL_ZNS_1bEEcvT__EES2_339 fE1(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fE1IiEEDTcmtlNS_1EELi1ELi2EEcvT__EES2_340 fE2(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fE2IiEEDTcmcvNS_1EEilLi1ELi2EEcvT__EES2_341 fF1(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fF1IiEEDTcmtlNS_1FEilLi1ELi2EEEcvT__EES2_342 fF2(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fF2IiEEDTcmcvNS_1FEilLi1ELi2EEcvT__EES2_343 fT1(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fT1IiEEDTtlT_EES1_(344 fT2(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fT2IiEEDTcvT__EES1_(345 fT3(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fT3IiEEDTtlT_Li1EEES1_(346 fT4(1); // CHECK-LABEL: define {{.*}} @_ZN5test73fT4IiEEDTcvT_Li1EES1_(347 fT5(b); // CHECK-LABEL: define {{.*}} @_ZN5test73fT5INS_1BEEEDTtlT_Li1ELi2EEES2_(348 fT6(b); // CHECK-LABEL: define {{.*}} @_ZN5test73fT6INS_1BEEEDTcvT__Li1ELi2EEES2_(349 fT7(A{}); // CHECK-LABEL: define {{.*}} @_ZN5test73fT7INS_1AEEEDTtlT_ilEEES2_(350 fT8(A{}); // CHECK-LABEL: define {{.*}} @_ZN5test73fT8INS_1AEEEDTcvT_ilEES2_(351 fT9(A{}); // CHECK-LABEL: define {{.*}} @_ZN5test73fT9INS_1AEEEDTtlT_ilLi1EEEES2_(352 fTA(A{}); // CHECK-LABEL: define {{.*}} @_ZN5test73fTAINS_1AEEEDTcvT_ilLi1EEES2_(353 fTB<C>(b); // CHECK-LABEL: define {{.*}} @_ZN5test73fTBINS_1CEEEDTtlT_ilLi1ELi2EEEES2_(354 fTC<C>(b); // CHECK-LABEL: define {{.*}} @_ZN5test73fTCINS_1CEEEDTcvT_ilLi1ELi2EEES2_(355 }356}357 358 359namespace test8 {360 template <class>361 struct X {362 template<typename T> T foo() const { return 0; }363 template <class T> auto bar() const -> decltype(foo<T>()) { return 0; }364 };365 366 // CHECK-LABEL: define weak_odr noundef i32 @_ZNK5test81XIiE3barIiEEDTcl3fooIT_EEEv367 template int X<int>::bar<int>() const;368}369 370namespace designated_init {371 struct A { struct B { int b[5][5]; } a; };372 // CHECK-LABEL: define {{.*}} @_ZN15designated_init1fINS_1AEEEvDTtlT_di1adi1bdxLi3EdXLi1ELi4ELi9EEE(373 template<typename T> void f(decltype(T{.a.b[3][1 ... 4] = 9}) x) {}374 void use_f(A a) { f<A>(a); }375}376 377namespace null {378 template <decltype(nullptr) P>379 void cpp_nullptr(typename enable_if<P == nullptr>::type* = 0) {380 }381 382 template <void *P>383 void gnu_null(typename enable_if<P == __null>::type* = 0) {384 }385 386 // CHECK-LABEL: define {{.*}} @_ZN4null11cpp_nullptrILDn0EEEvPN9enable_ifIXeqT_LDnEEvE4typeE387 template void cpp_nullptr<nullptr>(void *);388 389 // CHECK-LABEL: define {{.*}} @_ZN4null8gnu_nullILPv0EEEvPN9enable_ifIXeqT_Ll0EEvE4typeE390 template void gnu_null<nullptr>(void *);391}392 393namespace type_trait {394 template<typename T> void f(decltype(__is_trivially_copyable(T))) {}395 // CHECK-LABEL: define {{.*}} @_ZN10type_trait1fIiEEvDTu23__is_trivially_copyableT_EE396 template void f<int>(bool);397 398 template<typename T> void g(decltype(__is_trivially_copyable(int) + T())) {}399 // CHECK-LABEL: define {{.*}} @_ZN10type_trait1gIiEEvDTplu23__is_trivially_copyableiEcvT__EE400 template void g<int>(int);401}402