Manman Ren | 5d7a96c | 2013-04-22 22:50:27 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - -O1 %s | FileCheck %s |
Dan Gohman | b22c7dc | 2012-09-28 21:58:29 +0000 | [diff] [blame] | 2 | // |
| 3 | // Check that we generate !tbaa.struct metadata for struct copies. |
| 4 | struct A { |
| 5 | short s; |
| 6 | int i; |
| 7 | char c; |
| 8 | int j; |
| 9 | }; |
| 10 | |
| 11 | void copy(struct A *a, struct A *b) { |
| 12 | *a = *b; |
| 13 | } |
| 14 | |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 15 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %{{.*}}, i8* %{{.*}}, i64 16, i32 4, i1 false), !tbaa.struct [[TS:!.*]] |
Manman Ren | b79f589 | 2013-03-21 00:09:50 +0000 | [diff] [blame] | 16 | |
| 17 | struct B { |
| 18 | char c1; |
| 19 | struct A a; |
| 20 | int ii; |
| 21 | }; |
| 22 | |
| 23 | void copy2(struct B *a, struct B *b) { |
| 24 | *a = *b; |
| 25 | } |
| 26 | |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 27 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %{{.*}}, i8* %{{.*}}, i64 24, i32 4, i1 false), !tbaa.struct [[TS2:!.*]] |
Manman Ren | b79f589 | 2013-03-21 00:09:50 +0000 | [diff] [blame] | 28 | |
| 29 | typedef _Complex int T2; |
| 30 | typedef _Complex char T5; |
| 31 | typedef _Complex int T7; |
| 32 | typedef struct T4 { T5 field0; T7 field1; } T4; |
| 33 | typedef union T1 { T2 field0; T4 field1; } T1; |
| 34 | |
| 35 | void copy3 (T1 *a, T1 *b) { |
| 36 | *a = *b; |
| 37 | } |
| 38 | |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 39 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %{{.*}}, i8* %{{.*}}, i64 12, i32 4, i1 false), !tbaa.struct [[TS3:!.*]] |
Manman Ren | b79f589 | 2013-03-21 00:09:50 +0000 | [diff] [blame] | 40 | |
Manman Ren | c7f2bfb | 2013-04-22 19:50:07 +0000 | [diff] [blame] | 41 | // Make sure that zero-length bitfield works. |
| 42 | #define ATTR __attribute__ ((ms_struct)) |
| 43 | struct five { |
| 44 | char a; |
| 45 | int :0; /* ignored; prior field is not a bitfield. */ |
| 46 | char b; |
| 47 | char c; |
| 48 | } ATTR; |
| 49 | void copy4(struct five *a, struct five *b) { |
| 50 | *a = *b; |
| 51 | } |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 52 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %{{.*}}, i8* %{{.*}}, i64 3, i32 1, i1 false), !tbaa.struct [[TS4:!.*]] |
Manman Ren | c7f2bfb | 2013-04-22 19:50:07 +0000 | [diff] [blame] | 53 | |
| 54 | struct six { |
| 55 | char a; |
| 56 | int :0; |
| 57 | char b; |
| 58 | char c; |
| 59 | }; |
| 60 | void copy5(struct six *a, struct six *b) { |
| 61 | *a = *b; |
| 62 | } |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 63 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %{{.*}}, i8* %{{.*}}, i64 6, i32 1, i1 false), !tbaa.struct [[TS5:!.*]] |
Manman Ren | c7f2bfb | 2013-04-22 19:50:07 +0000 | [diff] [blame] | 64 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 65 | // CHECK: [[TS]] = !{i64 0, i64 2, !{{.*}}, i64 4, i64 4, !{{.*}}, i64 8, i64 1, !{{.*}}, i64 12, i64 4, !{{.*}}} |
| 66 | // CHECK: [[CHAR:!.*]] = !{!"omnipotent char", !{{.*}}} |
| 67 | // CHECK: [[TAG_INT:!.*]] = !{[[INT:!.*]], [[INT]], i64 0} |
| 68 | // CHECK: [[INT]] = !{!"int", [[CHAR]] |
| 69 | // CHECK: [[TAG_CHAR:!.*]] = !{[[CHAR]], [[CHAR]], i64 0} |
Manman Ren | b79f589 | 2013-03-21 00:09:50 +0000 | [diff] [blame] | 70 | // (offset, size) = (0,1) char; (4,2) short; (8,4) int; (12,1) char; (16,4) int; (20,4) int |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 71 | // CHECK: [[TS2]] = !{i64 0, i64 1, !{{.*}}, i64 4, i64 2, !{{.*}}, i64 8, i64 4, !{{.*}}, i64 12, i64 1, !{{.*}}, i64 16, i64 4, {{.*}}, i64 20, i64 4, {{.*}}} |
Manman Ren | b79f589 | 2013-03-21 00:09:50 +0000 | [diff] [blame] | 72 | // (offset, size) = (0,8) char; (0,2) char; (4,8) char |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 73 | // CHECK: [[TS3]] = !{i64 0, i64 8, !{{.*}}, i64 0, i64 2, !{{.*}}, i64 4, i64 8, !{{.*}}} |
| 74 | // CHECK: [[TS4]] = !{i64 0, i64 1, [[TAG_CHAR]], i64 1, i64 4, [[TAG_INT]], i64 1, i64 1, [[TAG_CHAR]], i64 2, i64 1, [[TAG_CHAR]]} |
| 75 | // CHECK: [[TS5]] = !{i64 0, i64 1, [[TAG_CHAR]], i64 4, i64 4, [[TAG_INT]], i64 4, i64 1, [[TAG_CHAR]], i64 5, i64 1, [[TAG_CHAR]]} |