147d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith// RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -emit-llvm -std=c++11 -o - | FileCheck %s
247d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith#include <typeinfo>
347d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith
447d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithnamespace Test1 {
547d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith
647d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithstruct Item {
747d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith  const std::type_info &ti;
847d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith  const char *name;
947d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith  void *(*make)();
1047d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith};
1147d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith
1247d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithtemplate<typename T> void *make_impl() { return new T; }
1347d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithtemplate<typename T> constexpr Item item(const char *name) {
1447d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith  return { typeid(T), name, make_impl<T> };
1547d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith}
1647d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith
1747d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithstruct A { virtual ~A(); };
1847d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithstruct B : virtual A {};
1947d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithstruct C { int n; };
2047d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith
219be36ab27b874b404099650e0c29bc92f3c7662dRichard Smith// CHECK: @_ZN5Test1L5itemsE = internal constant [4 x {{.*}}] [{{.*}} @_ZTIN5Test11AE {{.*}}, {{.*}}, {{.*}} @_ZN5Test19make_implINS_1AEEEPvv }, {{.*}} @_ZTIN5Test11BE {{.*}} @_ZN5Test19make_implINS_1BEEEPvv {{.*}} @_ZTIN5Test11CE {{.*}} @_ZN5Test19make_implINS_1CEEEPvv {{.*}} @_ZTIi {{.*}} @_ZN5Test19make_implIiEEPvv }]
2247d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithconstexpr Item items[] = {
2347d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith  item<A>("A"), item<B>("B"), item<C>("C"), item<int>("int")
2447d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith};
2547d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith
269be36ab27b874b404099650e0c29bc92f3c7662dRichard Smith// CHECK: @_ZN5Test11xE = constant %"class.std::type_info"* bitcast ({{.*}}* @_ZTIN5Test11AE to %"class.std::type_info"*), align 8
2747d2145675099893d702be4bc06bd9f26d8ddd13Richard Smithconstexpr auto &x = items[0].ti;
2847d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith
299be36ab27b874b404099650e0c29bc92f3c7662dRichard Smith// CHECK: @_ZN5Test11yE = constant %"class.std::type_info"* bitcast ({{.*}}* @_ZTIN5Test11BE to %"class.std::type_info"*), align 8
309be36ab27b874b404099650e0c29bc92f3c7662dRichard Smithconstexpr auto &y = typeid(B{});
319be36ab27b874b404099650e0c29bc92f3c7662dRichard Smith
3247d2145675099893d702be4bc06bd9f26d8ddd13Richard Smith}
33