239 lines · cpp
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 52// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - -O1 %s | \3// RUN: FileCheck -check-prefixes=CHECK,CHECK-OLD %s4// RUN: %clang_cc1 -triple x86_64-apple-darwin -new-struct-path-tbaa \5// RUN: -emit-llvm -o - -O1 %s | \6// RUN: FileCheck -check-prefixes=CHECK,CHECK-NEW %s7//8// Check that we generate TBAA metadata for struct copies correctly.9 10struct A {11 short s;12 int i;13 char c;14 int j;15};16 17typedef A __attribute__((may_alias)) AA;18 19void copy(A *a1, A *a2) {20// CHECK-LABEL: _Z4copyP1AS0_21// CHECK: call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(16) %{{.*}}, ptr noundef nonnull align 4 dereferenceable(16) %{{.*}}, i64 16, i1 false)22// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT6:![0-9]+]]23// CHECK-NEW-SAME: !tbaa [[TBAA6:![0-9]+]]24*a1 = *a2;25}26 27struct B {28 char c;29 A a;30 int i;31};32 33void copy2(B *b1, B *b2) {34// CHECK-LABEL: _Z5copy2P1BS0_ 35// CHECK: call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(24) %{{.*}}, ptr noundef nonnull align 4 dereferenceable(24) %{{.*}}, i64 24, i1 false)36// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT10:![0-9]+]]37// CHECK-NEW-SAME: !tbaa [[TBAA12:![0-9]+]]38 *b1 = *b2;39}40 41struct S {42 _Complex char cc;43 _Complex int ci;44};45 46union U {47 _Complex int ci;48 S s;49};50 51void copy3(U *u1, U *u2) {52// CHECK-LABEL: _Z5copy3P1US0_53// CHECK: call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(12) %{{.*}}, ptr noundef nonnull align 4 dereferenceable(12) %{{.*}}, i64 12, i1 false)54// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT11:![0-9]+]]55// CHECK-NEW-SAME: !tbaa [[TBAA15:![0-9]+]]56*u1 = *u2;57}58 59// Make sure that zero-length bitfield works.60struct C {61 char a;62 int : 0; // Shall not be ignored; see r185018.63 char b;64 char c;65} __attribute__((ms_struct));66 67void copy4(C *c1, C *c2) {68// CHECK-LABEL: _Z5copy4P1CS0_69// CHECK: call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(3) {{.*}}, ptr noundef nonnull align 1 dereferenceable(3) {{.*}}, i64 3, i1 false)70// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT12:![0-9]+]]71// CHECK-NEW-SAME: !tbaa [[TBAA17:![0-9]+]]72 *c1 = *c2;73}74 75struct D {76 char a;77 int : 0;78 char b;79 char c;80};81 82void copy5(D *d1, D *d2) {83// CHECK-LABEL: _Z5copy5P1DS0_84// CHECK: call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 1 dereferenceable(6) {{.*}}, ptr noundef nonnull align 1 dereferenceable(6) {{.*}}, i64 6, i1 false)85// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT13:![0-9]+]]86// CHECK-NEW-SAME: !tbaa [[TBAA20:![0-9]+]]87 *d1 = *d2;88}89 90void copy6(AA *a1, A *a2) {91// CHECK-LABEL: _Z5copy6P1AS0_92// CHECK: call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(16) %{{.*}}, ptr noundef nonnull align 4 dereferenceable(16) %{{.*}}, i64 16, i1 false)93// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT6]]94// CHECK-NEW-SAME: !tbaa [[TBAA23:![0-9]+]]95 *a1 = *a2;96}97 98void copy7(A *a1, AA *a2) {99// CHECK-LABEL: _Z5copy7P1AS0_100// CHECK: call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(16) %{{.*}}, ptr noundef nonnull align 4 dereferenceable(16) %{{.*}}, i64 16, i1 false)101// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT6]]102// CHECK-NEW-SAME: !tbaa [[TBAA23]]103 *a1 = *a2;104}105 106struct NamedBitfields {107 signed f0 : 9;108 unsigned f1 : 2;109 char f2;110 double f3;111};112 113void copy8(NamedBitfields *a1, NamedBitfields *a2) {114// CHECK-LABEL: _Z5copy8P14NamedBitfieldsS0_115// CHECK: tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %a1, ptr noundef nonnull align 8 dereferenceable(16) %a2, i64 16, i1 false),116// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT14:![0-9]+]]117// CHECK-NEW-SAME: !tbaa [[TBAA24:![0-9]+]], !tbaa.struct118 *a1 = *a2;119}120 121struct NamedBitfields2 {122 char a, b, c;123 signed f0 : 3;124 unsigned f1 : 4;125 char f2 : 7;126 double f3;127 unsigned f4 : 4;128};129 130void copy9(NamedBitfields2 *a1, NamedBitfields2 *a2) {131// CHECK-LABEL: _Z5copy9P15NamedBitfields2S0_132// CHECK: tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %a1, ptr noundef nonnull align 8 dereferenceable(24) %a2, i64 24, i1 false),133// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT17:![0-9]+]]134// CHECK-NEW-SAME: !tbaa [[TBAA30:![0-9]+]], !tbaa.struct135 *a1 = *a2;136}137 138// Test with unnamed bitfield at the start and in between named ones..139struct NamedBitfields3 {140 unsigned : 11;141 signed f0 : 9;142 char : 2;143 int f1 : 2;144 double f2;145};146 147void copy10(NamedBitfields3 *a1, NamedBitfields3 *a2) {148// CHECK-LABEL: _Z6copy10P15NamedBitfields3S0_149// CHECK: tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %a1, ptr noundef nonnull align 8 dereferenceable(16) %a2, i64 16, i1 false),150// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT18:![0-9]+]]151// CHECK-NEW-SAME: !tbaa [[TBAA33:![0-9]+]], !tbaa.struct152 *a1 = *a2;153}154 155union U2 {156 double d;157 float f;158};159 160struct UnionMember1 {161 U2 u;162 int p;163};164 165void copy11(UnionMember1 *a1, UnionMember1 *a2) {166// CHECK-LABEL: _Z6copy11P12UnionMember1S0_167// CHECK: tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %a1, ptr noundef nonnull align 8 dereferenceable(16) %a2, i64 16, i1 false),168// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT19:![0-9]+]]169// CHECK-NEW-SAME: !tbaa [[TBAA37:![0-9]+]], !tbaa.struct170 *a1 = *a2;171}172 173struct UnionMember2 {174 int p;175 U2 u;176};177 178void copy12(UnionMember2 *a1, UnionMember2 *a2) {179// CHECK-LABEL: _Z6copy12P12UnionMember2S0_180// CHECK: tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(16) %a1, ptr noundef nonnull align 8 dereferenceable(16) %a2, i64 16, i1 false),181// CHECK-OLD-SAME: !tbaa.struct [[TBAA_STRUCT20:![0-9]+]]182// CHECK-NEW-SAME: !tbaa [[TBAA41:![0-9]+]], !tbaa.struct183 184 *a1 = *a2;185}186 187// (offset, size) = (0,1) char; (4,2) short; (8,4) int; (12,1) char; (16,4) int; (20,4) int188// (offset, size) = (0,8) char; (0,2) char; (4,8) char189// CHECK-OLD [[DOUBLE]] = !{!"double", [[CHAR]], i64 0}190 191//.192// CHECK-OLD: [[META2:![0-9]+]] = !{[[META3:![0-9]+]], [[META3]], i64 0}193// CHECK-OLD: [[META3]] = !{!"int", [[META4:![0-9]+]], i64 0}194// CHECK-OLD: [[META4]] = !{!"omnipotent char", [[META5:![0-9]+]], i64 0}195// CHECK-OLD: [[META5]] = !{!"Simple C++ TBAA"}196// CHECK-OLD: [[TBAA_STRUCT6]] = !{i64 0, i64 2, [[META7:![0-9]+]], i64 4, i64 4, [[META2]], i64 8, i64 1, [[META9:![0-9]+]], i64 12, i64 4, [[META2]]}197// CHECK-OLD: [[META7]] = !{[[META8:![0-9]+]], [[META8]], i64 0}198// CHECK-OLD: [[META8]] = !{!"short", [[META4]], i64 0}199// CHECK-OLD: [[META9]] = !{[[META4]], [[META4]], i64 0}200// CHECK-OLD: [[TBAA_STRUCT10]] = !{i64 0, i64 1, [[META9]], i64 4, i64 2, [[META7]], i64 8, i64 4, [[META2]], i64 12, i64 1, [[META9]], i64 16, i64 4, [[META2]], i64 20, i64 4, [[META2]]}201// CHECK-OLD: [[TBAA_STRUCT11]] = !{i64 0, i64 12, [[META9]]}202// CHECK-OLD: [[TBAA_STRUCT12]] = !{i64 0, i64 1, [[META9]], i64 1, i64 1, [[META9]], i64 2, i64 1, [[META9]]}203// CHECK-OLD: [[TBAA_STRUCT13]] = !{i64 0, i64 1, [[META9]], i64 4, i64 1, [[META9]], i64 5, i64 1, [[META9]]}204// CHECK-OLD: [[TBAA_STRUCT14]] = !{i64 0, i64 2, [[META9]], i64 2, i64 1, [[META9]], i64 8, i64 8, [[META15:![0-9]+]]}205// CHECK-OLD: [[META15]] = !{[[META16:![0-9]+]], [[META16]], i64 0}206// CHECK-OLD: [[META16]] = !{!"double", [[META4]], i64 0}207// CHECK-OLD: [[TBAA_STRUCT17]] = !{i64 0, i64 1, [[META9]], i64 1, i64 1, [[META9]], i64 2, i64 1, [[META9]], i64 3, i64 2, [[META9]], i64 8, i64 8, [[META15]], i64 16, i64 1, [[META9]]}208// CHECK-OLD: [[TBAA_STRUCT18]] = !{i64 0, i64 4, [[META9]], i64 8, i64 8, [[META15]]}209// CHECK-OLD: [[TBAA_STRUCT19]] = !{i64 0, i64 8, [[META9]], i64 8, i64 4, [[META2]]}210// CHECK-OLD: [[TBAA_STRUCT20]] = !{i64 0, i64 4, [[META2]], i64 8, i64 8, [[META9]]}211//.212// CHECK-NEW: [[META2:![0-9]+]] = !{[[META3:![0-9]+]], [[META3]], i64 0, i64 4}213// CHECK-NEW: [[META3]] = !{[[META4:![0-9]+]], i64 4, !"int"}214// CHECK-NEW: [[META4]] = !{[[META5:![0-9]+]], i64 1, !"omnipotent char"}215// CHECK-NEW: [[META5]] = !{!"Simple C++ TBAA"}216// CHECK-NEW: [[TBAA6]] = !{[[META7:![0-9]+]], [[META7]], i64 0, i64 16}217// CHECK-NEW: [[META7]] = !{[[META4]], i64 16, !"_ZTS1A", [[META8:![0-9]+]], i64 0, i64 2, [[META3]], i64 4, i64 4, [[META4]], i64 8, i64 1, [[META3]], i64 12, i64 4}218// CHECK-NEW: [[META8]] = !{[[META4]], i64 2, !"short"}219// CHECK-NEW: [[TBAA12]] = !{[[META13:![0-9]+]], [[META13]], i64 0, i64 24}220// CHECK-NEW: [[META13]] = !{[[META4]], i64 24, !"_ZTS1B", [[META4]], i64 0, i64 1, [[META7]], i64 4, i64 16, [[META3]], i64 20, i64 4}221// CHECK-NEW: [[TBAA15]] = !{[[META4]], [[META4]], i64 0, i64 12}222// CHECK-NEW: [[TBAA17]] = !{[[META18:![0-9]+]], [[META18]], i64 0, i64 3}223// CHECK-NEW: [[META18]] = !{[[META4]], i64 3, !"_ZTS1C", [[META4]], i64 0, i64 1, [[META4]], i64 1, i64 1, [[META4]], i64 2, i64 1}224// CHECK-NEW: [[TBAA20]] = !{[[META21:![0-9]+]], [[META21]], i64 0, i64 6}225// CHECK-NEW: [[META21]] = !{[[META4]], i64 6, !"_ZTS1D", [[META4]], i64 0, i64 1, [[META4]], i64 4, i64 1, [[META4]], i64 5, i64 1}226// CHECK-NEW: [[TBAA23]] = !{[[META4]], [[META4]], i64 0, i64 0}227// CHECK-NEW: [[TBAA24]] = !{[[META25:![0-9]+]], [[META25]], i64 0, i64 16}228// CHECK-NEW: [[META25]] = !{[[META4]], i64 16, !"_ZTS14NamedBitfields", [[META3]], i64 0, i64 4, [[META3]], i64 1, i64 4, [[META4]], i64 2, i64 1, [[META26:![0-9]+]], i64 8, i64 8}229// CHECK-NEW: [[META26]] = !{[[META4]], i64 8, !"double"}230// CHECK-NEW: [[TBAA30]] = !{[[META31:![0-9]+]], [[META31]], i64 0, i64 24}231// CHECK-NEW: [[META31]] = !{[[META4]], i64 24, !"_ZTS15NamedBitfields2", [[META4]], i64 0, i64 1, [[META4]], i64 1, i64 1, [[META4]], i64 2, i64 1, [[META3]], i64 3, i64 4, [[META3]], i64 3, i64 4, [[META4]], i64 4, i64 1, [[META26]], i64 8, i64 8, [[META3]], i64 16, i64 4}232// CHECK-NEW: [[TBAA33]] = !{[[META34:![0-9]+]], [[META34]], i64 0, i64 16}233// CHECK-NEW: [[META34]] = !{[[META4]], i64 16, !"_ZTS15NamedBitfields3", [[META3]], i64 1, i64 4, [[META3]], i64 2, i64 4, [[META26]], i64 8, i64 8}234// CHECK-NEW: [[TBAA37]] = !{[[META38:![0-9]+]], [[META38]], i64 0, i64 16}235// CHECK-NEW: [[META38]] = !{[[META4]], i64 16, !"_ZTS12UnionMember1", [[META4]], i64 0, i64 8, [[META3]], i64 8, i64 4}236// CHECK-NEW: [[TBAA41]] = !{[[META42:![0-9]+]], [[META42]], i64 0, i64 16}237// CHECK-NEW: [[META42]] = !{[[META4]], i64 16, !"_ZTS12UnionMember2", [[META3]], i64 0, i64 4, [[META4]], i64 8, i64 8}238//.239