1 // RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - -O1 %s | \ 2 // RUN: FileCheck -check-prefixes=CHECK,CHECK-OLD %s 3 // RUN: %clang_cc1 -triple x86_64-apple-darwin -new-struct-path-tbaa \ 4 // RUN: -emit-llvm -o - -O1 %s | \ 5 // RUN: FileCheck -check-prefixes=CHECK,CHECK-NEW %s 6 // 7 // Check that we generate TBAA metadata for struct copies correctly. 8 9 struct A { 10 short s; 11 int i; 12 char c; 13 int j; 14 }; 15 16 typedef A __attribute__((may_alias)) AA; 17 18 void copy(A *a1, A *a2) { 19 // CHECK-LABEL: _Z4copyP1AS0_ 20 // 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) 21 // CHECK-OLD-SAME: !tbaa.struct [[TS:!.*]] 22 // CHECK-NEW-SAME: !tbaa [[TAG_A:![0-9]*]] 23 *a1 = *a2; 24 } 25 26 struct B { 27 char c; 28 A a; 29 int i; 30 }; 31 32 void copy2(B *b1, B *b2) { 33 // CHECK-LABEL: _Z5copy2P1BS0_ 34 // 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) 35 // CHECK-OLD-SAME: !tbaa.struct [[TS2:!.*]] 36 // CHECK-NEW-SAME: !tbaa [[TAG_B:![0-9]*]] 37 *b1 = *b2; 38 } 39 40 struct S { 41 _Complex char cc; 42 _Complex int ci; 43 }; 44 45 union U { 46 _Complex int ci; 47 S s; 48 }; 49 50 void copy3(U *u1, U *u2) { 51 // CHECK-LABEL: _Z5copy3P1US0_ 52 // 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) 53 // CHECK-OLD-SAME: !tbaa.struct [[TS3:!.*]] 54 // CHECK-NEW-SAME: !tbaa [[TAG_U:![0-9]*]] 55 *u1 = *u2; 56 } 57 58 // Make sure that zero-length bitfield works. 59 struct C { 60 char a; 61 int : 0; // Shall not be ignored; see r185018. 62 char b; 63 char c; 64 } __attribute__((ms_struct)); 65 66 void copy4(C *c1, C *c2) { 67 // CHECK-LABEL: _Z5copy4P1CS0_ 68 // 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) 69 // CHECK-OLD-SAME: !tbaa.struct [[TS4:!.*]] 70 // CHECK-NEW-SAME: !tbaa [[TAG_C:![0-9]*]] 71 *c1 = *c2; 72 } 73 74 struct D { 75 char a; 76 int : 0; 77 char b; 78 char c; 79 }; 80 81 void copy5(D *d1, D *d2) { 82 // CHECK-LABEL: _Z5copy5P1DS0_ 83 // 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) 84 // CHECK-OLD-SAME: !tbaa.struct [[TS5:!.*]] 85 // CHECK-NEW-SAME: !tbaa [[TAG_D:![0-9]*]] 86 *d1 = *d2; 87 } 88 89 void copy6(AA *a1, A *a2) { 90 // CHECK-LABEL: _Z5copy6P1AS0_ 91 // 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) 92 // CHECK-OLD-SAME: !tbaa.struct [[TS]] 93 // CHECK-NEW-SAME: !tbaa [[TAG_char:![0-9]*]] 94 *a1 = *a2; 95 } 96 97 void copy7(A *a1, AA *a2) { 98 // CHECK-LABEL: _Z5copy7P1AS0_ 99 // 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) 100 // CHECK-OLD-SAME: !tbaa.struct [[TS]] 101 // CHECK-NEW-SAME: !tbaa [[TAG_char]] 102 *a1 = *a2; 103 } 104 105 struct NamedBitfields { 106 signed f0 : 9; 107 unsigned f1 : 2; 108 char f2; 109 double f3; 110 }; 111 112 void copy8(NamedBitfields *a1, NamedBitfields *a2) { 113 // CHECK-LABEL: _Z5copy8P14NamedBitfieldsS0_ 114 // 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), 115 // CHECK-OLD-SAME: !tbaa.struct [[TS6:!.*]] 116 // CHECK-NEW-SAME: !tbaa [[TAG_NamedBitfields:!.+]], !tbaa.struct 117 *a1 = *a2; 118 } 119 120 struct NamedBitfields2 { 121 char a, b, c; 122 signed f0 : 3; 123 unsigned f1 : 4; 124 char f2 : 7; 125 double f3; 126 unsigned f4 : 4; 127 }; 128 129 void copy9(NamedBitfields2 *a1, NamedBitfields2 *a2) { 130 // CHECK-LABEL: _Z5copy9P15NamedBitfields2S0_ 131 // 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), 132 // CHECK-OLD-SAME: !tbaa.struct [[TS7:!.*]] 133 // CHECK-NEW-SAME: !tbaa [[TAG_NamedBitfields2:!.+]], !tbaa.struct 134 *a1 = *a2; 135 } 136 137 // Test with unnamed bitfield at the start and in between named ones.. 138 struct NamedBitfields3 { 139 unsigned : 11; 140 signed f0 : 9; 141 char : 2; 142 int f1 : 2; 143 double f2; 144 }; 145 146 void copy10(NamedBitfields3 *a1, NamedBitfields3 *a2) { 147 // CHECK-LABEL: _Z6copy10P15NamedBitfields3S0_ 148 // 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), 149 // CHECK-OLD-SAME: !tbaa.struct [[TS8:!.*]] 150 // CHECK-NEW-SAME: !tbaa [[TAG_NamedBitfields3:!.+]], !tbaa.struct 151 *a1 = *a2; 152 } 153 154 union U2 { 155 double d; 156 float f; 157 }; 158 159 struct UnionMember1 { 160 U2 u; 161 int p; 162 }; 163 164 void copy11(UnionMember1 *a1, UnionMember1 *a2) { 165 // CHECK-LABEL: _Z6copy11P12UnionMember1S0_ 166 // 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), 167 // CHECK-OLD-SAME: !tbaa.struct [[TS9:!.*]] 168 // CHECK-NEW-SAME: !tbaa [[TAG_UnionMember1:!.+]], !tbaa.struct 169 *a1 = *a2; 170 } 171 172 struct UnionMember2 { 173 int p; 174 U2 u; 175 }; 176 177 void copy12(UnionMember2 *a1, UnionMember2 *a2) { 178 // CHECK-LABEL: _Z6copy12P12UnionMember2S0_ 179 // 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), 180 // CHECK-OLD-SAME: !tbaa.struct [[TS10:!.*]] 181 // CHECK-NEW-SAME: !tbaa [[TAG_UnionMember2:!.+]], !tbaa.struct 182 183 *a1 = *a2; 184 } 185 186 // CHECK-OLD: [[TS]] = !{i64 0, i64 2, !{{.*}}, i64 4, i64 4, !{{.*}}, i64 8, i64 1, !{{.*}}, i64 12, i64 4, !{{.*}}} 187 // CHECK-OLD: [[CHAR:!.*]] = !{!"omnipotent char", !{{.*}}} 188 // CHECK-OLD: [[TAG_INT:!.*]] = !{[[INT:!.*]], [[INT]], i64 0} 189 // CHECK-OLD: [[INT]] = !{!"int", [[CHAR]] 190 // CHECK-OLD: [[TAG_CHAR:!.*]] = !{[[CHAR]], [[CHAR]], i64 0} 191 // (offset, size) = (0,1) char; (4,2) short; (8,4) int; (12,1) char; (16,4) int; (20,4) int 192 // CHECK-OLD: [[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, {{.*}}} 193 // (offset, size) = (0,8) char; (0,2) char; (4,8) char 194 // CHECK-OLD: [[TS3]] = !{i64 0, i64 8, !{{.*}}, i64 0, i64 2, !{{.*}}, i64 4, i64 8, !{{.*}}} 195 // CHECK-OLD: [[TS4]] = !{i64 0, i64 1, [[TAG_CHAR]], i64 1, i64 1, [[TAG_CHAR]], i64 2, i64 1, [[TAG_CHAR]]} 196 // CHECK-OLD: [[TS5]] = !{i64 0, i64 1, [[TAG_CHAR]], i64 4, i64 1, [[TAG_CHAR]], i64 5, i64 1, [[TAG_CHAR]]} 197 // CHECK-OLD: [[TS6]] = !{i64 0, i64 2, [[TAG_CHAR]], i64 2, i64 1, [[TAG_CHAR]], i64 8, i64 8, [[TAG_DOUBLE:!.+]]} 198 // CHECK-OLD: [[TAG_DOUBLE]] = !{[[DOUBLE:!.+]], [[DOUBLE]], i64 0} 199 // CHECK-OLD [[DOUBLE]] = !{!"double", [[CHAR]], i64 0} 200 // CHECK-OLD: [[TS7]] = !{i64 0, i64 1, [[TAG_CHAR]], i64 1, i64 1, [[TAG_CHAR]], i64 2, i64 1, [[TAG_CHAR]], i64 3, i64 1, [[TAG_CHAR]], i64 4, i64 1, [[TAG_CHAR]], i64 8, i64 8, [[TAG_DOUBLE]], i64 16, i64 1, [[TAG_CHAR]]} 201 // CHECK-OLD: [[TS8]] = !{i64 0, i64 4, [[TAG_CHAR]], i64 8, i64 8, [[TAG_DOUBLE]]} 202 // CHECK-OLD: [[TS9]] = !{i64 0, i64 8, [[TAG_DOUBLE]], i64 0, i64 4, [[TAG_FLOAT:!.+]], i64 8, i64 4, [[TAG_INT]]} 203 // CHECK-OLD: [[TAG_FLOAT]] = !{[[FLOAT:!.+]], [[FLOAT]], i64 0} 204 // CHECK-OLD: [[FLOAT]] = !{!"float", [[CHAR]], i64 0} 205 // CHECK-OLD: [[TS10]] = !{i64 0, i64 4, [[TAG_INT]], i64 8, i64 8, [[TAG_DOUBLE]], i64 8, i64 4, [[TAG_FLOAT:!.+]]} 206 207 // CHECK-NEW-DAG: [[TYPE_char:!.*]] = !{{{.*}}, i64 1, !"omnipotent char"} 208 // CHECK-NEW-DAG: [[TAG_char]] = !{[[TYPE_char]], [[TYPE_char]], i64 0, i64 0} 209 // CHECK-NEW-DAG: [[TYPE_short:!.*]] = !{[[TYPE_char]], i64 2, !"short"} 210 // CHECK-NEW-DAG: [[TYPE_int:!.*]] = !{[[TYPE_char]], i64 4, !"int"} 211 // CHECK-NEW-DAG: [[TYPE_A:!.*]] = !{[[TYPE_char]], i64 16, !"_ZTS1A", [[TYPE_short]], i64 0, i64 2, [[TYPE_int]], i64 4, i64 4, [[TYPE_char]], i64 8, i64 1, [[TYPE_int]], i64 12, i64 4} 212 // CHECK-NEW-DAG: [[TAG_A]] = !{[[TYPE_A]], [[TYPE_A]], i64 0, i64 16} 213 // CHECK-NEW-DAG: [[TYPE_B:!.*]] = !{[[TYPE_char]], i64 24, !"_ZTS1B", [[TYPE_char]], i64 0, i64 1, [[TYPE_A]], i64 4, i64 16, [[TYPE_int]], i64 20, i64 4} 214 // CHECK-NEW-DAG: [[TAG_B]] = !{[[TYPE_B]], [[TYPE_B]], i64 0, i64 24} 215 // CHECK-NEW-DAG: [[TAG_U]] = !{[[TYPE_char]], [[TYPE_char]], i64 0, i64 12} 216 // CHECK-NEW-DAG: [[TYPE_C:!.*]] = !{[[TYPE_char]], i64 3, !"_ZTS1C", [[TYPE_char]], i64 0, i64 1, [[TYPE_char]], i64 1, i64 1, [[TYPE_char]], i64 2, i64 1} 217 // CHECK-NEW-DAG: [[TAG_C]] = !{[[TYPE_C]], [[TYPE_C]], i64 0, i64 3} 218 // CHECK-NEW-DAG: [[TYPE_D:!.*]] = !{[[TYPE_char]], i64 6, !"_ZTS1D", [[TYPE_char]], i64 0, i64 1, [[TYPE_char]], i64 4, i64 1, [[TYPE_char]], i64 5, i64 1} 219 // CHECK-NEW-DAG: [[TAG_D]] = !{[[TYPE_D]], [[TYPE_D]], i64 0, i64 6} 220 // CHECK-NEW-DAG: [[TAG_NamedBitfields]] = !{[[TYPE_NamedBitfields:!.+]], [[TYPE_NamedBitfields]], i64 0, i64 16} 221 // CHECK-NEW-DAG: [[TYPE_NamedBitfields]] = !{[[TYPE_char]], i64 16, !"_ZTS14NamedBitfields", [[TYPE_int]], i64 0, i64 4, [[TYPE_int]], i64 1, i64 4, [[TYPE_char]], i64 2, i64 1, [[TYPE_double:!.+]], i64 8, i64 8} 222 // CHECK-NEW-DAG: [[TYPE_double]] = !{[[TYPE_char]], i64 8, !"double"} 223 // CHECK-NEW-DAG: [[TAG_NamedBitfields2]] = !{[[TYPE_NamedBitfields2:!.+]], [[TYPE_NamedBitfields2]], i64 0, i64 24} 224 // CHECK-NEW-DAG: [[TYPE_NamedBitfields2]] = !{[[TYPE_char]], i64 24, !"_ZTS15NamedBitfields2", [[TYPE_char]], i64 0, i64 1, [[TYPE_char]], i64 1, i64 1, [[TYPE_char]], i64 2, i64 1, [[TYPE_int]], i64 3, i64 4, [[TYPE_int]], i64 3, i64 4, [[TYPE_char]], i64 4, i64 1, [[TYPE_double]], i64 8, i64 8, [[TYPE_int]], i64 16, i64 4} 225 // CHECK-NEW-DAG: [[TAG_NamedBitfields3]] = !{[[TYPE_NamedBitfields3:!.+]], [[TYPE_NamedBitfields3]], i64 0, i64 16} 226 // CHECK-NEW-DAG: [[TYPE_NamedBitfields3]] = !{[[TYPE_char]], i64 16, !"_ZTS15NamedBitfields3", [[TYPE_int]], i64 1, i64 4, [[TYPE_int]], i64 2, i64 4, [[TYPE_double]], i64 8, i64 8} 227 // CHECK-NEW-DAG: [[TAG_UnionMember1]] = !{[[TYPE_UnionMember1:!.+]], [[TYPE_UnionMember1]], i64 0, i64 16} 228 // CHECK-NEW-DAG: [[TYPE_UnionMember1]] = !{[[TYPE_char]], i64 16, !"_ZTS12UnionMember1", [[TYPE_char]], i64 0, i64 8, [[TYPE_int]], i64 8, i64 4} 229 // CHECK-NEW-DAG: [[TAG_UnionMember2]] = !{[[TYPE_UnionMember2:!.+]], [[TYPE_UnionMember2]], i64 0, i64 16} 230 // CHECK-NEW-DAG: [[TYPE_UnionMember2]] = !{[[TYPE_char]], i64 16, !"_ZTS12UnionMember2", [[TYPE_int]], i64 0, i64 4, [[TYPE_char]], i64 8, i64 8} 231