forked from OSchip/llvm-project
206 lines
6.8 KiB
C++
206 lines
6.8 KiB
C++
// RUN: %clang_cc1 -I%S -triple x86_64-apple-darwin -std=c++0x -O0 -S %s -o %t.s
|
|
// RUN: FileCheck --input-file=%t.s %s
|
|
|
|
// RUN: %clang_cc1 -I%S -triple x86_64-apple-darwin -std=c++0x -emit-llvm %s -o %t.ll
|
|
// RUN: FileCheck -check-prefix LL --input-file=%t.ll %s
|
|
// XFAIL: *
|
|
|
|
#include <typeinfo>
|
|
|
|
class test1_B1 {
|
|
virtual void foo() { }
|
|
};
|
|
class test1_B2 : public test1_B1 {
|
|
virtual void foo() { }
|
|
};
|
|
class test1_B3 : public test1_B2, public test1_B1 {
|
|
virtual void foo() { }
|
|
};
|
|
class test1_B4 : virtual public test1_B3 {
|
|
virtual void foo() { }
|
|
};
|
|
class test1_B5 : virtual test1_B3, test1_B4 {
|
|
virtual void foo() { }
|
|
};
|
|
class test1_B6 {
|
|
virtual void foo() { }
|
|
};
|
|
class test1_B7 : public test1_B6, public test1_B5 {
|
|
virtual void foo() { }
|
|
};
|
|
class test1_D : public test1_B7 {
|
|
virtual void foo() { }
|
|
} d1;
|
|
|
|
// CHECK:__ZTI7test1_D:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv120__si_class_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTS7test1_D
|
|
// CHECK-NEXT: .quad __ZTI8test1_B7
|
|
|
|
// CHECK: __ZTSPVi:
|
|
// CHECK-NEXT: .asciz "PVi"
|
|
|
|
// CHECK: __ZTIPVi:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv119__pointer_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTSPVi
|
|
// CHECK-NEXT: .long 2
|
|
// CHECK-NEXT: .space 4
|
|
// CHECK-NEXT: .quad __ZTIi
|
|
|
|
// CHECK: .globl __ZTS7test3_A
|
|
// CHECK-NEXT: .weak_definition __ZTS7test3_A
|
|
// CHECK: __ZTS7test3_A:
|
|
// CHECK-NEXT: .asciz "7test3_A"
|
|
|
|
// CHECK: __ZTIM7test3_Ai:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv129__pointer_to_member_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTSM7test3_Ai
|
|
// CHECK-NEXT: .space 4
|
|
// CHECK-NEXT: .space 4
|
|
// CHECK-NEXT: .quad __ZTIi
|
|
// CHECK-NEXT: .quad __ZTI7test3_A
|
|
|
|
// CHECK: __ZTIM7test3_Ii:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv129__pointer_to_member_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTSM7test3_Ii
|
|
// CHECK-NEXT: .long 16
|
|
// CHECK-NEXT: .space 4
|
|
// CHECK-NEXT: .quad __ZTIi
|
|
// CHECK-NEXT: .quad __ZTI7test3_I
|
|
|
|
// CHECK: .private_extern __ZTIFvvE
|
|
// CHECK: .globl __ZTIFvvE
|
|
// CHECK: .weak_definition __ZTIFvvE
|
|
// CHECK: __ZTIFvvE:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv120__function_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTSFvvE
|
|
|
|
// CHECK: __ZTIM7test3_AFvvE:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv129__pointer_to_member_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTSM7test3_AFvvE
|
|
// CHECK-NEXT: .space 4
|
|
// CHECK-NEXT: .space 4
|
|
// CHECK-NEXT: .quad __ZTIFvvE
|
|
// CHECK-NEXT: .quad __ZTI7test3_A
|
|
|
|
// CHECK:__ZTI8test1_B7:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv121__vmi_class_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTS8test1_B7
|
|
// CHECK-NEXT: .long 3
|
|
// CHECK-NEXT: .long 2
|
|
// CHECK-NEXT: .quad __ZTI8test1_B6
|
|
// CHECK-NEXT: .quad 2
|
|
// CHECK-NEXT: .quad __ZTI8test1_B5
|
|
// CHECK-NEXT: .quad 2050
|
|
|
|
// CHECK:__ZTI8test1_B5:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv121__vmi_class_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTS8test1_B5
|
|
// CHECK-NEXT: .long 3
|
|
// CHECK-NEXT: .long 2
|
|
// CHECK-NEXT: .quad __ZTI8test1_B3
|
|
// CHECK-NEXT: .quad 18446744073709545473
|
|
// CHECK-NEXT: .quad __ZTI8test1_B4
|
|
// CHECK-NEXT: .space 8
|
|
|
|
// CHECK:__ZTI8test1_B4:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv121__vmi_class_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTS8test1_B4
|
|
// CHECK-NEXT: .long 1
|
|
// CHECK-NEXT: .long 1
|
|
// CHECK-NEXT: .quad __ZTI8test1_B3
|
|
// CHECK-NEXT: .quad 18446744073709545475
|
|
|
|
// CHECK:__ZTI8test1_B6:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv117__class_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTS8test1_B6
|
|
|
|
// CHECK:__ZTI8test1_B3:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv121__vmi_class_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTS8test1_B3
|
|
// CHECK-NEXT: .long 1
|
|
// CHECK-NEXT: .long 2
|
|
// CHECK-NEXT: .quad __ZTI8test1_B2
|
|
// CHECK-NEXT: .quad 2
|
|
// CHECK-NEXT: .quad __ZTI8test1_B1
|
|
// CHECK-NEXT: .quad 2050
|
|
|
|
// CHECK:__ZTS8test1_B1:
|
|
// CHECK-NEXT: .asciz "8test1_B1"
|
|
|
|
// CHECK:__ZTI8test1_B1:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv117__class_type_infoE) + 16
|
|
// CHECK-NEXT:. quad __ZTS8test1_B1
|
|
|
|
// CHECK:__ZTS8test1_B2:
|
|
// CHECK-NEXT: .asciz "8test1_B2"
|
|
|
|
// CHECK:__ZTI8test1_B2:
|
|
// CHECK-NEXT: .quad (__ZTVN10__cxxabiv120__si_class_type_infoE) + 16
|
|
// CHECK-NEXT: .quad __ZTS8test1_B2
|
|
// CHECK-NEXT: .quad __ZTI8test1_B1
|
|
|
|
class NP { };
|
|
void test2_1();
|
|
void test2_2(test1_D *dp) {
|
|
test1_D &d = *dp;
|
|
if (typeid(d) == typeid(test1_D))
|
|
test2_1();
|
|
if (typeid(NP) == typeid(test1_D))
|
|
test2_1();
|
|
if (typeid(((*(dp)))) == typeid(test1_D))
|
|
test2_1();
|
|
if (typeid(int) == typeid(float))
|
|
test2_1();
|
|
if (typeid(int*) == typeid(const int *))
|
|
test2_1();
|
|
}
|
|
|
|
// CHECK-LL:define void @_Z7test2_2P7test1_D(%class.test1_B7* %dp) nounwind {
|
|
// CHECK-LL: %tmp1 = load %class.test1_B7** %d
|
|
// CHECK-LL-NEXT: %0 = bitcast %class.test1_B7* %tmp1 to %"class.std::type_info"***
|
|
// CHECK-LL-NEXT: %vtable = load %"class.std::type_info"*** %0
|
|
// CHECK-LL-NEXT: %1 = getelementptr inbounds %"class.std::type_info"** %vtable, i64 -1
|
|
// CHECK-LL-NEXT: %2 = load %"class.std::type_info"** %1
|
|
// CHECK-LL-NEXT: %call = call zeroext i1 @_ZNKSt9type_infoeqERKS_(%"class.std::type_info"* %2, %"class.std::type_info"* bitcast (%{{[0-9]*}}* @_ZTI7test1_D to %"class.std::type_info"*))
|
|
|
|
// CHECK-LL: %call2 = call zeroext i1 @_ZNKSt9type_infoeqERKS_(%"class.std::type_info"* bitcast (%{{[0-9]*}}* @_ZTI2NP to %"class.std::type_info"*), %"class.std::type_info"* bitcast (%{{[0-9]*}}* @_ZTI7test1_D to %"class.std::type_info"*))
|
|
|
|
// CHECK-LL: %3 = bitcast %class.test1_B7* %tmp5 to %"class.std::type_info"***
|
|
// CHECK-LL-NEXT: %4 = icmp ne %"class.std::type_info"*** %3, null
|
|
// CHECK-LL-NEXT: br i1 %4, label %6, label %5
|
|
// CHECK-LL: ; <label>:5
|
|
// CHECK-LL-NEXT: call void @__cxa_bad_typeid()
|
|
// CHECK-LL-NEXT: unreachable
|
|
// CHECK-LL: ; <label>:6
|
|
// CHECK-LL-NEXT: %vtable6 = load %"class.std::type_info"*** %3
|
|
// CHECK-LL-NEXT: %7 = getelementptr inbounds %"class.std::type_info"** %vtable6, i64 -1
|
|
// CHECK-LL-NEXT: %8 = load %"class.std::type_info"** %7
|
|
// CHECK-LL-NEXT: %call7 = call zeroext i1 @_ZNKSt9type_infoeqERKS_(%"class.std::type_info"* %8, %"class.std::type_info"* bitcast (%{{[0-9]*}}* @_ZTI7test1_D to %"class.std::type_info"*))
|
|
|
|
// CHECK-LL: %call10 = call zeroext i1 @_ZNKSt9type_infoeqERKS_(%"class.std::type_info"* bitcast (i8** @_ZTIi to %"class.std::type_info"*), %"class.std::type_info"* bitcast (i8** @_ZTIf to %"class.std::type_info"*))
|
|
|
|
// CHECK-LL: %call13 = call zeroext i1 @_ZNKSt9type_infoeqERKS_(%"class.std::type_info"* bitcast (i8** @_ZTIPi to %"class.std::type_info"*), %"class.std::type_info"* bitcast (i8** @_ZTIPKi to %"class.std::type_info"*))
|
|
|
|
class test3_A { };
|
|
class test3_I;
|
|
int (test3_A::*pmd);
|
|
int (test3_I::*i_pmd);
|
|
void (test3_A::*pmf)();
|
|
int test3() {
|
|
if (typeid(volatile int *) == typeid(int *))
|
|
return 1;
|
|
if (typeid(pmd) == typeid(i_pmd))
|
|
return 1;
|
|
if (typeid(pmd) == typeid(pmf))
|
|
return 1;
|
|
return 0;
|
|
enum a { };
|
|
if (typeid(int[5]) == typeid(enum a))
|
|
return 0;
|
|
}
|
|
|
|
bool test4(std::type_info* __pointee) {
|
|
return *__pointee == typeid (void);
|
|
}
|