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