Richard Smith | 47d2145 | 2011-12-27 12:18:28 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -emit-llvm -std=c++11 -o - | FileCheck %s |
| 2 | #include <typeinfo> |
| 3 | |
| 4 | namespace Test1 { |
| 5 | |
| 6 | struct Item { |
| 7 | const std::type_info &ti; |
| 8 | const char *name; |
| 9 | void *(*make)(); |
| 10 | }; |
| 11 | |
| 12 | template<typename T> void *make_impl() { return new T; } |
| 13 | template<typename T> constexpr Item item(const char *name) { |
| 14 | return { typeid(T), name, make_impl<T> }; |
| 15 | } |
| 16 | |
| 17 | struct A { virtual ~A(); }; |
| 18 | struct B : virtual A {}; |
| 19 | struct C { int n; }; |
| 20 | |
Richard Smith | 9be36ab | 2012-10-17 23:52:07 +0000 | [diff] [blame] | 21 | // CHECK: @_ZN5Test1L5itemsE = internal constant [4 x {{.*}}] [{{.*}} @_ZTIN5Test11AE {{.*}}, {{.*}}, {{.*}} @_ZN5Test19make_implINS_1AEEEPvv }, {{.*}} @_ZTIN5Test11BE {{.*}} @_ZN5Test19make_implINS_1BEEEPvv {{.*}} @_ZTIN5Test11CE {{.*}} @_ZN5Test19make_implINS_1CEEEPvv {{.*}} @_ZTIi {{.*}} @_ZN5Test19make_implIiEEPvv }] |
Richard Smith | 47d2145 | 2011-12-27 12:18:28 +0000 | [diff] [blame] | 22 | constexpr Item items[] = { |
| 23 | item<A>("A"), item<B>("B"), item<C>("C"), item<int>("int") |
| 24 | }; |
| 25 | |
Richard Smith | 9be36ab | 2012-10-17 23:52:07 +0000 | [diff] [blame] | 26 | // CHECK: @_ZN5Test11xE = constant %"class.std::type_info"* bitcast ({{.*}}* @_ZTIN5Test11AE to %"class.std::type_info"*), align 8 |
Richard Smith | 47d2145 | 2011-12-27 12:18:28 +0000 | [diff] [blame] | 27 | constexpr auto &x = items[0].ti; |
| 28 | |
Richard Smith | 9be36ab | 2012-10-17 23:52:07 +0000 | [diff] [blame] | 29 | // CHECK: @_ZN5Test11yE = constant %"class.std::type_info"* bitcast ({{.*}}* @_ZTIN5Test11BE to %"class.std::type_info"*), align 8 |
| 30 | constexpr auto &y = typeid(B{}); |
| 31 | |
Richard Smith | 47d2145 | 2011-12-27 12:18:28 +0000 | [diff] [blame] | 32 | } |