Mercurial > hg > CbC > CbC_llvm
comparison test/CodeGen/X86/ssp-data-layout.ll @ 77:54457678186b LLVM3.6
LLVM 3.6
author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 08 Sep 2014 22:06:00 +0900 |
parents | |
children | afa8332a0e37 |
comparison
equal
deleted
inserted
replaced
34:e874dbf0ad9d | 77:54457678186b |
---|---|
1 ; RUN: llc < %s -disable-fp-elim -mtriple=x86_64-pc-linux-gnu -mcpu=corei7 -o - | FileCheck %s | |
2 ; This test is fairly fragile. The goal is to ensure that "large" stack | |
3 ; objects are allocated closest to the stack protector (i.e., farthest away | |
4 ; from the Stack Pointer.) In standard SSP mode this means that large (>= | |
5 ; ssp-buffer-size) arrays and structures containing such arrays are | |
6 ; closet to the protector. With sspstrong and sspreq this means large | |
7 ; arrays/structures-with-arrays are closest, followed by small (< ssp-buffer-size) | |
8 ; arrays/structures-with-arrays, and then addr-taken variables. | |
9 ; | |
10 ; Ideally, we only want verify that the objects appear in the correct groups | |
11 ; and that the groups have the correct relative stack offset. The ordering | |
12 ; within a group is not relevant to this test. Unfortunately, there is not | |
13 ; an elegant way to do this, so just match the offset for each object. | |
14 ; RUN: llc < %s -disable-fp-elim -mtriple=x86_64-unknown-unknown -O0 -mcpu=corei7 -o - \ | |
15 ; RUN: | FileCheck --check-prefix=FAST-NON-LIN %s | |
16 ; FastISel was not setting the StackProtectorIndex when lowering | |
17 ; Intrinsic::stackprotector and as a result the stack re-arrangement code was | |
18 ; never applied. This problem only shows up on non-Linux platforms because on | |
19 ; Linux the stack protector cookie is loaded from a special address space which | |
20 ; always triggers standard ISel. Run a basic test to ensure that at -O0 | |
21 ; on a non-linux target the data layout rules are triggered. | |
22 | |
23 %struct.struct_large_char = type { [8 x i8] } | |
24 %struct.struct_small_char = type { [2 x i8] } | |
25 %struct.struct_large_nonchar = type { [8 x i32] } | |
26 %struct.struct_small_nonchar = type { [2 x i16] } | |
27 | |
28 define void @layout_ssp() ssp { | |
29 entry: | |
30 ; Expected stack layout for ssp is | |
31 ; -16 large_char . Group 1, nested arrays, arrays >= ssp-buffer-size | |
32 ; -24 struct_large_char . | |
33 ; -28 scalar1 | Everything else | |
34 ; -32 scalar2 | |
35 ; -36 scalar3 | |
36 ; -40 addr-of | |
37 ; -44 small_nonchar | |
38 ; -80 large_nonchar | |
39 ; -82 small_char | |
40 ; -88 struct_small_char | |
41 ; -120 struct_large_nonchar | |
42 ; -128 struct_small_nonchar | |
43 | |
44 ; CHECK: layout_ssp: | |
45 ; CHECK: call{{l|q}} get_scalar1 | |
46 ; CHECK: movl %eax, -28( | |
47 ; CHECK: call{{l|q}} end_scalar1 | |
48 | |
49 ; CHECK: call{{l|q}} get_scalar2 | |
50 ; CHECK: movl %eax, -32( | |
51 ; CHECK: call{{l|q}} end_scalar2 | |
52 | |
53 ; CHECK: call{{l|q}} get_scalar3 | |
54 ; CHECK: movl %eax, -36( | |
55 ; CHECK: call{{l|q}} end_scalar3 | |
56 | |
57 ; CHECK: call{{l|q}} get_addrof | |
58 ; CHECK: movl %eax, -40( | |
59 ; CHECK: call{{l|q}} end_addrof | |
60 | |
61 ; CHECK: get_small_nonchar | |
62 ; CHECK: movw %ax, -44( | |
63 ; CHECK: call{{l|q}} end_small_nonchar | |
64 | |
65 ; CHECK: call{{l|q}} get_large_nonchar | |
66 ; CHECK: movl %eax, -80( | |
67 ; CHECK: call{{l|q}} end_large_nonchar | |
68 | |
69 ; CHECK: call{{l|q}} get_small_char | |
70 ; CHECK: movb %al, -82( | |
71 ; CHECK: call{{l|q}} end_small_char | |
72 | |
73 ; CHECK: call{{l|q}} get_large_char | |
74 ; CHECK: movb %al, -16( | |
75 ; CHECK: call{{l|q}} end_large_char | |
76 | |
77 ; CHECK: call{{l|q}} get_struct_large_char | |
78 ; CHECK: movb %al, -24( | |
79 ; CHECK: call{{l|q}} end_struct_large_char | |
80 | |
81 ; CHECK: call{{l|q}} get_struct_small_char | |
82 ; CHECK: movb %al, -88( | |
83 ; CHECK: call{{l|q}} end_struct_small_char | |
84 | |
85 ; CHECK: call{{l|q}} get_struct_large_nonchar | |
86 ; CHECK: movl %eax, -120( | |
87 ; CHECK: call{{l|q}} end_struct_large_nonchar | |
88 | |
89 ; CHECK: call{{l|q}} get_struct_small_nonchar | |
90 ; CHECK: movw %ax, -128( | |
91 ; CHECK: call{{l|q}} end_struct_small_nonchar | |
92 %x = alloca i32, align 4 | |
93 %y = alloca i32, align 4 | |
94 %z = alloca i32, align 4 | |
95 %ptr = alloca i32, align 4 | |
96 %small2 = alloca [2 x i16], align 2 | |
97 %large2 = alloca [8 x i32], align 16 | |
98 %small = alloca [2 x i8], align 1 | |
99 %large = alloca [8 x i8], align 1 | |
100 %a = alloca %struct.struct_large_char, align 1 | |
101 %b = alloca %struct.struct_small_char, align 1 | |
102 %c = alloca %struct.struct_large_nonchar, align 8 | |
103 %d = alloca %struct.struct_small_nonchar, align 2 | |
104 %call = call i32 @get_scalar1() | |
105 store i32 %call, i32* %x, align 4 | |
106 call void @end_scalar1() | |
107 %call1 = call i32 @get_scalar2() | |
108 store i32 %call1, i32* %y, align 4 | |
109 call void @end_scalar2() | |
110 %call2 = call i32 @get_scalar3() | |
111 store i32 %call2, i32* %z, align 4 | |
112 call void @end_scalar3() | |
113 %call3 = call i32 @get_addrof() | |
114 store i32 %call3, i32* %ptr, align 4 | |
115 call void @end_addrof() | |
116 %call4 = call signext i16 @get_small_nonchar() | |
117 %arrayidx = getelementptr inbounds [2 x i16]* %small2, i32 0, i64 0 | |
118 store i16 %call4, i16* %arrayidx, align 2 | |
119 call void @end_small_nonchar() | |
120 %call5 = call i32 @get_large_nonchar() | |
121 %arrayidx6 = getelementptr inbounds [8 x i32]* %large2, i32 0, i64 0 | |
122 store i32 %call5, i32* %arrayidx6, align 4 | |
123 call void @end_large_nonchar() | |
124 %call7 = call signext i8 @get_small_char() | |
125 %arrayidx8 = getelementptr inbounds [2 x i8]* %small, i32 0, i64 0 | |
126 store i8 %call7, i8* %arrayidx8, align 1 | |
127 call void @end_small_char() | |
128 %call9 = call signext i8 @get_large_char() | |
129 %arrayidx10 = getelementptr inbounds [8 x i8]* %large, i32 0, i64 0 | |
130 store i8 %call9, i8* %arrayidx10, align 1 | |
131 call void @end_large_char() | |
132 %call11 = call signext i8 @get_struct_large_char() | |
133 %foo = getelementptr inbounds %struct.struct_large_char* %a, i32 0, i32 0 | |
134 %arrayidx12 = getelementptr inbounds [8 x i8]* %foo, i32 0, i64 0 | |
135 store i8 %call11, i8* %arrayidx12, align 1 | |
136 call void @end_struct_large_char() | |
137 %call13 = call signext i8 @get_struct_small_char() | |
138 %foo14 = getelementptr inbounds %struct.struct_small_char* %b, i32 0, i32 0 | |
139 %arrayidx15 = getelementptr inbounds [2 x i8]* %foo14, i32 0, i64 0 | |
140 store i8 %call13, i8* %arrayidx15, align 1 | |
141 call void @end_struct_small_char() | |
142 %call16 = call i32 @get_struct_large_nonchar() | |
143 %foo17 = getelementptr inbounds %struct.struct_large_nonchar* %c, i32 0, i32 0 | |
144 %arrayidx18 = getelementptr inbounds [8 x i32]* %foo17, i32 0, i64 0 | |
145 store i32 %call16, i32* %arrayidx18, align 4 | |
146 call void @end_struct_large_nonchar() | |
147 %call19 = call signext i16 @get_struct_small_nonchar() | |
148 %foo20 = getelementptr inbounds %struct.struct_small_nonchar* %d, i32 0, i32 0 | |
149 %arrayidx21 = getelementptr inbounds [2 x i16]* %foo20, i32 0, i64 0 | |
150 store i16 %call19, i16* %arrayidx21, align 2 | |
151 call void @end_struct_small_nonchar() | |
152 %arraydecay = getelementptr inbounds [8 x i8]* %large, i32 0, i32 0 | |
153 %arraydecay22 = getelementptr inbounds [2 x i8]* %small, i32 0, i32 0 | |
154 %arraydecay23 = getelementptr inbounds [8 x i32]* %large2, i32 0, i32 0 | |
155 %arraydecay24 = getelementptr inbounds [2 x i16]* %small2, i32 0, i32 0 | |
156 %0 = load i32* %x, align 4 | |
157 %1 = load i32* %y, align 4 | |
158 %2 = load i32* %z, align 4 | |
159 %coerce.dive = getelementptr %struct.struct_large_char* %a, i32 0, i32 0 | |
160 %3 = bitcast [8 x i8]* %coerce.dive to i64* | |
161 %4 = load i64* %3, align 1 | |
162 %coerce.dive25 = getelementptr %struct.struct_small_char* %b, i32 0, i32 0 | |
163 %5 = bitcast [2 x i8]* %coerce.dive25 to i16* | |
164 %6 = load i16* %5, align 1 | |
165 %coerce.dive26 = getelementptr %struct.struct_small_nonchar* %d, i32 0, i32 0 | |
166 %7 = bitcast [2 x i16]* %coerce.dive26 to i32* | |
167 %8 = load i32* %7, align 1 | |
168 call void @takes_all(i64 %4, i16 %6, %struct.struct_large_nonchar* byval align 8 %c, i32 %8, i8* %arraydecay, i8* %arraydecay22, i32* %arraydecay23, i16* %arraydecay24, i32* %ptr, i32 %0, i32 %1, i32 %2) | |
169 ret void | |
170 } | |
171 | |
172 define void @layout_sspstrong() nounwind uwtable sspstrong { | |
173 entry: | |
174 ; Expected stack layout for sspstrong is | |
175 ; -48 large_nonchar . Group 1, nested arrays, | |
176 ; -56 large_char . arrays >= ssp-buffer-size | |
177 ; -64 struct_large_char . | |
178 ; -96 struct_large_nonchar . | |
179 ; -100 small_non_char | Group 2, nested arrays, | |
180 ; -102 small_char | arrays < ssp-buffer-size | |
181 ; -104 struct_small_char | | |
182 ; -112 struct_small_nonchar | | |
183 ; -116 addrof * Group 3, addr-of local | |
184 ; -120 scalar + Group 4, everything else | |
185 ; -124 scalar + | |
186 ; -128 scalar + | |
187 ; | |
188 ; CHECK: layout_sspstrong: | |
189 ; CHECK: call{{l|q}} get_scalar1 | |
190 ; CHECK: movl %eax, -120( | |
191 ; CHECK: call{{l|q}} end_scalar1 | |
192 | |
193 ; CHECK: call{{l|q}} get_scalar2 | |
194 ; CHECK: movl %eax, -124( | |
195 ; CHECK: call{{l|q}} end_scalar2 | |
196 | |
197 ; CHECK: call{{l|q}} get_scalar3 | |
198 ; CHECK: movl %eax, -128( | |
199 ; CHECK: call{{l|q}} end_scalar3 | |
200 | |
201 ; CHECK: call{{l|q}} get_addrof | |
202 ; CHECK: movl %eax, -116( | |
203 ; CHECK: call{{l|q}} end_addrof | |
204 | |
205 ; CHECK: get_small_nonchar | |
206 ; CHECK: movw %ax, -100( | |
207 ; CHECK: call{{l|q}} end_small_nonchar | |
208 | |
209 ; CHECK: call{{l|q}} get_large_nonchar | |
210 ; CHECK: movl %eax, -48( | |
211 ; CHECK: call{{l|q}} end_large_nonchar | |
212 | |
213 ; CHECK: call{{l|q}} get_small_char | |
214 ; CHECK: movb %al, -102( | |
215 ; CHECK: call{{l|q}} end_small_char | |
216 | |
217 ; CHECK: call{{l|q}} get_large_char | |
218 ; CHECK: movb %al, -56( | |
219 ; CHECK: call{{l|q}} end_large_char | |
220 | |
221 ; CHECK: call{{l|q}} get_struct_large_char | |
222 ; CHECK: movb %al, -64( | |
223 ; CHECK: call{{l|q}} end_struct_large_char | |
224 | |
225 ; CHECK: call{{l|q}} get_struct_small_char | |
226 ; CHECK: movb %al, -104( | |
227 ; CHECK: call{{l|q}} end_struct_small_char | |
228 | |
229 ; CHECK: call{{l|q}} get_struct_large_nonchar | |
230 ; CHECK: movl %eax, -96( | |
231 ; CHECK: call{{l|q}} end_struct_large_nonchar | |
232 | |
233 ; CHECK: call{{l|q}} get_struct_small_nonchar | |
234 ; CHECK: movw %ax, -112( | |
235 ; CHECK: call{{l|q}} end_struct_small_nonchar | |
236 %x = alloca i32, align 4 | |
237 %y = alloca i32, align 4 | |
238 %z = alloca i32, align 4 | |
239 %ptr = alloca i32, align 4 | |
240 %small2 = alloca [2 x i16], align 2 | |
241 %large2 = alloca [8 x i32], align 16 | |
242 %small = alloca [2 x i8], align 1 | |
243 %large = alloca [8 x i8], align 1 | |
244 %a = alloca %struct.struct_large_char, align 1 | |
245 %b = alloca %struct.struct_small_char, align 1 | |
246 %c = alloca %struct.struct_large_nonchar, align 8 | |
247 %d = alloca %struct.struct_small_nonchar, align 2 | |
248 %call = call i32 @get_scalar1() | |
249 store i32 %call, i32* %x, align 4 | |
250 call void @end_scalar1() | |
251 %call1 = call i32 @get_scalar2() | |
252 store i32 %call1, i32* %y, align 4 | |
253 call void @end_scalar2() | |
254 %call2 = call i32 @get_scalar3() | |
255 store i32 %call2, i32* %z, align 4 | |
256 call void @end_scalar3() | |
257 %call3 = call i32 @get_addrof() | |
258 store i32 %call3, i32* %ptr, align 4 | |
259 call void @end_addrof() | |
260 %call4 = call signext i16 @get_small_nonchar() | |
261 %arrayidx = getelementptr inbounds [2 x i16]* %small2, i32 0, i64 0 | |
262 store i16 %call4, i16* %arrayidx, align 2 | |
263 call void @end_small_nonchar() | |
264 %call5 = call i32 @get_large_nonchar() | |
265 %arrayidx6 = getelementptr inbounds [8 x i32]* %large2, i32 0, i64 0 | |
266 store i32 %call5, i32* %arrayidx6, align 4 | |
267 call void @end_large_nonchar() | |
268 %call7 = call signext i8 @get_small_char() | |
269 %arrayidx8 = getelementptr inbounds [2 x i8]* %small, i32 0, i64 0 | |
270 store i8 %call7, i8* %arrayidx8, align 1 | |
271 call void @end_small_char() | |
272 %call9 = call signext i8 @get_large_char() | |
273 %arrayidx10 = getelementptr inbounds [8 x i8]* %large, i32 0, i64 0 | |
274 store i8 %call9, i8* %arrayidx10, align 1 | |
275 call void @end_large_char() | |
276 %call11 = call signext i8 @get_struct_large_char() | |
277 %foo = getelementptr inbounds %struct.struct_large_char* %a, i32 0, i32 0 | |
278 %arrayidx12 = getelementptr inbounds [8 x i8]* %foo, i32 0, i64 0 | |
279 store i8 %call11, i8* %arrayidx12, align 1 | |
280 call void @end_struct_large_char() | |
281 %call13 = call signext i8 @get_struct_small_char() | |
282 %foo14 = getelementptr inbounds %struct.struct_small_char* %b, i32 0, i32 0 | |
283 %arrayidx15 = getelementptr inbounds [2 x i8]* %foo14, i32 0, i64 0 | |
284 store i8 %call13, i8* %arrayidx15, align 1 | |
285 call void @end_struct_small_char() | |
286 %call16 = call i32 @get_struct_large_nonchar() | |
287 %foo17 = getelementptr inbounds %struct.struct_large_nonchar* %c, i32 0, i32 0 | |
288 %arrayidx18 = getelementptr inbounds [8 x i32]* %foo17, i32 0, i64 0 | |
289 store i32 %call16, i32* %arrayidx18, align 4 | |
290 call void @end_struct_large_nonchar() | |
291 %call19 = call signext i16 @get_struct_small_nonchar() | |
292 %foo20 = getelementptr inbounds %struct.struct_small_nonchar* %d, i32 0, i32 0 | |
293 %arrayidx21 = getelementptr inbounds [2 x i16]* %foo20, i32 0, i64 0 | |
294 store i16 %call19, i16* %arrayidx21, align 2 | |
295 call void @end_struct_small_nonchar() | |
296 %arraydecay = getelementptr inbounds [8 x i8]* %large, i32 0, i32 0 | |
297 %arraydecay22 = getelementptr inbounds [2 x i8]* %small, i32 0, i32 0 | |
298 %arraydecay23 = getelementptr inbounds [8 x i32]* %large2, i32 0, i32 0 | |
299 %arraydecay24 = getelementptr inbounds [2 x i16]* %small2, i32 0, i32 0 | |
300 %0 = load i32* %x, align 4 | |
301 %1 = load i32* %y, align 4 | |
302 %2 = load i32* %z, align 4 | |
303 %coerce.dive = getelementptr %struct.struct_large_char* %a, i32 0, i32 0 | |
304 %3 = bitcast [8 x i8]* %coerce.dive to i64* | |
305 %4 = load i64* %3, align 1 | |
306 %coerce.dive25 = getelementptr %struct.struct_small_char* %b, i32 0, i32 0 | |
307 %5 = bitcast [2 x i8]* %coerce.dive25 to i16* | |
308 %6 = load i16* %5, align 1 | |
309 %coerce.dive26 = getelementptr %struct.struct_small_nonchar* %d, i32 0, i32 0 | |
310 %7 = bitcast [2 x i16]* %coerce.dive26 to i32* | |
311 %8 = load i32* %7, align 1 | |
312 call void @takes_all(i64 %4, i16 %6, %struct.struct_large_nonchar* byval align 8 %c, i32 %8, i8* %arraydecay, i8* %arraydecay22, i32* %arraydecay23, i16* %arraydecay24, i32* %ptr, i32 %0, i32 %1, i32 %2) | |
313 ret void | |
314 } | |
315 | |
316 define void @layout_sspreq() nounwind uwtable sspreq { | |
317 entry: | |
318 ; Expected stack layout for sspreq is the same as sspstrong | |
319 ; | |
320 ; CHECK: layout_sspreq: | |
321 ; CHECK: call{{l|q}} get_scalar1 | |
322 ; CHECK: movl %eax, -120( | |
323 ; CHECK: call{{l|q}} end_scalar1 | |
324 | |
325 ; CHECK: call{{l|q}} get_scalar2 | |
326 ; CHECK: movl %eax, -124( | |
327 ; CHECK: call{{l|q}} end_scalar2 | |
328 | |
329 ; CHECK: call{{l|q}} get_scalar3 | |
330 ; CHECK: movl %eax, -128( | |
331 ; CHECK: call{{l|q}} end_scalar3 | |
332 | |
333 ; CHECK: call{{l|q}} get_addrof | |
334 ; CHECK: movl %eax, -116( | |
335 ; CHECK: call{{l|q}} end_addrof | |
336 | |
337 ; CHECK: get_small_nonchar | |
338 ; CHECK: movw %ax, -100( | |
339 ; CHECK: call{{l|q}} end_small_nonchar | |
340 | |
341 ; CHECK: call{{l|q}} get_large_nonchar | |
342 ; CHECK: movl %eax, -48( | |
343 ; CHECK: call{{l|q}} end_large_nonchar | |
344 | |
345 ; CHECK: call{{l|q}} get_small_char | |
346 ; CHECK: movb %al, -102( | |
347 ; CHECK: call{{l|q}} end_small_char | |
348 | |
349 ; CHECK: call{{l|q}} get_large_char | |
350 ; CHECK: movb %al, -56( | |
351 ; CHECK: call{{l|q}} end_large_char | |
352 | |
353 ; CHECK: call{{l|q}} get_struct_large_char | |
354 ; CHECK: movb %al, -64( | |
355 ; CHECK: call{{l|q}} end_struct_large_char | |
356 | |
357 ; CHECK: call{{l|q}} get_struct_small_char | |
358 ; CHECK: movb %al, -104( | |
359 ; CHECK: call{{l|q}} end_struct_small_char | |
360 | |
361 ; CHECK: call{{l|q}} get_struct_large_nonchar | |
362 ; CHECK: movl %eax, -96( | |
363 ; CHECK: call{{l|q}} end_struct_large_nonchar | |
364 | |
365 ; CHECK: call{{l|q}} get_struct_small_nonchar | |
366 ; CHECK: movw %ax, -112( | |
367 ; CHECK: call{{l|q}} end_struct_small_nonchar | |
368 %x = alloca i32, align 4 | |
369 %y = alloca i32, align 4 | |
370 %z = alloca i32, align 4 | |
371 %ptr = alloca i32, align 4 | |
372 %small2 = alloca [2 x i16], align 2 | |
373 %large2 = alloca [8 x i32], align 16 | |
374 %small = alloca [2 x i8], align 1 | |
375 %large = alloca [8 x i8], align 1 | |
376 %a = alloca %struct.struct_large_char, align 1 | |
377 %b = alloca %struct.struct_small_char, align 1 | |
378 %c = alloca %struct.struct_large_nonchar, align 8 | |
379 %d = alloca %struct.struct_small_nonchar, align 2 | |
380 %call = call i32 @get_scalar1() | |
381 store i32 %call, i32* %x, align 4 | |
382 call void @end_scalar1() | |
383 %call1 = call i32 @get_scalar2() | |
384 store i32 %call1, i32* %y, align 4 | |
385 call void @end_scalar2() | |
386 %call2 = call i32 @get_scalar3() | |
387 store i32 %call2, i32* %z, align 4 | |
388 call void @end_scalar3() | |
389 %call3 = call i32 @get_addrof() | |
390 store i32 %call3, i32* %ptr, align 4 | |
391 call void @end_addrof() | |
392 %call4 = call signext i16 @get_small_nonchar() | |
393 %arrayidx = getelementptr inbounds [2 x i16]* %small2, i32 0, i64 0 | |
394 store i16 %call4, i16* %arrayidx, align 2 | |
395 call void @end_small_nonchar() | |
396 %call5 = call i32 @get_large_nonchar() | |
397 %arrayidx6 = getelementptr inbounds [8 x i32]* %large2, i32 0, i64 0 | |
398 store i32 %call5, i32* %arrayidx6, align 4 | |
399 call void @end_large_nonchar() | |
400 %call7 = call signext i8 @get_small_char() | |
401 %arrayidx8 = getelementptr inbounds [2 x i8]* %small, i32 0, i64 0 | |
402 store i8 %call7, i8* %arrayidx8, align 1 | |
403 call void @end_small_char() | |
404 %call9 = call signext i8 @get_large_char() | |
405 %arrayidx10 = getelementptr inbounds [8 x i8]* %large, i32 0, i64 0 | |
406 store i8 %call9, i8* %arrayidx10, align 1 | |
407 call void @end_large_char() | |
408 %call11 = call signext i8 @get_struct_large_char() | |
409 %foo = getelementptr inbounds %struct.struct_large_char* %a, i32 0, i32 0 | |
410 %arrayidx12 = getelementptr inbounds [8 x i8]* %foo, i32 0, i64 0 | |
411 store i8 %call11, i8* %arrayidx12, align 1 | |
412 call void @end_struct_large_char() | |
413 %call13 = call signext i8 @get_struct_small_char() | |
414 %foo14 = getelementptr inbounds %struct.struct_small_char* %b, i32 0, i32 0 | |
415 %arrayidx15 = getelementptr inbounds [2 x i8]* %foo14, i32 0, i64 0 | |
416 store i8 %call13, i8* %arrayidx15, align 1 | |
417 call void @end_struct_small_char() | |
418 %call16 = call i32 @get_struct_large_nonchar() | |
419 %foo17 = getelementptr inbounds %struct.struct_large_nonchar* %c, i32 0, i32 0 | |
420 %arrayidx18 = getelementptr inbounds [8 x i32]* %foo17, i32 0, i64 0 | |
421 store i32 %call16, i32* %arrayidx18, align 4 | |
422 call void @end_struct_large_nonchar() | |
423 %call19 = call signext i16 @get_struct_small_nonchar() | |
424 %foo20 = getelementptr inbounds %struct.struct_small_nonchar* %d, i32 0, i32 0 | |
425 %arrayidx21 = getelementptr inbounds [2 x i16]* %foo20, i32 0, i64 0 | |
426 store i16 %call19, i16* %arrayidx21, align 2 | |
427 call void @end_struct_small_nonchar() | |
428 %arraydecay = getelementptr inbounds [8 x i8]* %large, i32 0, i32 0 | |
429 %arraydecay22 = getelementptr inbounds [2 x i8]* %small, i32 0, i32 0 | |
430 %arraydecay23 = getelementptr inbounds [8 x i32]* %large2, i32 0, i32 0 | |
431 %arraydecay24 = getelementptr inbounds [2 x i16]* %small2, i32 0, i32 0 | |
432 %0 = load i32* %x, align 4 | |
433 %1 = load i32* %y, align 4 | |
434 %2 = load i32* %z, align 4 | |
435 %coerce.dive = getelementptr %struct.struct_large_char* %a, i32 0, i32 0 | |
436 %3 = bitcast [8 x i8]* %coerce.dive to i64* | |
437 %4 = load i64* %3, align 1 | |
438 %coerce.dive25 = getelementptr %struct.struct_small_char* %b, i32 0, i32 0 | |
439 %5 = bitcast [2 x i8]* %coerce.dive25 to i16* | |
440 %6 = load i16* %5, align 1 | |
441 %coerce.dive26 = getelementptr %struct.struct_small_nonchar* %d, i32 0, i32 0 | |
442 %7 = bitcast [2 x i16]* %coerce.dive26 to i32* | |
443 %8 = load i32* %7, align 1 | |
444 call void @takes_all(i64 %4, i16 %6, %struct.struct_large_nonchar* byval align 8 %c, i32 %8, i8* %arraydecay, i8* %arraydecay22, i32* %arraydecay23, i16* %arraydecay24, i32* %ptr, i32 %0, i32 %1, i32 %2) | |
445 ret void | |
446 } | |
447 | |
448 define void @fast_non_linux() ssp { | |
449 entry: | |
450 ; FAST-NON-LIN: fast_non_linux: | |
451 ; FAST-NON-LIN: call{{l|q}} get_scalar1 | |
452 ; FAST-NON-LIN: movl %eax, -20( | |
453 ; FAST-NON-LIN: call{{l|q}} end_scalar1 | |
454 | |
455 ; FAST-NON-LIN: call{{l|q}} get_large_char | |
456 ; FAST-NON-LIN: movb %al, -16( | |
457 ; FAST-NON-LIN: call{{l|q}} end_large_char | |
458 %x = alloca i32, align 4 | |
459 %large = alloca [8 x i8], align 1 | |
460 %call = call i32 @get_scalar1() | |
461 store i32 %call, i32* %x, align 4 | |
462 call void @end_scalar1() | |
463 %call1 = call signext i8 @get_large_char() | |
464 %arrayidx = getelementptr inbounds [8 x i8]* %large, i32 0, i64 0 | |
465 store i8 %call1, i8* %arrayidx, align 1 | |
466 call void @end_large_char() | |
467 %0 = load i32* %x, align 4 | |
468 %arraydecay = getelementptr inbounds [8 x i8]* %large, i32 0, i32 0 | |
469 call void @takes_two(i32 %0, i8* %arraydecay) | |
470 ret void | |
471 } | |
472 | |
473 declare i32 @get_scalar1() | |
474 declare void @end_scalar1() | |
475 | |
476 declare i32 @get_scalar2() | |
477 declare void @end_scalar2() | |
478 | |
479 declare i32 @get_scalar3() | |
480 declare void @end_scalar3() | |
481 | |
482 declare i32 @get_addrof() | |
483 declare void @end_addrof() | |
484 | |
485 declare signext i16 @get_small_nonchar() | |
486 declare void @end_small_nonchar() | |
487 | |
488 declare i32 @get_large_nonchar() | |
489 declare void @end_large_nonchar() | |
490 | |
491 declare signext i8 @get_small_char() | |
492 declare void @end_small_char() | |
493 | |
494 declare signext i8 @get_large_char() | |
495 declare void @end_large_char() | |
496 | |
497 declare signext i8 @get_struct_large_char() | |
498 declare void @end_struct_large_char() | |
499 | |
500 declare signext i8 @get_struct_small_char() | |
501 declare void @end_struct_small_char() | |
502 | |
503 declare i32 @get_struct_large_nonchar() | |
504 declare void @end_struct_large_nonchar() | |
505 | |
506 declare signext i16 @get_struct_small_nonchar() | |
507 declare void @end_struct_small_nonchar() | |
508 | |
509 declare void @takes_all(i64, i16, %struct.struct_large_nonchar* byval align 8, i32, i8*, i8*, i32*, i16*, i32*, i32, i32, i32) | |
510 declare void @takes_two(i32, i8*) |