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} 53