clang/test/CodeGen/tbaa-array.cpp

   1 // RUN: %clang_cc1 -triple x86_64-linux -O1 -disable-llvm-passes %s \
   2 // RUN:     -emit-llvm -o - | FileCheck %s
   3 // RUN: %clang_cc1 -triple x86_64-linux -O1 -disable-llvm-passes %s \
   4 // RUN:     -new-struct-path-tbaa -emit-llvm -o - | \
   5 // RUN:     FileCheck -check-prefix=CHECK-NEW %s
   6 //
   7 // Check that we generate correct TBAA information for accesses to array
   8 // elements.
   9
  10 struct A { int i; };
  11 struct B { A a[1]; };
  12 struct C { int i; int x[3]; };
  13
  14 int foo(B *b) {
  15 // CHECK-LABEL: _Z3fooP1B
  16 // CHECK: load i32, {{.*}}, !tbaa [[TAG_A_i:!.*]]
  17 // CHECK-NEW-LABEL: _Z3fooP1B
  18 // CHECK-NEW: load i32, {{.*}}, !tbaa [[TAG_A_i:!.*]]
  19   return b->a->i;
  20 }
  21
  22 // Check that members of array types are represented correctly.
  23 int bar(C *c) {
  24 // CHECK-NEW-LABEL: _Z3barP1C
  25 // CHECK-NEW: load i32, {{.*}}, !tbaa [[TAG_C_i:!.*]]
  26   return c->i;
  27 }
  28
  29 int bar2(C *c) {
  30 // CHECK-NEW-LABEL: _Z4bar2P1C
  31 // CHECK-NEW: load i32, {{.*}}, !tbaa [[TAG_int:!.*]]
  32   return c->x[2];
  33 }
  34
  35 int bar3(C *c, int j) {
  36 // CHECK-NEW-LABEL: _Z4bar3P1Ci
  37 // CHECK-NEW: load i32, {{.*}}, !tbaa [[TAG_int:!.*]]
  38   return c->x[j];
  39 }
  40
  41 // CHECK-DAG: [[TAG_A_i]] = !{[[TYPE_A:!.*]], [[TYPE_int:!.*]], i64 0}
  42 // CHECK-DAG: [[TYPE_A]] = !{!"_ZTS1A", !{{.*}}, i64 0}
  43 // CHECK-DAG: [[TYPE_int]] = !{!"int", !{{.*}}, i64 0}
  44
  45 // CHECK-NEW-DAG: [[TYPE_char:!.*]] = !{{{.*}}, i64 1, !"omnipotent char"}
  46 // CHECK-NEW-DAG: [[TYPE_int:!.*]] = !{[[TYPE_char]], i64 4, !"int"}
  47 // CHECK-NEW-DAG: [[TAG_int]] = !{[[TYPE_int]], [[TYPE_int]], i64 0, i64 4}
  48 // CHECK-NEW-DAG: [[TYPE_pointer:!.*]] = !{[[TYPE_char]], i64 8, !"any pointer"}
  49 // CHECK-NEW-DAG: [[TYPE_A:!.*]] = !{[[TYPE_char]], i64 4, !"_ZTS1A", [[TYPE_int]], i64 0, i64 4}
  50 // CHECK-NEW-DAG: [[TAG_A_i]] = !{[[TYPE_A]], [[TYPE_int]], i64 0, i64 4}
  51 // CHECK-NEW-DAG: [[TYPE_C:!.*]] = !{[[TYPE_char]], i64 16, !"_ZTS1C", [[TYPE_int]], i64 0, i64 4, [[TYPE_int]], i64 4, i64 12}
  52 // CHECK-NEW-DAG: [[TAG_C_i]] = !{[[TYPE_C:!.*]], [[TYPE_int:!.*]], i64 0, i64 4}