| 1 | // RUN: %clang_cc1 -triple x86_64-linux-gnu -O1 %s -emit-llvm -o - | FileCheck %s -check-prefixes=CHECK,OLD-PATH |
|---|
| 2 | // RUN: %clang_cc1 -triple x86_64-linux-gnu -O1 %s -emit-llvm -new-struct-path-tbaa -o - | FileCheck %s -check-prefixes=CHECK,NEW-PATH |
|---|
| 3 | // |
|---|
| 4 | // Test generating of TBAA metadata for accesses to members of base classes. |
|---|
| 5 | |
|---|
| 6 | struct A { |
|---|
| 7 | int x, y, z; |
|---|
| 8 | }; |
|---|
| 9 | |
|---|
| 10 | struct B : A { |
|---|
| 11 | int i; |
|---|
| 12 | }; |
|---|
| 13 | |
|---|
| 14 | struct C { |
|---|
| 15 | int i; |
|---|
| 16 | B b; |
|---|
| 17 | int j; |
|---|
| 18 | }; |
|---|
| 19 | |
|---|
| 20 | int f1(B *b) { |
|---|
| 21 | // CHECK-LABEL: _Z2f1P1B |
|---|
| 22 | // CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y:!.*]] |
|---|
| 23 | return b->y; |
|---|
| 24 | } |
|---|
| 25 | |
|---|
| 26 | int f2(C *c) { |
|---|
| 27 | // CHECK-LABEL: _Z2f2P1C |
|---|
| 28 | // CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y]] |
|---|
| 29 | return (&(c->b))->y; |
|---|
| 30 | } |
|---|
| 31 | |
|---|
| 32 | struct D : virtual A |
|---|
| 33 | {}; |
|---|
| 34 | |
|---|
| 35 | struct E { |
|---|
| 36 | D d; |
|---|
| 37 | }; |
|---|
| 38 | |
|---|
| 39 | int f3(D *d) { |
|---|
| 40 | // CHECK-LABEL: _Z2f3P1D |
|---|
| 41 | // CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y]] |
|---|
| 42 | return d->y; |
|---|
| 43 | } |
|---|
| 44 | |
|---|
| 45 | int f4(E *e) { |
|---|
| 46 | // CHECK-LABEL: _Z2f4P1E |
|---|
| 47 | // CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y]] |
|---|
| 48 | return (&(e->d))->y; |
|---|
| 49 | } |
|---|
| 50 | |
|---|
| 51 | // OLD-PATH-DAG: [[TYPE_char:!.*]] = !{!"omnipotent char", {{.*}}, i64 0} |
|---|
| 52 | // OLD-PATH-DAG: [[TYPE_int:!.*]] = !{!"int", [[TYPE_char]], i64 0} |
|---|
| 53 | // OLD-PATH-DAG: [[TYPE_A:!.*]] = !{!"_ZTS1A", [[TYPE_int]], i64 0, [[TYPE_int]], i64 4, [[TYPE_int]], i64 8} |
|---|
| 54 | // OLD-PATH-DAG: [[TAG_A_y]] = !{[[TYPE_A]], [[TYPE_int]], i64 4} |
|---|
| 55 | // NEW-PATH-DAG: [[TYPE_char:!.*]] = !{{{.*}}, i64 1, !"omnipotent char"} |
|---|
| 56 | // NEW-PATH-DAG: [[TYPE_int:!.*]] = !{[[TYPE_char]], i64 4, !"int"} |
|---|
| 57 | // 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} |
|---|
| 58 | // NEW-PATH-DAG: [[TAG_A_y]] = !{[[TYPE_A]], [[TYPE_int]], i64 4, i64 4} |
|---|
| 59 | |
|---|