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
foo(B * b)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.
bar(C * c)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
bar2(C * c)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
bar3(C * c,int j)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}
53