59 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-linux-gnu -O1 %s -emit-llvm -o - | FileCheck %s -check-prefixes=CHECK,OLD-PATH2// RUN: %clang_cc1 -triple x86_64-linux-gnu -O1 %s -emit-llvm -new-struct-path-tbaa -o - | FileCheck %s -check-prefixes=CHECK,NEW-PATH3//4// Test generating of TBAA metadata for accesses to members of base classes.5 6struct A {7 int x, y, z;8};9 10struct B : A {11 int i;12};13 14struct C {15 int i;16 B b;17 int j;18};19 20int f1(B *b) {21// CHECK-LABEL: _Z2f1P1B22// CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y:!.*]]23 return b->y;24}25 26int f2(C *c) {27// CHECK-LABEL: _Z2f2P1C28// CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y]]29 return (&(c->b))->y;30}31 32struct D : virtual A33{};34 35struct E {36 D d;37};38 39int f3(D *d) {40// CHECK-LABEL: _Z2f3P1D41// CHECK: load i32, {{.*}}, !tbaa [[TAG_A_y]]42 return d->y;43}44 45int f4(E *e) {46// CHECK-LABEL: _Z2f4P1E47// 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