tbaa-base.cpp
1.56 KB
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
// RUN: %clang_cc1 -triple x86_64-linux-gnu -O1 %s -emit-llvm -o - | FileCheck %s -check-prefixes=CHECK,OLD-PATH
// RUN: %clang_cc1 -triple x86_64-linux-gnu -O1 %s -emit-llvm -new-struct-path-tbaa -o - | FileCheck %s -check-prefixes=CHECK,NEW-PATH
//
// Test generating of TBAA metadata for accesses to members of base classes.
struct A {
int x, y, z;
};
struct B : A {
int i;
};
struct C {
int i;
B b;
int j;
};
int f1(B *b) {
// CHECK-LABEL: _Z2f1P1B
// CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y:!.*]]
return b->y;
}
int f2(C *c) {
// CHECK-LABEL: _Z2f2P1C
// CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y]]
return (&(c->b))->y;
}
struct D : virtual A
{};
struct E {
D d;
};
int f3(D *d) {
// CHECK-LABEL: _Z2f3P1D
// CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y]]
return d->y;
}
int f4(E *e) {
// CHECK-LABEL: _Z2f4P1E
// CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y]]
return (&(e->d))->y;
}
// OLD-PATH-DAG: [[TYPE_char:!.*]] = !{!"omnipotent char", {{.*}}, i64 0}
// OLD-PATH-DAG: [[TYPE_int:!.*]] = !{!"int", [[TYPE_char]], i64 0}
// OLD-PATH-DAG: [[TYPE_A:!.*]] = !{!"_ZTS1A", [[TYPE_int]], i64 0, [[TYPE_int]], i64 4, [[TYPE_int]], i64 8}
// OLD-PATH-DAG: [[TAG_A_y]] = !{[[TYPE_A]], [[TYPE_int]], i64 4}
// NEW-PATH-DAG: [[TYPE_char:!.*]] = !{{{.*}}, i64 1, !"omnipotent char"}
// NEW-PATH-DAG: [[TYPE_int:!.*]] = !{[[TYPE_char]], i64 4, !"int"}
// NEW-PATH-DAG: [[TYPE_A:!.*]] = !{[[TYPE_char]], i64 12, !"_ZTS1A", [[TYPE_int]], i64 0, i64 4, [[TYPE_int]], i64 4, i64 4, [[TYPE_int]], i64 8, i64 4}
// NEW-PATH-DAG: [[TAG_A_y]] = !{[[TYPE_A]], [[TYPE_int]], i64 4, i64 4}