Re-land [openmp] Fix warnings when building on Windows with latest MSVC or Clang...
[llvm-project.git] / llvm / test / Analysis / TypeBasedAliasAnalysis / tbaa-path-new.ll
blobf2451704fabd218df9c543a253e6b430d51f325f
1 ; RUN: opt < %s -aa-pipeline=tbaa,basic-aa -passes=aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s
2 ; RUN: opt < %s -aa-pipeline=tbaa,basic-aa -passes=gvn -S | FileCheck %s --check-prefix=OPT
3 ; Generated from clang/test/CodeGen/tbaa.cpp with "-O1 -new-struct-path-tbaa".
5 %struct.StructA = type { i16, i32, i16, i32 }
6 %struct.StructB = type { i16, %struct.StructA, i32 }
7 %struct.StructS = type { i16, i32 }
8 %struct.StructS2 = type { i16, i32 }
9 %struct.StructC = type { i16, %struct.StructB, i32 }
10 %struct.StructD = type { i16, %struct.StructB, i32, i8 }
12 ; uint32_t g(uint32_t *s, StructA *A, uint64_t count) {
13 ;   *s = 1;
14 ;   A->f32 = 4;
15 ;   return *s;
16 ; }
18 define i32 @_Z1gPjP7StructAy(ptr nocapture %s, ptr nocapture %A, i64 %count) {
19 entry:
20 ; CHECK-LABEL: Z1gPjP7StructAy
21 ; CHECK: MayAlias: store i32 4, {{.*}} <-> store i32 1,
22 ; OPT-LABEL: _Z1gPjP7StructAy
23 ; OPT: store i32 1,
24 ; OPT: store i32 4,
25 ; OPT: %[[RET:.*]] = load i32,
26 ; OPT: ret i32 %[[RET]]
27   store i32 1, ptr %s, align 4, !tbaa !2
28   %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
29   store i32 4, ptr %f32, align 4, !tbaa !6
30   %0 = load i32, ptr %s, align 4, !tbaa !2
31   ret i32 %0
34 ; uint32_t g2(uint32_t *s, StructA *A, uint64_t count) {
35 ;   *s = 1;
36 ;   A->f16 = 4;
37 ;   return *s;
38 ; }
40 define i32 @_Z2g2PjP7StructAy(ptr nocapture %s, ptr nocapture %A, i64 %count) {
41 entry:
42 ; CHECK-LABEL: _Z2g2PjP7StructAy
43 ; CHECK: NoAlias: store i16 4, {{.*}} <-> store i32 1,
44 ; OPT-LABEL: _Z2g2PjP7StructAy
45 ; OPT: store i32 1,
46 ; OPT: store i16 4,
47 ; Remove a load and propagate the value from store.
48 ; OPT: ret i32 1
49   store i32 1, ptr %s, align 4, !tbaa !2
50   store i16 4, ptr %A, align 4, !tbaa !9
51   ret i32 1
54 ; uint32_t g3(StructA *A, StructB *B, uint64_t count) {
55 ;   A->f32 = 1;
56 ;   B->a.f32 = 4;
57 ;   return A->f32;
58 ; }
60 define i32 @_Z2g3P7StructAP7StructBy(ptr nocapture %A, ptr nocapture %B, i64 %count) {
61 entry:
62 ; CHECK-LABEL: _Z2g3P7StructAP7StructBy
63 ; CHECK: MayAlias: store i32 4, {{.*}} <-> store i32 1,
64 ; OPT-LABEL: _Z2g3P7StructAP7StructBy
65 ; OPT: store i32 1
66 ; OPT: store i32 4
67 ; OPT: %[[RET:.*]] = load i32,
68 ; OPT: ret i32 %[[RET]]
69   %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
70   store i32 1, ptr %f32, align 4, !tbaa !6
71   %f321 = getelementptr inbounds %struct.StructB, ptr %B, i64 0, i32 1, i32 1
72   store i32 4, ptr %f321, align 4, !tbaa !10
73   %0 = load i32, ptr %f32, align 4, !tbaa !6
74   ret i32 %0
77 ; uint32_t g4(StructA *A, StructB *B, uint64_t count) {
78 ;   A->f32 = 1;
79 ;   B->a.f16 = 4;
80 ;   return A->f32;
81 ; }
83 define i32 @_Z2g4P7StructAP7StructBy(ptr nocapture %A, ptr nocapture %B, i64 %count) {
84 entry:
85 ; CHECK-LABEL: _Z2g4P7StructAP7StructBy
86 ; CHECK: NoAlias: store i16 4, {{.*}} <-> store i32 1,
87 ; OPT-LABEL: _Z2g4P7StructAP7StructBy
88 ; OPT: store i32 1,
89 ; OPT: store i16 4,
90 ; Remove a load and propagate the value from store.
91 ; OPT: ret i32 1
92   %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
93   store i32 1, ptr %f32, align 4, !tbaa !6
94   %f16 = getelementptr inbounds %struct.StructB, ptr %B, i64 0, i32 1, i32 0
95   store i16 4, ptr %f16, align 4, !tbaa !12
96   ret i32 1
99 ; uint32_t g5(StructA *A, StructB *B, uint64_t count) {
100 ;   A->f32 = 1;
101 ;   B->f32 = 4;
102 ;   return A->f32;
103 ; }
105 define i32 @_Z2g5P7StructAP7StructBy(ptr nocapture %A, ptr nocapture %B, i64 %count) {
106 entry:
107 ; CHECK-LABEL: _Z2g5P7StructAP7StructBy
108 ; CHECK: NoAlias: store i32 4, {{.*}} <-> store i32 1,
109 ; OPT-LABEL: _Z2g5P7StructAP7StructBy
110 ; OPT: store i32 1,
111 ; OPT: store i32 4,
112 ; Remove a load and propagate the value from store.
113 ; OPT: ret i32 1
114   %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
115   store i32 1, ptr %f32, align 4, !tbaa !6
116   %f321 = getelementptr inbounds %struct.StructB, ptr %B, i64 0, i32 2
117   store i32 4, ptr %f321, align 4, !tbaa !13
118   ret i32 1
121 ; uint32_t g6(StructA *A, StructB *B, uint64_t count) {
122 ;   A->f32 = 1;
123 ;   B->a.f32_2 = 4;
124 ;   return A->f32;
125 ; }
127 define i32 @_Z2g6P7StructAP7StructBy(ptr nocapture %A, ptr nocapture %B, i64 %count) {
128 entry:
129 ; CHECK-LABEL: _Z2g6P7StructAP7StructBy
130 ; CHECK: NoAlias: store i32 4, {{.*}} <-> store i32 1,
131 ; OPT-LABEL: _Z2g6P7StructAP7StructBy
132 ; OPT: store i32 1,
133 ; OPT: store i32 4,
134 ; Remove a load and propagate the value from store.
135 ; OPT: ret i32 1
136   %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
137   store i32 1, ptr %f32, align 4, !tbaa !6
138   %f32_2 = getelementptr inbounds %struct.StructB, ptr %B, i64 0, i32 1, i32 3
139   store i32 4, ptr %f32_2, align 4, !tbaa !14
140   ret i32 1
143 ; uint32_t g7(StructA *A, StructS *S, uint64_t count) {
144 ;   A->f32 = 1;
145 ;   S->f32 = 4;
146 ;   return A->f32;
147 ; }
149 define i32 @_Z2g7P7StructAP7StructSy(ptr nocapture %A, ptr nocapture %S, i64 %count) {
150 entry:
151 ; CHECK-LABEL: _Z2g7P7StructAP7StructSy
152 ; CHECK: NoAlias: store i32 4, {{.*}} <-> store i32 1,
153 ; OPT-LABEL: _Z2g7P7StructAP7StructSy
154 ; OPT: store i32 1,
155 ; OPT: store i32 4,
156 ; Remove a load and propagate the value from store.
157 ; OPT: ret i32 1
158   %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
159   store i32 1, ptr %f32, align 4, !tbaa !6
160   %f321 = getelementptr inbounds %struct.StructS, ptr %S, i64 0, i32 1
161   store i32 4, ptr %f321, align 4, !tbaa !15
162   ret i32 1
165 ; uint32_t g8(StructA *A, StructS *S, uint64_t count) {
166 ;   A->f32 = 1;
167 ;   S->f16 = 4;
168 ;   return A->f32;
169 ; }
171 define i32 @_Z2g8P7StructAP7StructSy(ptr nocapture %A, ptr nocapture %S, i64 %count) {
172 entry:
173 ; CHECK-LABEL: _Z2g8P7StructAP7StructSy
174 ; CHECK: NoAlias: store i16 4, {{.*}} <-> store i32 1,
175 ; OPT-LABEL: _Z2g8P7StructAP7StructSy
176 ; OPT: store i32 1,
177 ; OPT: store i16 4,
178 ; Remove a load and propagate the value from store.
179 ; OPT: ret i32 1
180   %f32 = getelementptr inbounds %struct.StructA, ptr %A, i64 0, i32 1
181   store i32 1, ptr %f32, align 4, !tbaa !6
182   store i16 4, ptr %S, align 4, !tbaa !17
183   ret i32 1
186 ; uint32_t g9(StructS *S, StructS2 *S2, uint64_t count) {
187 ;   S->f32 = 1;
188 ;   S2->f32 = 4;
189 ;   return S->f32;
190 ; }
192 define i32 @_Z2g9P7StructSP8StructS2y(ptr nocapture %S, ptr nocapture %S2, i64 %count) {
193 entry:
194 ; CHECK-LABEL: _Z2g9P7StructSP8StructS2y
195 ; CHECK: NoAlias: store i32 4, {{.*}} <-> store i32 1,
196 ; OPT-LABEL: _Z2g9P7StructSP8StructS2y
197 ; OPT: store i32 1,
198 ; OPT: store i32 4,
199 ; Remove a load and propagate the value from store.
200 ; OPT: ret i32 1
201   %f32 = getelementptr inbounds %struct.StructS, ptr %S, i64 0, i32 1
202   store i32 1, ptr %f32, align 4, !tbaa !15
203   %f321 = getelementptr inbounds %struct.StructS2, ptr %S2, i64 0, i32 1
204   store i32 4, ptr %f321, align 4, !tbaa !18
205   ret i32 1
208 ; uint32_t g10(StructS *S, StructS2 *S2, uint64_t count) {
209 ;   S->f32 = 1;
210 ;   S2->f16 = 4;
211 ;   return S->f32;
212 ; }
214 define i32 @_Z3g10P7StructSP8StructS2y(ptr nocapture %S, ptr nocapture %S2, i64 %count) {
215 entry:
216 ; CHECK-LABEL: _Z3g10P7StructSP8StructS2y
217 ; CHECK: NoAlias: store i16 4, {{.*}} <-> store i32 1,
218 ; OPT-LABEL: _Z3g10P7StructSP8StructS2y
219 ; OPT: store i32 1,
220 ; OPT: store i16 4,
221 ; Remove a load and propagate the value from store.
222 ; OPT: ret i32 1
223   %f32 = getelementptr inbounds %struct.StructS, ptr %S, i64 0, i32 1
224   store i32 1, ptr %f32, align 4, !tbaa !15
225   store i16 4, ptr %S2, align 4, !tbaa !20
226   ret i32 1
229 ; uint32_t g11(StructC *C, StructD *D, uint64_t count) {
230 ;   C->b.a.f32 = 1;
231 ;   D->b.a.f32 = 4;
232 ;   return C->b.a.f32;
233 ; }
235 define i32 @_Z3g11P7StructCP7StructDy(ptr nocapture %C, ptr nocapture %D, i64 %count) {
236 entry:
237 ; CHECK-LABEL: _Z3g11P7StructCP7StructDy
238 ; CHECK: NoAlias: store i32 4, {{.*}} <-> store i32 1,
239 ; OPT-LABEL: _Z3g11P7StructCP7StructDy
240 ; OPT: store i32 1,
241 ; OPT: store i32 4,
242 ; Remove a load and propagate the value from store.
243 ; OPT: ret i32 1
244   %f32 = getelementptr inbounds %struct.StructC, ptr %C, i64 0, i32 1, i32 1, i32 1
245   store i32 1, ptr %f32, align 4, !tbaa !21
246   %f323 = getelementptr inbounds %struct.StructD, ptr %D, i64 0, i32 1, i32 1, i32 1
247   store i32 4, ptr %f323, align 4, !tbaa !23
248   ret i32 1
251 ; uint32_t g12(StructC *C, StructD *D, uint64_t count) {
252 ;   StructB *b1 = &(C->b);
253 ;   StructB *b2 = &(D->b);
254 ;   // b1, b2 have different context.
255 ;   b1->a.f32 = 1;
256 ;   b2->a.f32 = 4;
257 ;   return b1->a.f32;
258 ; }
260 define i32 @_Z3g12P7StructCP7StructDy(ptr nocapture %C, ptr nocapture %D, i64 %count) {
261 entry:
262 ; CHECK-LABEL: _Z3g12P7StructCP7StructDy
263 ; CHECK: MayAlias: store i32 4, {{.*}} <-> store i32 1,
264 ; OPT-LABEL: _Z3g12P7StructCP7StructDy
265 ; OPT: store i32 1,
266 ; OPT: store i32 4,
267 ; OPT: %[[RET:.*]] = load i32,
268 ; OPT: ret i32 %[[RET]]
269   %f32 = getelementptr inbounds %struct.StructC, ptr %C, i64 0, i32 1, i32 1, i32 1
270   store i32 1, ptr %f32, align 4, !tbaa !10
271   %f325 = getelementptr inbounds %struct.StructD, ptr %D, i64 0, i32 1, i32 1, i32 1
272   store i32 4, ptr %f325, align 4, !tbaa !10
273   %0 = load i32, ptr %f32, align 4, !tbaa !10
274   ret i32 %0
277 !2 = !{!3, !3, i64 0, i64 4}
278 !3 = !{!4, i64 4, !"int"}
279 !4 = !{!5, i64 1, !"omnipotent char"}
280 !5 = !{!"Simple C++ TBAA"}
281 !6 = !{!7, !3, i64 4, i64 4}
282 !7 = !{!4, i64 16, !"_ZTS7StructA", !8, i64 0, i64 2, !3, i64 4, i64 4, !8, i64 8, i64 2, !3, i64 12, i64 4}
283 !8 = !{!4, i64 2, !"short"}
284 !9 = !{!7, !8, i64 0, i64 2}
285 !10 = !{!11, !3, i64 8, i64 4}
286 !11 = !{!4, i64 24, !"_ZTS7StructB", !8, i64 0, i64 2, !7, i64 4, i64 16, !3, i64 20, i64 4}
287 !12 = !{!11, !8, i64 4, i64 2}
288 !13 = !{!11, !3, i64 20, i64 4}
289 !14 = !{!11, !3, i64 16, i64 4}
290 !15 = !{!16, !3, i64 4, i64 4}
291 !16 = !{!4, i64 8, !"_ZTS7StructS", !8, i64 0, i64 2, !3, i64 4, i64 4}
292 !17 = !{!16, !8, i64 0, i64 2}
293 !18 = !{!19, !3, i64 4, i64 4}
294 !19 = !{!4, i64 8, !"_ZTS8StructS2", !8, i64 0, i64 2, !3, i64 4, i64 4}
295 !20 = !{!19, !8, i64 0, i64 2}
296 !21 = !{!22, !3, i64 12, i64 4}
297 !22 = !{!4, i64 32, !"_ZTS7StructC", !8, i64 0, i64 2, !11, i64 4, i64 24, !3, i64 28, i64 4}
298 !23 = !{!24, !3, i64 12, i64 4}
299 !24 = !{!4, i64 36, !"_ZTS7StructD", !8, i64 0, i64 2, !11, i64 4, i64 24, !3, i64 28, i64 4, !4, i64 32, i64 1}
300 !25 = !{!26, !4, i64 1, i64 1}
301 !26 = !{!4, i64 3, !"_ZTS4five", !4, i64 0, i64 1, !3, i64 1, i64 4, !4, i64 1, i64 1, !4, i64 2, i64 1}
302 !27 = !{!28, !4, i64 4, i64 1}
303 !28 = !{!4, i64 6, !"_ZTS3six", !4, i64 0, i64 1, !3, i64 4, i64 4, !4, i64 4, i64 1, !4, i64 5, i64 1}