diff options
| author | Manman Ren <mren@apple.com> | 2013-03-21 00:09:50 +0000 |
|---|---|---|
| committer | Manman Ren <mren@apple.com> | 2013-03-21 00:09:50 +0000 |
| commit | 8aa84081e9b5c33cd24a0498b18564dcd5d97372 (patch) | |
| tree | 5ad1ce5eecddc282d3b36456a29628640872e0d9 /clang/test/CodeGen/tbaa-struct.cpp | |
| parent | 5891cf9788423589118d123bdb3972be508c3f02 (diff) | |
| download | bcm5719-llvm-8aa84081e9b5c33cd24a0498b18564dcd5d97372.tar.gz bcm5719-llvm-8aa84081e9b5c33cd24a0498b18564dcd5d97372.zip | |
Add more testing cases for tbaa.struct
Testing cases for structs of structs and unions of structs.
llvm-svn: 177612
Diffstat (limited to 'clang/test/CodeGen/tbaa-struct.cpp')
| -rw-r--r-- | clang/test/CodeGen/tbaa-struct.cpp | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/clang/test/CodeGen/tbaa-struct.cpp b/clang/test/CodeGen/tbaa-struct.cpp index 8b30aa0a495..12a6f4de82a 100644 --- a/clang/test/CodeGen/tbaa-struct.cpp +++ b/clang/test/CodeGen/tbaa-struct.cpp @@ -14,4 +14,33 @@ void copy(struct A *a, struct A *b) { // CHECK: target datalayout = "{{.*}}p:[[P:64|32]] // CHECK: call void @llvm.memcpy.p0i8.p0i8.i[[P]](i8* %{{.*}}, i8* %{{.*}}, i[[P]] 16, i32 4, i1 false), !tbaa.struct [[TS:!.*]] + +struct B { + char c1; + struct A a; + int ii; +}; + +void copy2(struct B *a, struct B *b) { + *a = *b; +} + +// CHECK: call void @llvm.memcpy.p0i8.p0i8.i[[P]](i8* %{{.*}}, i8* %{{.*}}, i[[P]] 24, i32 4, i1 false), !tbaa.struct [[TS2:!.*]] + +typedef _Complex int T2; +typedef _Complex char T5; +typedef _Complex int T7; +typedef struct T4 { T5 field0; T7 field1; } T4; +typedef union T1 { T2 field0; T4 field1; } T1; + +void copy3 (T1 *a, T1 *b) { + *a = *b; +} + +// CHECK: call void @llvm.memcpy.p0i8.p0i8.i[[P]](i8* %{{.*}}, i8* %{{.*}}, i[[P]] 12, i32 4, i1 false), !tbaa.struct [[TS3:!.*]] + // CHECK: [[TS]] = metadata !{i64 0, i64 2, metadata !{{.*}}, i64 4, i64 4, metadata !{{.*}}, i64 8, i64 1, metadata !{{.*}}, i64 12, i64 4, metadata !{{.*}}} +// (offset, size) = (0,1) char; (4,2) short; (8,4) int; (12,1) char; (16,4) int; (20,4) int +// CHECK: [[TS2]] = metadata !{i64 0, i64 1, metadata !{{.*}}, i64 4, i64 2, metadata !{{.*}}, i64 8, i64 4, metadata !{{.*}}, i64 12, i64 1, metadata !{{.*}}, i64 16, i64 4, metadata {{.*}}, i64 20, i64 4, metadata {{.*}}} +// (offset, size) = (0,8) char; (0,2) char; (4,8) char +// CHECK: [[TS3]] = metadata !{i64 0, i64 8, metadata !{{.*}}, i64 0, i64 2, metadata !{{.*}}, i64 4, i64 8, metadata !{{.*}}} |
