Home | History | Annotate | Download | only in CodeGenCXX
      1 // RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -emit-llvm -fcxx-exceptions -fexceptions -o - | FileCheck %s
      2 #include <typeinfo>
      3 
      4 namespace Test1 {
      5 
      6 // PR7400
      7 struct A { virtual void f(); };
      8 
      9 // CHECK: @_ZN5Test16int_tiE = constant %"class.std::type_info"* bitcast (i8** @_ZTIi to %"class.std::type_info"*), align 8
     10 const std::type_info &int_ti = typeid(int);
     11 
     12 // CHECK: @_ZN5Test14A_tiE = constant %"class.std::type_info"* bitcast (i8** @_ZTIN5Test11AE to %"class.std::type_info"*), align 8
     13 const std::type_info &A_ti = typeid(const volatile A &);
     14 
     15 volatile char c;
     16 
     17 // CHECK: @_ZN5Test14c_tiE = constant %"class.std::type_info"* bitcast (i8** @_ZTIc to %"class.std::type_info"*), align 8
     18 const std::type_info &c_ti = typeid(c);
     19 
     20 extern const double &d;
     21 
     22 // CHECK: @_ZN5Test14d_tiE = constant %"class.std::type_info"* bitcast (i8** @_ZTId to %"class.std::type_info"*), align 8
     23 const std::type_info &d_ti = typeid(d);
     24 
     25 extern A &a;
     26 
     27 // CHECK: @_ZN5Test14a_tiE = global
     28 const std::type_info &a_ti = typeid(a);
     29 
     30 // CHECK: @_ZN5Test18A10_c_tiE = constant %"class.std::type_info"* bitcast ({ i8*, i8* }* @_ZTIA10_c to %"class.std::type_info"*), align 8
     31 const std::type_info &A10_c_ti = typeid(char const[10]);
     32 
     33 // CHECK-LABEL: define i8* @_ZN5Test11fEv
     34 // CHECK-SAME:  personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
     35 const char *f() {
     36   try {
     37     // CHECK: br i1
     38     // CHECK: invoke void @__cxa_bad_typeid() [[NR:#[0-9]+]]
     39     return typeid(*static_cast<A *>(0)).name();
     40   } catch (...) {
     41     // CHECK:      landingpad { i8*, i32 }
     42     // CHECK-NEXT:   catch i8* null
     43   }
     44 
     45   return 0;
     46 }
     47 
     48 }
     49 
     50 // CHECK: attributes [[NR]] = { noreturn }
     51