Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / b3cced996830b37a7bcf7ebca4ce4476f46abe24 / . / test / CodeGen / tbaa.cpp
blob: c30e4a331d8ca51b443864460f9b5c3bf4d3580a [file] [log] [blame]
Manman Renb3cced92013-04-05 00:05:09 +0000[diff] [blame^]1// RUN: %clang_cc1 -O1 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s
2// RUN: %clang_cc1 -O1 -struct-path-tbaa -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=PATH
3// Test TBAA metadata generated by front-end.
4
5#include <stdint.h>
6typedef struct
7{
8 uint16_t f16;
9 uint32_t f32;
10 uint16_t f16_2;
11 uint32_t f32_2;
12} StructA;
13typedef struct
14{
15 uint16_t f16;
16 StructA a;
17 uint32_t f32;
18} StructB;
19typedef struct
20{
21 uint16_t f16;
22 StructB b;
23 uint32_t f32;
24} StructC;
25typedef struct
26{
27 uint16_t f16;
28 StructB b;
29 uint32_t f32;
30 uint8_t f8;
31} StructD;
32
33typedef struct
34{
35 uint16_t f16;
36 uint32_t f32;
37} StructS;
38typedef struct
39{
40 uint16_t f16;
41 uint32_t f32;
42} StructS2;
43
44uint32_t g(uint32_t *s, StructA *A, uint64_t count) {
45// CHECK: define i32 @{{.*}}(
46// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
47// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
48// PATH: define i32 @{{.*}}(
49// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
50// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !5
51 *s = 1;
52 A->f32 = 4;
53 return *s;
54}
55
56uint32_t g2(uint32_t *s, StructA *A, uint64_t count) {
57// CHECK: define i32 @{{.*}}(
58// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
59// CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
60// PATH: define i32 @{{.*}}(
61// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
62// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !8
63 *s = 1;
64 A->f16 = 4;
65 return *s;
66}
67
68uint32_t g3(StructA *A, StructB *B, uint64_t count) {
69// CHECK: define i32 @{{.*}}(
70// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
71// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
72// PATH: define i32 @{{.*}}(
73// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
74// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !9
75 A->f32 = 1;
76 B->a.f32 = 4;
77 return A->f32;
78}
79
80uint32_t g4(StructA *A, StructB *B, uint64_t count) {
81// CHECK: define i32 @{{.*}}(
82// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
83// CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
84// PATH: define i32 @{{.*}}(
85// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
86// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !11
87 A->f32 = 1;
88 B->a.f16 = 4;
89 return A->f32;
90}
91
92uint32_t g5(StructA *A, StructB *B, uint64_t count) {
93// CHECK: define i32 @{{.*}}(
94// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
95// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
96// PATH: define i32 @{{.*}}(
97// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
98// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !12
99 A->f32 = 1;
100 B->f32 = 4;
101 return A->f32;
102}
103
104uint32_t g6(StructA *A, StructB *B, uint64_t count) {
105// CHECK: define i32 @{{.*}}(
106// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
107// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
108// PATH: define i32 @{{.*}}(
109// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
110// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !13
111 A->f32 = 1;
112 B->a.f32_2 = 4;
113 return A->f32;
114}
115
116uint32_t g7(StructA *A, StructS *S, uint64_t count) {
117// CHECK: define i32 @{{.*}}(
118// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
119// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
120// PATH: define i32 @{{.*}}(
121// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
122// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !14
123 A->f32 = 1;
124 S->f32 = 4;
125 return A->f32;
126}
127
128uint32_t g8(StructA *A, StructS *S, uint64_t count) {
129// CHECK: define i32 @{{.*}}(
130// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
131// CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
132// PATH: define i32 @{{.*}}(
133// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
134// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !16
135 A->f32 = 1;
136 S->f16 = 4;
137 return A->f32;
138}
139
140uint32_t g9(StructS *S, StructS2 *S2, uint64_t count) {
141// CHECK: define i32 @{{.*}}(
142// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
143// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
144// PATH: define i32 @{{.*}}(
145// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !14
146// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !17
147 S->f32 = 1;
148 S2->f32 = 4;
149 return S->f32;
150}
151
152uint32_t g10(StructS *S, StructS2 *S2, uint64_t count) {
153// CHECK: define i32 @{{.*}}(
154// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
155// CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
156// PATH: define i32 @{{.*}}(
157// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !14
158// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !19
159 S->f32 = 1;
160 S2->f16 = 4;
161 return S->f32;
162}
163
164uint32_t g11(StructC *C, StructD *D, uint64_t count) {
165// CHECK: define i32 @{{.*}}(
166// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
167// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
168// PATH: define i32 @{{.*}}(
169// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !20
170// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !22
171 C->b.a.f32 = 1;
172 D->b.a.f32 = 4;
173 return C->b.a.f32;
174}
175
176uint32_t g12(StructC *C, StructD *D, uint64_t count) {
177// CHECK: define i32 @{{.*}}(
178// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
179// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
180// TODO: differentiate the two accesses.
181// PATH: define i32 @{{.*}}(
182// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !9
183// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !9
184 StructB *b1 = &(C->b);
185 StructB *b2 = &(D->b);
186 // b1, b2 have different context.
187 b1->a.f32 = 1;
188 b2->a.f32 = 4;
189 return b1->a.f32;
190}
191
192// CHECK: !1 = metadata !{metadata !"omnipotent char", metadata !2}
193// CHECK: !2 = metadata !{metadata !"Simple C/C++ TBAA"}
194// CHECK: !4 = metadata !{metadata !"int", metadata !1}
195// CHECK: !5 = metadata !{metadata !"short", metadata !1}
196
197// PATH: !1 = metadata !{metadata !"omnipotent char", metadata !2}
198// PATH: !4 = metadata !{metadata !"int", metadata !1}
199// PATH: !5 = metadata !{metadata !6, metadata !4, i64 4}
200// PATH: !6 = metadata !{metadata !"_ZTS7StructA", i64 0, metadata !7, i64 4, metadata !4}
201// PATH: !7 = metadata !{metadata !"short", metadata !1}
202// PATH: !8 = metadata !{metadata !6, metadata !7, i64 0}
203// PATH: !9 = metadata !{metadata !10, metadata !4, i64 8}
204// PATH: !10 = metadata !{metadata !"_ZTS7StructB", i64 0, metadata !7, i64 4, metadata !6, i64 20, metadata !4}
205// PATH: !11 = metadata !{metadata !10, metadata !7, i64 4}
206// PATH: !12 = metadata !{metadata !10, metadata !4, i64 20}
207// PATH: !13 = metadata !{metadata !10, metadata !4, i64 16}
208// PATH: !14 = metadata !{metadata !15, metadata !4, i64 4}
209// PATH: !15 = metadata !{metadata !"_ZTS7StructS", i64 0, metadata !7, i64 4, metadata !4}
210// PATH: !16 = metadata !{metadata !15, metadata !7, i64 0}
211// PATH: !17 = metadata !{metadata !18, metadata !4, i64 4}
212// PATH: !18 = metadata !{metadata !"_ZTS8StructS2", i64 0, metadata !7, i64 4, metadata !4}
213// PATH: !19 = metadata !{metadata !18, metadata !7, i64 0}
214// PATH: !20 = metadata !{metadata !21, metadata !4, i64 12}
215// PATH: !21 = metadata !{metadata !"_ZTS7StructC", i64 0, metadata !7, i64 4, metadata !10, i64 28, metadata !4}
216// PATH: !22 = metadata !{metadata !23, metadata !4, i64 12}
217// PATH: !23 = metadata !{metadata !"_ZTS7StructD", i64 0, metadata !7, i64 4, metadata !10, i64 28, metadata !4, i64 32, metadata !1}