1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
// RUN: %clang_cc1 %s -I%S -triple=x86_64-apple-darwin10 -emit-llvm -O3 -o - | FileCheck %s
#include <typeinfo>
// vtables.
extern "C" {
const void *_ZTVN10__cxxabiv123__fundamental_type_infoE;
const void *_ZTVN10__cxxabiv117__class_type_infoE;
const void *_ZTVN10__cxxabiv120__si_class_type_infoE;
const void *_ZTVN10__cxxabiv121__vmi_class_type_infoE;
const void *_ZTVN10__cxxabiv119__pointer_type_infoE;
const void *_ZTVN10__cxxabiv129__pointer_to_member_type_infoE;
};
#define fundamental_type_info_vtable _ZTVN10__cxxabiv123__fundamental_type_infoE
#define class_type_info_vtable _ZTVN10__cxxabiv117__class_type_infoE
#define si_class_type_info_vtable _ZTVN10__cxxabiv120__si_class_type_infoE
#define vmi_class_type_info_vtable _ZTVN10__cxxabiv121__vmi_class_type_infoE
#define pointer_type_info_vtable _ZTVN10__cxxabiv119__pointer_type_infoE
#define pointer_to_member_type_info_vtable _ZTVN10__cxxabiv129__pointer_to_member_type_infoE
class __pbase_type_info : public std::type_info {
public:
unsigned int __flags;
const std::type_info *__pointee;
enum __masks {
__const_mask = 0x1,
__volatile_mask = 0x2,
__restrict_mask = 0x4,
__incomplete_mask = 0x8,
__incomplete_class_mask = 0x10
};
};
class __class_type_info : public std::type_info { };
class __si_class_type_info : public __class_type_info {
public:
const __class_type_info *__base_type;
};
template<typename T> const T& to(const std::type_info &info) {
return static_cast<const T&>(info);
}
struct Incomplete;
struct A { int a; };
struct Empty { };
struct SI1 : A { };
struct SI2 : Empty { };
struct SI3 : Empty { virtual void f() { } };
struct VMI1 : private A { };
struct VMI2 : virtual A { };
struct VMI3 : A { virtual void f() { } };
struct VMI4 : A, Empty { };
#define CHECK(x) if (!(x)) return __LINE__
#define CHECK_VTABLE(type, vtable) if (&vtable##_type_info_vtable + 2 != (((void **)&(typeid(type)))[0])) return __LINE__
// CHECK: define i32 @_Z1fv()
int f() {
// Vectors should be treated as fundamental types.
typedef short __v4hi __attribute__ ((__vector_size__ (8)));
CHECK_VTABLE(__v4hi, fundamental);
// A does not have any bases.
CHECK_VTABLE(A, class);
// SI1 has a single public base.
CHECK_VTABLE(SI1, si_class);
// SI2 has a single public empty base.
CHECK_VTABLE(SI2, si_class);
// SI3 has a single public empty base. SI3 is dynamic whereas Empty is not, but since Empty is
// an empty class, it will still be at offset zero.
CHECK_VTABLE(SI3, si_class);
// VMI1 has a single base, but it is private.
CHECK_VTABLE(VMI1, vmi_class);
// VMI2 has a single base, but it is virtual.
CHECK_VTABLE(VMI2, vmi_class);
// VMI3 has a single base, but VMI3 is dynamic whereas A is not, and A is not empty.
CHECK_VTABLE(VMI3, vmi_class);
// VMI4 has two bases.
CHECK_VTABLE(VMI4, vmi_class);
CHECK(to<__si_class_type_info>(typeid(SI1)).__base_type == &typeid(A));
CHECK(to<__si_class_type_info>(typeid(SI2)).__base_type == &typeid(Empty));
CHECK(to<__si_class_type_info>(typeid(SI3)).__base_type == &typeid(Empty));
// Pointers to incomplete classes.
CHECK_VTABLE(Incomplete *, pointer);
CHECK(to<__pbase_type_info>(typeid(Incomplete *)).__flags == __pbase_type_info::__incomplete_mask);
CHECK(to<__pbase_type_info>(typeid(Incomplete **)).__flags == __pbase_type_info::__incomplete_mask);
CHECK(to<__pbase_type_info>(typeid(Incomplete ***)).__flags == __pbase_type_info::__incomplete_mask);
// Member pointers.
CHECK_VTABLE(int Incomplete::*, pointer_to_member);
CHECK(to<__pbase_type_info>(typeid(int Incomplete::*)).__flags == __pbase_type_info::__incomplete_class_mask);
CHECK(to<__pbase_type_info>(typeid(Incomplete Incomplete::*)).__flags == (__pbase_type_info::__incomplete_class_mask | __pbase_type_info::__incomplete_mask));
CHECK(to<__pbase_type_info>(typeid(Incomplete A::*)).__flags == (__pbase_type_info::__incomplete_mask));
// Success!
// CHECK: ret i32 0
return 0;
}
#ifdef HARNESS
extern "C" void printf(const char *, ...);
int main() {
int result = f();
if (result == 0)
printf("success!\n");
else
printf("test on line %d failed!\n", result);
return result;
}
#endif
|
