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