diff options
| author | Manman Ren <manman.ren@gmail.com> | 2013-09-27 23:06:41 +0000 |
|---|---|---|
| committer | Manman Ren <manman.ren@gmail.com> | 2013-09-27 23:06:41 +0000 |
| commit | 4f042633470186e51d5b11a818adf2027dd580db (patch) | |
| tree | 4a9e248463703c2fced1c4d4a0379b7458a60de8 /clang/test/CodeGen/may-alias.c | |
| parent | f3a8c27e8dbf67b6520436498e186f9ed8c1d6ab (diff) | |
| download | bcm5719-llvm-4f042633470186e51d5b11a818adf2027dd580db.tar.gz bcm5719-llvm-4f042633470186e51d5b11a818adf2027dd580db.zip | |
TBAA: use the same format for scalar TBAA and struct-path aware TBAA.
Struct-path aware TBAA generates tags to specify the access path,
while scalar TBAA only generates tags to scalar types.
llvm-svn: 191586
Diffstat (limited to 'clang/test/CodeGen/may-alias.c')
| -rw-r--r-- | clang/test/CodeGen/may-alias.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/clang/test/CodeGen/may-alias.c b/clang/test/CodeGen/may-alias.c index 8b30c608516..d901738e257 100644 --- a/clang/test/CodeGen/may-alias.c +++ b/clang/test/CodeGen/may-alias.c @@ -27,10 +27,12 @@ void test1(struct Test1MA *p1, struct Test1 *p2) { // PATH: store i32 3, i32* {{%.*}}, !tbaa [[TAG_test1_x:!.*]] p2->x = 3; } -// CHECK: metadata !{metadata !"any pointer", metadata [[TAG_CHAR]]} -// CHECK: [[TAG_CHAR]] = metadata !{metadata !"omnipotent char", metadata [[TAG_CXX_TBAA:!.*]]} +// CHECK: metadata !{metadata !"any pointer", metadata [[TYPE_CHAR:!.*]], +// CHECK: [[TYPE_CHAR]] = metadata !{metadata !"omnipotent char", metadata [[TAG_CXX_TBAA:!.*]], // CHECK: [[TAG_CXX_TBAA]] = metadata !{metadata !"Simple C/C++ TBAA"} -// CHECK: [[TAG_INT]] = metadata !{metadata !"int", metadata [[TAG_CHAR]]} +// CHECK: [[TAG_CHAR]] = metadata !{metadata [[TYPE_CHAR]], metadata [[TYPE_CHAR]], i64 0} +// CHECK: [[TAG_INT]] = metadata !{metadata [[TYPE_INT:!.*]], metadata [[TYPE_INT]], i64 0} +// CHECK: [[TYPE_INT]] = metadata !{metadata !"int", metadata [[TYPE_CHAR]] // PATH: [[TYPE_CHAR:!.*]] = metadata !{metadata !"omnipotent char", metadata !{{.*}} // PATH: [[TAG_CHAR]] = metadata !{metadata [[TYPE_CHAR]], metadata [[TYPE_CHAR]], i64 0} |
