Clang Project

clang_source_code/test/CodeGen/unaligned-expr.c
1// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fms-extensions -emit-llvm < %s | FileCheck %s
2
3// -------------
4// Scalar integer
5// -------------
6__unaligned int x;
7void test1(void) {
8  // CHECK: {{%.*}} = load i32, i32* @x, align 1
9  // CHECK: store i32 {{%.*}}, i32* @x, align 1
10  x++;
11}
12
13void test2(void) {
14  // CHECK: %y = alloca i32, align 1
15  // CHECK: {{%.*}} = load i32, i32* %y, align 1
16  // CHECK: store i32 {{%.*}}, i32* %y, align 1
17  __unaligned int y;
18  y++;
19}
20
21void test2_1(void) {
22  // CHECK: %y = alloca i32, align 1
23  // CHECK: store i32 1, i32* %y, align 1
24  __unaligned int y = 1;
25}
26
27// -------------
28// Global pointer
29// -------------
30int *__unaligned p1;
31void test3(void) {
32
33  // CHECK: {{%.*}} = load i32*, i32** @p1, align 1
34  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 4
35  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 4
36  (*p1)++;
37}
38
39int __unaligned *p2;
40void test4(void) {
41  // CHECK: {{%.*}} = load i32*, i32** @p2, align 8
42  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 1
43  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 1
44  (*p2)++;
45}
46
47int __unaligned *__unaligned p3;
48void test5(void) {
49  // CHECK: {{%.*}} = load i32*, i32** @p3, align 1
50  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 1
51  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 1
52  (*p3)++;
53}
54
55// -------------
56// Local pointer
57// -------------
58void test6(void) {
59  // CHECK: %lp1 = alloca i32*, align 1
60  // CHECK: {{%.*}} = load i32*, i32** %lp1, align 1
61  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 4
62  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 4
63  int *__unaligned lp1;
64  (*lp1)++;
65}
66
67void test7(void) {
68  // CHECK: %lp2 = alloca i32*, align 8
69  // CHECK: {{%.*}} = load i32*, i32** %lp2, align 8
70  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 1
71  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 1
72  int __unaligned *lp2;
73  (*lp2)++;
74}
75
76void test8(void) {
77  // CHECK: %lp3 = alloca i32*, align 1
78  // CHECK: {{%.*}} = load i32*, i32** %lp3, align 1
79  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 1
80  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 1
81  int __unaligned *__unaligned lp3;
82  (*lp3)++;
83}
84
85// -------------
86// Global array
87// -------------
88__unaligned int a[10];
89void test9(void) {
90  // CHECK: {{%.*}} = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @a, i64 0, i64 3), align 1
91  // CHECK: store i32 {{%.*}}, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @a, i64 0, i64 3), align 1
92  (a[3])++;
93}
94
95// -------------
96// Local array
97// -------------
98void test10(void) {
99  // CHECK: %la = alloca [10 x i32], align 1
100  // CHECK: {{%.*}} = getelementptr inbounds [10 x i32], [10 x i32]* %la, i64 0, i64 3
101  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 1
102  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 1
103  __unaligned int la[10];
104  (la[3])++;
105}
106
107// --------
108// Typedefs
109// --------
110
111typedef __unaligned int UnalignedInt;
112void test13() {
113  // CHECK: %i = alloca i32, align 1
114  // CHECK: {{%.*}} = load i32, i32* %i, align 1
115  // CHECK: store i32 {{%.*}}, i32* %i, align 1
116  UnalignedInt i;
117  i++;
118}
119
120typedef int Aligned;
121typedef __unaligned Aligned UnalignedInt2;
122void test14() {
123  // CHECK: %i = alloca i32, align 1
124  // CHECK: {{%.*}} = load i32, i32* %i, align 1
125  // CHECK: store i32 {{%.*}}, i32* %i, align 1
126  UnalignedInt2 i;
127  i++;
128}
129
130typedef UnalignedInt UnalignedInt3;
131void test15() {
132  // CHECK: %i = alloca i32, align 1
133  // CHECK: {{%.*}} = load i32, i32* %i, align 1
134  // CHECK: store i32 {{%.*}}, i32* %i, align 1
135  UnalignedInt3 i;
136  i++;
137}
138
139// -------------
140// Decayed types
141// -------------
142void test16(__unaligned int c[10]) {
143  // CHECK: {{%.*}} = alloca i32*, align 8
144  // CHECK: store i32* %c, i32** {{%.*}}, align 8
145  // CHECK: {{%.*}} = load i32*, i32** {{%.*}}, align 8
146  // CHECK: {{%.*}} = getelementptr inbounds i32, i32* {{%.*}}, i64 3
147  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 1
148  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 1
149  c[3]++;
150}
151
152// -----------
153// __alignof__
154// -----------
155int test17(void) {
156  // CHECK: ret i32 1
157  return __alignof__(__unaligned int);
158}
159
160int test18(void) {
161  // CHECK: ret i32 1
162  __unaligned int a;
163  return __alignof__(a);
164}
165
166int test19(void) {
167  // CHECK: ret i32 1
168  __unaligned int a[10];
169  return __alignof__(a);
170}
171
172// -----------
173// structs
174// -----------
175typedef
176struct S1 {
177    char c;
178    int x;
179} S1;
180
181__unaligned S1 s1;
182void test20(void) {
183    // CHECK: {{%.*}} = load i32, i32* getelementptr inbounds (%struct.S1, %struct.S1* @s1, i32 0, i32 1), align 1
184    // CHECK: store i32 {{%.*}}, i32* getelementptr inbounds (%struct.S1, %struct.S1* @s1, i32 0, i32 1), align 1
185    s1.x++;
186}
187
188void test21(void) {
189  // CHECK: {{%.*}} = alloca %struct.S1, align 1
190  // CHECK: {{%.*}} = getelementptr inbounds %struct.S1, %struct.S1* {{%.*}}, i32 0, i32 1
191  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 1
192  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 1
193  __unaligned S1 s1_2;
194  s1_2.x++;
195}
196
197typedef
198struct __attribute__((packed)) S2 {
199    char c;
200    int x;
201} S2;
202
203__unaligned S2 s2;
204void test22(void) {
205    // CHECK: {{%.*}} = load i32, i32* getelementptr inbounds (%struct.S2, %struct.S2* @s2, i32 0, i32 1), align 1
206    // CHECK: store i32 {{%.*}}, i32* getelementptr inbounds (%struct.S2, %struct.S2* @s2, i32 0, i32 1), align 1
207    s2.x++;
208}
209
210void test23(void) {
211  // CHECK: {{%.*}} = alloca %struct.S2, align 1
212  // CHECK: {{%.*}} = getelementptr inbounds %struct.S2, %struct.S2* {{%.*}}, i32 0, i32 1
213  // CHECK: {{%.*}} = load i32, i32* {{%.*}}, align 1
214  // CHECK: store i32 {{%.*}}, i32* {{%.*}}, align 1
215  __unaligned S2 s2_2;
216  s2_2.x++;
217}
218
CodeThinker, Enjoy your reading code