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