Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / c80e0314cd2e1c5e6021aeac155b8a181a27e2e1 / . / test / CodeGen / tbaa.cpp
blob: b7d02fd80a3d6baa3f42115071b3ee548dd79c6e [file] [log] [blame]
Manman Ren3a163312013-04-05 17:11:45 +0000[diff] [blame]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
Manman Renb3cced92013-04-05 00:05:09 +0000[diff] [blame]3// Test TBAA metadata generated by front-end.
4
Manman Renc80e0312013-04-05 19:06:10 +0000[diff] [blame^]5typedef unsigned char uint8_t;
6typedef unsigned short uint16_t;
7typedef unsigned int uint32_t;
8typedef unsigned long long uint64_t;
Manman Renb3cced92013-04-05 00:05:09 +0000[diff] [blame]9typedef struct
10{
11 uint16_t f16;
12 uint32_t f32;
13 uint16_t f16_2;
14 uint32_t f32_2;
15} StructA;
16typedef struct
17{
18 uint16_t f16;
19 StructA a;
20 uint32_t f32;
21} StructB;
22typedef struct
23{
24 uint16_t f16;
25 StructB b;
26 uint32_t f32;
27} StructC;
28typedef struct
29{
30 uint16_t f16;
31 StructB b;
32 uint32_t f32;
33 uint8_t f8;
34} StructD;
35
36typedef struct
37{
38 uint16_t f16;
39 uint32_t f32;
40} StructS;
41typedef struct
42{
43 uint16_t f16;
44 uint32_t f32;
45} StructS2;
46
47uint32_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 !4
53// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !5
54 *s = 1;
55 A->f32 = 4;
56 return *s;
57}
58
59uint32_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 !4
65// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !8
66 *s = 1;
67 A->f16 = 4;
68 return *s;
69}
70
71uint32_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 !5
77// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !9
78 A->f32 = 1;
79 B->a.f32 = 4;
80 return A->f32;
81}
82
83uint32_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 !5
89// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !11
90 A->f32 = 1;
91 B->a.f16 = 4;
92 return A->f32;
93}
94
95uint32_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 !5
101// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !12
102 A->f32 = 1;
103 B->f32 = 4;
104 return A->f32;
105}
106
107uint32_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 !5
113// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !13
114 A->f32 = 1;
115 B->a.f32_2 = 4;
116 return A->f32;
117}
118
119uint32_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 !5
125// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !14
126 A->f32 = 1;
127 S->f32 = 4;
128 return A->f32;
129}
130
131uint32_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 !5
137// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !16
138 A->f32 = 1;
139 S->f16 = 4;
140 return A->f32;
141}
142
143uint32_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 !14
149// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !17
150 S->f32 = 1;
151 S2->f32 = 4;
152 return S->f32;
153}
154
155uint32_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 !14
161// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !19
162 S->f32 = 1;
163 S2->f16 = 4;
164 return S->f32;
165}
166
167uint32_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 !20
173// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !22
174 C->b.a.f32 = 1;
175 D->b.a.f32 = 4;
176 return C->b.a.f32;
177}
178
179uint32_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 !9
186// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !9
187 StructB *b1 = &(C->b);
188 StructB *b2 = &(D->b);
189 // b1, b2 have different context.
190 b1->a.f32 = 1;
191 b2->a.f32 = 4;
192 return b1->a.f32;
193}
194
195// CHECK: !1 = metadata !{metadata !"omnipotent char", metadata !2}
196// CHECK: !2 = metadata !{metadata !"Simple C/C++ TBAA"}
197// CHECK: !4 = metadata !{metadata !"int", metadata !1}
198// CHECK: !5 = metadata !{metadata !"short", metadata !1}
199
200// PATH: !1 = metadata !{metadata !"omnipotent char", metadata !2}
201// PATH: !4 = metadata !{metadata !"int", metadata !1}
202// PATH: !5 = metadata !{metadata !6, metadata !4, i64 4}
203// PATH: !6 = metadata !{metadata !"_ZTS7StructA", i64 0, metadata !7, i64 4, metadata !4}
204// PATH: !7 = metadata !{metadata !"short", metadata !1}
205// PATH: !8 = metadata !{metadata !6, metadata !7, i64 0}
206// PATH: !9 = metadata !{metadata !10, metadata !4, i64 8}
207// PATH: !10 = metadata !{metadata !"_ZTS7StructB", i64 0, metadata !7, i64 4, metadata !6, i64 20, metadata !4}
208// PATH: !11 = metadata !{metadata !10, metadata !7, i64 4}
209// PATH: !12 = metadata !{metadata !10, metadata !4, i64 20}
210// PATH: !13 = metadata !{metadata !10, metadata !4, i64 16}
211// PATH: !14 = metadata !{metadata !15, metadata !4, i64 4}
212// PATH: !15 = metadata !{metadata !"_ZTS7StructS", i64 0, metadata !7, i64 4, metadata !4}
213// PATH: !16 = metadata !{metadata !15, metadata !7, i64 0}
214// PATH: !17 = metadata !{metadata !18, metadata !4, i64 4}
215// PATH: !18 = metadata !{metadata !"_ZTS8StructS2", i64 0, metadata !7, i64 4, metadata !4}
216// PATH: !19 = metadata !{metadata !18, metadata !7, i64 0}
217// PATH: !20 = metadata !{metadata !21, metadata !4, i64 12}
218// PATH: !21 = metadata !{metadata !"_ZTS7StructC", i64 0, metadata !7, i64 4, metadata !10, i64 28, metadata !4}
219// PATH: !22 = metadata !{metadata !23, metadata !4, i64 12}
220// PATH: !23 = metadata !{metadata !"_ZTS7StructD", i64 0, metadata !7, i64 4, metadata !10, i64 28, metadata !4, i64 32, metadata !1}