clang/test/CodeGen/tbaa-base.cpp

   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}