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
28define void @layout_ssp() ssp {
29entry:
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
172define void @layout_sspstrong() nounwind uwtable sspstrong {
173entry:
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
316define void @layout_sspreq() nounwind uwtable sspreq {
317entry:
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
448define void @fast_non_linux() ssp {
449entry:
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
473declare i32 @get_scalar1()
474declare void @end_scalar1()
475
476declare i32 @get_scalar2()
477declare void @end_scalar2()
478
479declare i32 @get_scalar3()
480declare void @end_scalar3()
481
482declare i32 @get_addrof()
483declare void @end_addrof()
484
485declare signext i16 @get_small_nonchar()
486declare void @end_small_nonchar()
487
488declare i32 @get_large_nonchar()
489declare void @end_large_nonchar()
490
491declare signext i8 @get_small_char()
492declare void @end_small_char()
493
494declare signext i8 @get_large_char()
495declare void @end_large_char()
496
497declare signext i8 @get_struct_large_char()
498declare void @end_struct_large_char()
499
500declare signext i8 @get_struct_small_char()
501declare void @end_struct_small_char()
502
503declare i32 @get_struct_large_nonchar()
504declare void @end_struct_large_nonchar()
505
506declare signext i16 @get_struct_small_nonchar()
507declare void @end_struct_small_nonchar()
508
509declare void @takes_all(i64, i16, %struct.struct_large_nonchar* byval align 8, i32, i8*, i8*, i32*, i16*, i32*, i32, i32, i32)
510declare void @takes_two(i32, i8*)
511