forked from OSchip/llvm-project
19 lines
542 B
C++
19 lines
542 B
C++
|
// RUN: %clang_cc1 -triple x86_64-linux -O1 -disable-llvm-passes %s \
|
||
|
|
// RUN: -emit-llvm -o - | FileCheck %s
|
||
|
|
//
|
||
|
|
// Check that we generate correct TBAA information for accesses to array
|
||
|
|
// elements.
|
||
|
|
|
||
|
|
struct A { int i; };
|
||
|
|
struct B { A a[1]; };
|
||
|
|
|
||
|
|
int foo(B *b) {
|
||
|
|
// CHECK-LABEL: _Z3fooP1B
|
||
|
|
// CHECK: load i32, {{.*}}, !tbaa [[TAG_A_i:!.*]]
|
||
|
|
return b->a->i;
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-DAG: [[TAG_A_i]] = !{[[TYPE_A:!.*]], [[TYPE_int:!.*]], i64 0}
|
||
|
|
// CHECK-DAG: [[TYPE_A]] = !{!"_ZTS1A", !{{.*}}, i64 0}
|
||
|
|
// CHECK-DAG: [[TYPE_int]] = !{!"int", !{{.*}}, i64 0}
|