1 // RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s
2 // RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -struct-path-tbaa -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=PATH
3 // Test TBAA metadata generated by front-end.
5 typedef unsigned char uint8_t;
6 typedef unsigned short uint16_t;
7 typedef unsigned int uint32_t;
8 typedef unsigned long long uint64_t;
47 uint32_t g(uint32_t *s, StructA *A, uint64_t count) {
48 // CHECK: define i32 @{{.*}}(
49 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
50 // CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
51 // PATH: define i32 @{{.*}}(
52 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_i32:!.*]]
53 // PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa [[TAG_A_f32:!.*]]
59 uint32_t g2(uint32_t *s, StructA *A, uint64_t count) {
60 // CHECK: define i32 @{{.*}}(
61 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
62 // CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
63 // PATH: define i32 @{{.*}}(
64 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_i32]]
65 // PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa [[TAG_A_f16:!.*]]
71 uint32_t g3(StructA *A, StructB *B, uint64_t count) {
72 // CHECK: define i32 @{{.*}}(
73 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
74 // CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
75 // PATH: define i32 @{{.*}}(
76 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_A_f32]]
77 // PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa [[TAG_B_a_f32:!.*]]
83 uint32_t g4(StructA *A, StructB *B, uint64_t count) {
84 // CHECK: define i32 @{{.*}}(
85 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
86 // CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
87 // PATH: define i32 @{{.*}}(
88 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_A_f32]]
89 // PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa [[TAG_B_a_f16:!.*]]
95 uint32_t g5(StructA *A, StructB *B, uint64_t count) {
96 // CHECK: define i32 @{{.*}}(
97 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
98 // CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
99 // PATH: define i32 @{{.*}}(
100 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_A_f32]]
101 // PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa [[TAG_B_f32:!.*]]
107 uint32_t g6(StructA *A, StructB *B, uint64_t count) {
108 // CHECK: define i32 @{{.*}}(
109 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
110 // CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
111 // PATH: define i32 @{{.*}}(
112 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_A_f32]]
113 // PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa [[TAG_B_a_f32_2:!.*]]
119 uint32_t g7(StructA *A, StructS *S, uint64_t count) {
120 // CHECK: define i32 @{{.*}}(
121 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
122 // CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
123 // PATH: define i32 @{{.*}}(
124 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_A_f32]]
125 // PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa [[TAG_S_f32:!.*]]
131 uint32_t g8(StructA *A, StructS *S, uint64_t count) {
132 // CHECK: define i32 @{{.*}}(
133 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
134 // CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
135 // PATH: define i32 @{{.*}}(
136 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_A_f32]]
137 // PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa [[TAG_S_f16:!.*]]
143 uint32_t g9(StructS *S, StructS2 *S2, uint64_t count) {
144 // CHECK: define i32 @{{.*}}(
145 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
146 // CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
147 // PATH: define i32 @{{.*}}(
148 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_S_f32]]
149 // PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa [[TAG_S2_f32:!.*]]
155 uint32_t g10(StructS *S, StructS2 *S2, uint64_t count) {
156 // CHECK: define i32 @{{.*}}(
157 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
158 // CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
159 // PATH: define i32 @{{.*}}(
160 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_S_f32]]
161 // PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa [[TAG_S2_f16:!.*]]
167 uint32_t g11(StructC *C, StructD *D, uint64_t count) {
168 // CHECK: define i32 @{{.*}}(
169 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
170 // CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
171 // PATH: define i32 @{{.*}}(
172 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_C_b_a_f32:!.*]]
173 // PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa [[TAG_D_b_a_f32:!.*]]
179 uint32_t g12(StructC *C, StructD *D, uint64_t count) {
180 // CHECK: define i32 @{{.*}}(
181 // CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
182 // CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
183 // TODO: differentiate the two accesses.
184 // PATH: define i32 @{{.*}}(
185 // PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa [[TAG_B_a_f32]]
186 // PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa [[TAG_B_a_f32]]
187 StructB *b1 = &(C->b);
188 StructB *b2 = &(D->b);
189 // b1, b2 have different context.
195 // Make sure that zero-length bitfield works.
196 #define ATTR __attribute__ ((ms_struct))
199 int :0; /* ignored; prior field is not a bitfield. */
203 char g13(struct five *a, struct five *b) {
205 // CHECK: define signext i8 @{{.*}}(
206 // CHECK: load i8* %{{.*}}, align 1, !tbaa !1
207 // PATH: define signext i8 @{{.*}}(
208 // PATH: load i8* %{{.*}}, align 1, !tbaa [[TAG_five_b:!.*]]
217 char g14(struct six *a, struct six *b) {
218 // CHECK: define signext i8 @{{.*}}(
219 // CHECK: load i8* %{{.*}}, align 1, !tbaa !1
220 // PATH: define signext i8 @{{.*}}(
221 // PATH: load i8* %{{.*}}, align 1, !tbaa [[TAG_six_b:!.*]]
225 // CHECK: !1 = metadata !{metadata !"omnipotent char", metadata !2}
226 // CHECK: !2 = metadata !{metadata !"Simple C/C++ TBAA"}
227 // CHECK: !4 = metadata !{metadata !"int", metadata !1}
228 // CHECK: !5 = metadata !{metadata !"short", metadata !1}
230 // PATH: [[TYPE_CHAR:!.*]] = metadata !{metadata !"omnipotent char", metadata !3
231 // PATH: [[TAG_i32]] = metadata !{metadata [[TYPE_INT:!.*]], metadata [[TYPE_INT]], i64 0}
232 // PATH: [[TYPE_INT]] = metadata !{metadata !"int", metadata [[TYPE_CHAR]]
233 // PATH: [[TAG_A_f32]] = metadata !{metadata [[TYPE_A:!.*]], metadata [[TYPE_INT]], i64 4}
234 // PATH: [[TYPE_A]] = metadata !{metadata !"_ZTS7StructA", metadata [[TYPE_SHORT:!.*]], i64 0, metadata [[TYPE_INT]], i64 4, metadata [[TYPE_SHORT]], i64 8, metadata [[TYPE_INT]], i64 12}
235 // PATH: [[TYPE_SHORT:!.*]] = metadata !{metadata !"short", metadata [[TYPE_CHAR]]
236 // PATH: [[TAG_A_f16]] = metadata !{metadata [[TYPE_A]], metadata [[TYPE_SHORT]], i64 0}
237 // PATH: [[TAG_B_a_f32]] = metadata !{metadata [[TYPE_B:!.*]], metadata [[TYPE_INT]], i64 8}
238 // PATH: [[TYPE_B]] = metadata !{metadata !"_ZTS7StructB", metadata [[TYPE_SHORT]], i64 0, metadata [[TYPE_A]], i64 4, metadata [[TYPE_INT]], i64 20}
239 // PATH: [[TAG_B_a_f16]] = metadata !{metadata [[TYPE_B]], metadata [[TYPE_SHORT]], i64 4}
240 // PATH: [[TAG_B_f32]] = metadata !{metadata [[TYPE_B]], metadata [[TYPE_INT]], i64 20}
241 // PATH: [[TAG_B_a_f32_2]] = metadata !{metadata [[TYPE_B]], metadata [[TYPE_INT]], i64 16}
242 // PATH: [[TAG_S_f32]] = metadata !{metadata [[TYPE_S:!.*]], metadata [[TYPE_INT]], i64 4}
243 // PATH: [[TYPE_S]] = metadata !{metadata !"_ZTS7StructS", metadata [[TYPE_SHORT]], i64 0, metadata [[TYPE_INT]], i64 4}
244 // PATH: [[TAG_S_f16]] = metadata !{metadata [[TYPE_S]], metadata [[TYPE_SHORT]], i64 0}
245 // PATH: [[TAG_S2_f32]] = metadata !{metadata [[TYPE_S2:!.*]], metadata [[TYPE_INT]], i64 4}
246 // PATH: [[TYPE_S2]] = metadata !{metadata !"_ZTS8StructS2", metadata [[TYPE_SHORT]], i64 0, metadata [[TYPE_INT]], i64 4}
247 // PATH: [[TAG_S2_f16]] = metadata !{metadata [[TYPE_S2]], metadata [[TYPE_SHORT]], i64 0}
248 // PATH: [[TAG_C_b_a_f32]] = metadata !{metadata [[TYPE_C:!.*]], metadata [[TYPE_INT]], i64 12}
249 // PATH: [[TYPE_C]] = metadata !{metadata !"_ZTS7StructC", metadata [[TYPE_SHORT]], i64 0, metadata [[TYPE_B]], i64 4, metadata [[TYPE_INT]], i64 28}
250 // PATH: [[TAG_D_b_a_f32]] = metadata !{metadata [[TYPE_D:!.*]], metadata [[TYPE_INT]], i64 12}
251 // PATH: [[TYPE_D]] = metadata !{metadata !"_ZTS7StructD", metadata [[TYPE_SHORT]], i64 0, metadata [[TYPE_B]], i64 4, metadata [[TYPE_INT]], i64 28, metadata [[TYPE_CHAR]], i64 32}
252 // PATH: [[TAG_five_b]] = metadata !{metadata [[TYPE_five:!.*]], metadata [[TYPE_CHAR]], i64 1}
253 // PATH: [[TYPE_five]] = metadata !{metadata !"_ZTS4five", metadata [[TYPE_CHAR]], i64 0, metadata [[TYPE_CHAR]], i64 1, metadata [[TYPE_CHAR]], i64 2}
254 // PATH: [[TAG_six_b]] = metadata !{metadata [[TYPE_six:!.*]], metadata [[TYPE_CHAR]], i64 4}
255 // PATH: [[TYPE_six]] = metadata !{metadata !"_ZTS3six", metadata [[TYPE_CHAR]], i64 0, metadata [[TYPE_INT]], i64 4, metadata [[TYPE_CHAR]], i64 4, metadata [[TYPE_CHAR]], i64 5}