1 ; RUN: llc < %s -disable-fp-elim -march=arm -mcpu=cortex-a8 -mtriple arm-linux-gnu -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.
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.
15 %struct.struct_large_char = type { [8 x i8] }
16 %struct.struct_large_char2 = type { [2 x i8], [8 x i8] }
17 %struct.struct_small_char = type { [2 x i8] }
18 %struct.struct_large_nonchar = type { [8 x i32] }
19 %struct.struct_small_nonchar = type { [2 x i16] }
21 define void @layout_ssp() ssp {
23 ; Expected stack layout for ssp is
24 ; 180 large_char . Group 1, nested arrays, arrays >= ssp-buffer-size
25 ; 172 struct_large_char .
26 ; 168 scalar1 | Everything else
30 ; 152 small_nonchar (84+68)
33 ; 108 struct_small_char
34 ; 72 struct_large_nonchar
35 ; 68 struct_small_nonchar
38 ; r[[SP]] is used as an offset into the stack later
39 ; CHECK: add r[[SP:[0-9]+]], sp, #68
41 ; CHECK: bl get_scalar1
42 ; CHECK: str r0, [sp, #168]
43 ; CHECK: bl end_scalar1
45 ; CHECK: bl get_scalar2
46 ; CHECK: str r0, [sp, #164]
47 ; CHECK: bl end_scalar2
49 ; CHECK: bl get_scalar3
50 ; CHECK: str r0, [sp, #160]
51 ; CHECK: bl end_scalar3
53 ; CHECK: bl get_addrof
54 ; CHECK: str r0, [sp, #156]
55 ; CHECK: bl end_addrof
57 ; CHECK: get_small_nonchar
58 ; CHECK: strh r0, [r[[SP]], #84]
59 ; CHECK: bl end_small_nonchar
61 ; CHECK: bl get_large_nonchar
62 ; CHECK: str r0, [sp, #112]
63 ; CHECK: bl end_large_nonchar
65 ; CHECK: bl get_small_char
66 ; CHECK: strb r0, [sp, #110]
67 ; CHECK: bl end_small_char
69 ; CHECK: bl get_large_char
70 ; CHECK: strb r0, [sp, #180]
71 ; CHECK: bl end_large_char
73 ; CHECK: bl get_struct_large_char
74 ; CHECK: strb r0, [sp, #172]
75 ; CHECK: bl end_struct_large_char
77 ; CHECK: bl get_struct_small_char
78 ; CHECK: strb r0, [sp, #108]
79 ; CHECK: bl end_struct_small_char
81 ; CHECK: bl get_struct_large_nonchar
82 ; CHECK:str r0, [sp, #72]
83 ; CHECK: bl end_struct_large_nonchar
85 ; CHECK: bl get_struct_small_nonchar
86 ; CHECK: strh r0, [r[[SP]]]
87 ; CHECK: bl end_struct_small_nonchar
88 %x = alloca i32, align 4
89 %y = alloca i32, align 4
90 %z = alloca i32, align 4
91 %ptr = alloca i32, align 4
92 %small2 = alloca [2 x i16], align 2
93 %large2 = alloca [8 x i32], align 16
94 %small = alloca [2 x i8], align 1
95 %large = alloca [8 x i8], align 1
96 %a = alloca %struct.struct_large_char, align 1
97 %b = alloca %struct.struct_small_char, align 1
98 %c = alloca %struct.struct_large_nonchar, align 8
99 %d = alloca %struct.struct_small_nonchar, align 2
100 %call = call i32 @get_scalar1()
101 store i32 %call, i32* %x, align 4
102 call void @end_scalar1()
103 %call1 = call i32 @get_scalar2()
104 store i32 %call1, i32* %y, align 4
105 call void @end_scalar2()
106 %call2 = call i32 @get_scalar3()
107 store i32 %call2, i32* %z, align 4
108 call void @end_scalar3()
109 %call3 = call i32 @get_addrof()
110 store i32 %call3, i32* %ptr, align 4
111 call void @end_addrof()
112 %call4 = call signext i16 @get_small_nonchar()
113 %arrayidx = getelementptr inbounds [2 x i16]* %small2, i32 0, i64 0
114 store i16 %call4, i16* %arrayidx, align 2
115 call void @end_small_nonchar()
116 %call5 = call i32 @get_large_nonchar()
117 %arrayidx6 = getelementptr inbounds [8 x i32]* %large2, i32 0, i64 0
118 store i32 %call5, i32* %arrayidx6, align 4
119 call void @end_large_nonchar()
120 %call7 = call signext i8 @get_small_char()
121 %arrayidx8 = getelementptr inbounds [2 x i8]* %small, i32 0, i64 0
122 store i8 %call7, i8* %arrayidx8, align 1
123 call void @end_small_char()
124 %call9 = call signext i8 @get_large_char()
125 %arrayidx10 = getelementptr inbounds [8 x i8]* %large, i32 0, i64 0
126 store i8 %call9, i8* %arrayidx10, align 1
127 call void @end_large_char()
128 %call11 = call signext i8 @get_struct_large_char()
129 %foo = getelementptr inbounds %struct.struct_large_char* %a, i32 0, i32 0
130 %arrayidx12 = getelementptr inbounds [8 x i8]* %foo, i32 0, i64 0
131 store i8 %call11, i8* %arrayidx12, align 1
132 call void @end_struct_large_char()
133 %call13 = call signext i8 @get_struct_small_char()
134 %foo14 = getelementptr inbounds %struct.struct_small_char* %b, i32 0, i32 0
135 %arrayidx15 = getelementptr inbounds [2 x i8]* %foo14, i32 0, i64 0
136 store i8 %call13, i8* %arrayidx15, align 1
137 call void @end_struct_small_char()
138 %call16 = call i32 @get_struct_large_nonchar()
139 %foo17 = getelementptr inbounds %struct.struct_large_nonchar* %c, i32 0, i32 0
140 %arrayidx18 = getelementptr inbounds [8 x i32]* %foo17, i32 0, i64 0
141 store i32 %call16, i32* %arrayidx18, align 4
142 call void @end_struct_large_nonchar()
143 %call19 = call signext i16 @get_struct_small_nonchar()
144 %foo20 = getelementptr inbounds %struct.struct_small_nonchar* %d, i32 0, i32 0
145 %arrayidx21 = getelementptr inbounds [2 x i16]* %foo20, i32 0, i64 0
146 store i16 %call19, i16* %arrayidx21, align 2
147 call void @end_struct_small_nonchar()
148 %arraydecay = getelementptr inbounds [8 x i8]* %large, i32 0, i32 0
149 %arraydecay22 = getelementptr inbounds [2 x i8]* %small, i32 0, i32 0
150 %arraydecay23 = getelementptr inbounds [8 x i32]* %large2, i32 0, i32 0
151 %arraydecay24 = getelementptr inbounds [2 x i16]* %small2, i32 0, i32 0
152 %0 = load i32* %x, align 4
153 %1 = load i32* %y, align 4
154 %2 = load i32* %z, align 4
155 %coerce.dive = getelementptr %struct.struct_large_char* %a, i32 0, i32 0
156 %3 = bitcast [8 x i8]* %coerce.dive to i64*
157 %4 = load i64* %3, align 1
158 %coerce.dive25 = getelementptr %struct.struct_small_char* %b, i32 0, i32 0
159 %5 = bitcast [2 x i8]* %coerce.dive25 to i16*
160 %6 = load i16* %5, align 1
161 %coerce.dive26 = getelementptr %struct.struct_small_nonchar* %d, i32 0, i32 0
162 %7 = bitcast [2 x i16]* %coerce.dive26 to i32*
163 %8 = load i32* %7, align 1
164 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)
168 declare i32 @get_scalar1()
169 declare void @end_scalar1()
171 declare i32 @get_scalar2()
172 declare void @end_scalar2()
174 declare i32 @get_scalar3()
175 declare void @end_scalar3()
177 declare i32 @get_addrof()
178 declare void @end_addrof()
180 declare signext i16 @get_small_nonchar()
181 declare void @end_small_nonchar()
183 declare i32 @get_large_nonchar()
184 declare void @end_large_nonchar()
186 declare signext i8 @get_small_char()
187 declare void @end_small_char()
189 declare signext i8 @get_large_char()
190 declare void @end_large_char()
192 declare signext i8 @get_struct_large_char()
193 declare void @end_struct_large_char()
195 declare signext i8 @get_struct_large_char2()
196 declare void @end_struct_large_char2()
198 declare signext i8 @get_struct_small_char()
199 declare void @end_struct_small_char()
201 declare i32 @get_struct_large_nonchar()
202 declare void @end_struct_large_nonchar()
204 declare signext i16 @get_struct_small_nonchar()
205 declare void @end_struct_small_nonchar()
207 declare void @takes_all(i64, i16, %struct.struct_large_nonchar* byval align 8, i32, i8*, i8*, i32*, i16*, i32*, i32, i32, i32)