447 lines · plain
1; RUN: llc < %s -frame-pointer=all -mcpu=cortex-a8 -mtriple arm-linux-gnu -target-abi=apcs -o - | FileCheck %s2; This test is fairly fragile. The goal is to ensure that "large" stack3; objects are allocated closest to the stack protector (i.e., farthest away4; from the Stack Pointer.) In standard SSP mode this means that large (>=5; ssp-buffer-size) arrays and structures containing such arrays are6; closet to the protector. With sspstrong and sspreq this means large7; 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 groups11; and that the groups have the correct relative stack offset. The ordering12; within a group is not relevant to this test. Unfortunately, there is not13; an elegant way to do this, so just match the offset for each object.14 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] }20 21define void @layout_ssp() ssp {22entry:23; Expected stack layout for ssp is24; 180 large_char . Group 1, nested arrays, arrays >= ssp-buffer-size25; 172 struct_large_char .26; 168 scalar1 | Everything else27; 164 scalar228; 160 scalar329; 156 addr-of30; 152 small_nonchar31; 112 large_nonchar32; 110 small_char33; 108 struct_small_char34; 72 struct_large_nonchar35; 68 struct_small_nonchar36 37; CHECK: layout_ssp:38 39; CHECK: bl get_scalar140; CHECK: str r0, [sp, #168]41; CHECK: bl end_scalar142 43; CHECK: bl get_scalar244; CHECK: str r0, [sp, #164]45; CHECK: bl end_scalar46 47; CHECK: bl get_scalar348; CHECK: str r0, [sp, #160]49; CHECK: bl end_scalar350 51; CHECK: bl get_addrof52; CHECK: str r0, [sp, #156]53; CHECK: bl end_addrof54 55; CHECK: get_small_nonchar56; CHECK: strh r0, [sp, #152]57; CHECK: bl end_small_nonchar58 59; CHECK: bl get_large_nonchar60; CHECK: str r0, [sp, #112]61; CHECK: bl end_large_nonchar62 63; CHECK: bl get_small_char64; CHECK: strb r0, [sp, #110]65; CHECK: bl end_small_char66 67; CHECK: bl get_large_char68; CHECK: strb r0, [sp, #180]69; CHECK: bl end_large_char70 71; CHECK: bl get_struct_large_char72; CHECK: strb r0, [sp, #172]73; CHECK: bl end_struct_large_char74 75; CHECK: bl get_struct_small_char76; CHECK: strb r0, [sp, #108]77; CHECK: bl end_struct_small_char78 79; CHECK: bl get_struct_large_nonchar80; CHECK:str r0, [sp, #72]81; CHECK: bl end_struct_large_nonchar82 83; CHECK: bl get_struct_small_nonchar84; CHECK: strh r0, [sp, #68]85; CHECK: bl end_struct_small_nonchar86 %x = alloca i32, align 487 %y = alloca i32, align 488 %z = alloca i32, align 489 %ptr = alloca i32, align 490 %small2 = alloca [2 x i16], align 291 %large2 = alloca [8 x i32], align 1692 %small = alloca [2 x i8], align 193 %large = alloca [8 x i8], align 194 %a = alloca %struct.struct_large_char, align 195 %b = alloca %struct.struct_small_char, align 196 %c = alloca %struct.struct_large_nonchar, align 897 %d = alloca %struct.struct_small_nonchar, align 298 %call = call i32 @get_scalar1()99 store i32 %call, ptr %x, align 4100 call void @end_scalar1()101 %call1 = call i32 @get_scalar2()102 store i32 %call1, ptr %y, align 4103 call void @end_scalar2()104 %call2 = call i32 @get_scalar3()105 store i32 %call2, ptr %z, align 4106 call void @end_scalar3()107 %call3 = call i32 @get_addrof()108 store i32 %call3, ptr %ptr, align 4109 call void @end_addrof()110 %call4 = call signext i16 @get_small_nonchar()111 store i16 %call4, ptr %small2, align 2112 call void @end_small_nonchar()113 %call5 = call i32 @get_large_nonchar()114 store i32 %call5, ptr %large2, align 4115 call void @end_large_nonchar()116 %call7 = call signext i8 @get_small_char()117 store i8 %call7, ptr %small, align 1118 call void @end_small_char()119 %call9 = call signext i8 @get_large_char()120 store i8 %call9, ptr %large, align 1121 call void @end_large_char()122 %call11 = call signext i8 @get_struct_large_char()123 store i8 %call11, ptr %a, align 1124 call void @end_struct_large_char()125 %call13 = call signext i8 @get_struct_small_char()126 store i8 %call13, ptr %b, align 1127 call void @end_struct_small_char()128 %call16 = call i32 @get_struct_large_nonchar()129 store i32 %call16, ptr %c, align 4130 call void @end_struct_large_nonchar()131 %call19 = call signext i16 @get_struct_small_nonchar()132 store i16 %call19, ptr %d, align 2133 call void @end_struct_small_nonchar()134 %0 = load i32, ptr %x, align 4135 %1 = load i32, ptr %y, align 4136 %2 = load i32, ptr %z, align 4137 %3 = load i64, ptr %a, align 1138 %4 = load i16, ptr %b, align 1139 %5 = load i32, ptr %d, align 1140 call void @takes_all(i64 %3, i16 %4, ptr byval(%struct.struct_large_nonchar) align 4 %c, i32 %5, ptr %large, ptr %small, ptr %large2, ptr %small2, ptr %ptr, i32 %0, i32 %1, i32 %2)141 ret void142}143 144define void @layout_sspstrong() sspstrong {145entry:146; Expected stack layout for sspstrong is147; 144 large_nonchar . Group 1, nested arrays,148; 136 large_char . arrays >= ssp-buffer-size149; 128 struct_large_char .150; 96 struct_large_nonchar .151; 84+8 small_non_char | Group 2, nested arrays,152; 90 small_char | arrays < ssp-buffer-size153; 88 struct_small_char |154; 84 struct_small_nonchar |155; 80 addrof * Group 3, addr-of local156; 76 scalar1 + Group 4, everything else157; 72 scalar2 +158; 68 scalar3 +159;160; CHECK: layout_sspstrong:161 162; CHECK: bl get_scalar1163; CHECK: str r0, [sp, #76]164; CHECK: bl end_scalar1165 166; CHECK: bl get_scalar2167; CHECK: str r0, [sp, #72]168; CHECK: bl end_scalar2169 170; CHECK: bl get_scalar3171; CHECK: str r0, [sp, #68]172; CHECK: bl end_scalar3173 174; CHECK: bl get_addrof175; CHECK: str r0, [sp, #80]176; CHECK: bl end_addrof177 178; CHECK: get_small_nonchar179; CHECK: strh r0, [sp, #92]180; CHECK: bl end_small_nonchar181 182; CHECK: bl get_large_nonchar183; CHECK: str r0, [sp, #144]184; CHECK: bl end_large_nonchar185 186; CHECK: bl get_small_char187; CHECK: strb r0, [sp, #90]188; CHECK: bl end_small_char189 190; CHECK: bl get_large_char191; CHECK: strb r0, [sp, #136]192; CHECK: bl end_large_char193 194; CHECK: bl get_struct_large_char195; CHECK: strb r0, [sp, #128]196; CHECK: bl end_struct_large_char197 198; CHECK: bl get_struct_small_char199; CHECK: strb r0, [sp, #88]200; CHECK: bl end_struct_small_char201 202; CHECK: bl get_struct_large_nonchar203; CHECK: str r0, [sp, #96]204; CHECK: bl end_struct_large_nonchar205 206; CHECK: bl get_struct_small_nonchar207; CHECK: strh r0, [sp, #84]208; CHECK: bl end_struct_small_nonchar209 %x = alloca i32, align 4210 %y = alloca i32, align 4211 %z = alloca i32, align 4212 %ptr = alloca i32, align 4213 %small2 = alloca [2 x i16], align 2214 %large2 = alloca [8 x i32], align 16215 %small = alloca [2 x i8], align 1216 %large = alloca [8 x i8], align 1217 %a = alloca %struct.struct_large_char, align 1218 %b = alloca %struct.struct_small_char, align 1219 %c = alloca %struct.struct_large_nonchar, align 8220 %d = alloca %struct.struct_small_nonchar, align 2221 %call = call i32 @get_scalar1()222 store i32 %call, ptr %x, align 4223 call void @end_scalar1()224 %call1 = call i32 @get_scalar2()225 store i32 %call1, ptr %y, align 4226 call void @end_scalar2()227 %call2 = call i32 @get_scalar3()228 store i32 %call2, ptr %z, align 4229 call void @end_scalar3()230 %call3 = call i32 @get_addrof()231 store i32 %call3, ptr %ptr, align 4232 call void @end_addrof()233 %call4 = call signext i16 @get_small_nonchar()234 store i16 %call4, ptr %small2, align 2235 call void @end_small_nonchar()236 %call5 = call i32 @get_large_nonchar()237 store i32 %call5, ptr %large2, align 4238 call void @end_large_nonchar()239 %call7 = call signext i8 @get_small_char()240 store i8 %call7, ptr %small, align 1241 call void @end_small_char()242 %call9 = call signext i8 @get_large_char()243 store i8 %call9, ptr %large, align 1244 call void @end_large_char()245 %call11 = call signext i8 @get_struct_large_char()246 store i8 %call11, ptr %a, align 1247 call void @end_struct_large_char()248 %call13 = call signext i8 @get_struct_small_char()249 store i8 %call13, ptr %b, align 1250 call void @end_struct_small_char()251 %call16 = call i32 @get_struct_large_nonchar()252 store i32 %call16, ptr %c, align 4253 call void @end_struct_large_nonchar()254 %call19 = call signext i16 @get_struct_small_nonchar()255 store i16 %call19, ptr %d, align 2256 call void @end_struct_small_nonchar()257 %0 = load i32, ptr %x, align 4258 %1 = load i32, ptr %y, align 4259 %2 = load i32, ptr %z, align 4260 %3 = load i64, ptr %a, align 1261 %4 = load i16, ptr %b, align 1262 %5 = load i32, ptr %d, align 1263 call void @takes_all(i64 %3, i16 %4, ptr byval(%struct.struct_large_nonchar) align 4 %c, i32 %5, ptr %large, ptr %small, ptr %large2, ptr %small2, ptr %ptr, i32 %0, i32 %1, i32 %2)264 ret void265}266 267define void @layout_sspreq() sspreq {268entry:269; Expected stack layout for sspreq is the same as sspstrong270;271; CHECK: layout_sspreq:272 273; CHECK: bl get_scalar1274; CHECK: str r0, [sp, #76]275; CHECK: bl end_scalar1276 277; CHECK: bl get_scalar2278; CHECK: str r0, [sp, #72]279; CHECK: bl end_scalar2280 281; CHECK: bl get_scalar3282; CHECK: str r0, [sp, #68]283; CHECK: bl end_scalar3284 285; CHECK: bl get_addrof286; CHECK: str r0, [sp, #80]287; CHECK: bl end_addrof288 289; CHECK: get_small_nonchar290; CHECK: strh r0, [sp, #92]291; CHECK: bl end_small_nonchar292 293; CHECK: bl get_large_nonchar294; CHECK: str r0, [sp, #144]295; CHECK: bl end_large_nonchar296 297; CHECK: bl get_small_char298; CHECK: strb r0, [sp, #90]299; CHECK: bl end_small_char300 301; CHECK: bl get_large_char302; CHECK: strb r0, [sp, #136]303; CHECK: bl end_large_char304 305; CHECK: bl get_struct_large_char306; CHECK: strb r0, [sp, #128]307; CHECK: bl end_struct_large_char308 309; CHECK: bl get_struct_small_char310; CHECK: strb r0, [sp, #88]311; CHECK: bl end_struct_small_char312 313; CHECK: bl get_struct_large_nonchar314; CHECK: str r0, [sp, #96]315; CHECK: bl end_struct_large_nonchar316 317; CHECK: bl get_struct_small_nonchar318; CHECK: strh r0, [sp, #84]319; CHECK: bl end_struct_small_nonchar320 %x = alloca i32, align 4321 %y = alloca i32, align 4322 %z = alloca i32, align 4323 %ptr = alloca i32, align 4324 %small2 = alloca [2 x i16], align 2325 %large2 = alloca [8 x i32], align 16326 %small = alloca [2 x i8], align 1327 %large = alloca [8 x i8], align 1328 %a = alloca %struct.struct_large_char, align 1329 %b = alloca %struct.struct_small_char, align 1330 %c = alloca %struct.struct_large_nonchar, align 8331 %d = alloca %struct.struct_small_nonchar, align 2332 %call = call i32 @get_scalar1()333 store i32 %call, ptr %x, align 4334 call void @end_scalar1()335 %call1 = call i32 @get_scalar2()336 store i32 %call1, ptr %y, align 4337 call void @end_scalar2()338 %call2 = call i32 @get_scalar3()339 store i32 %call2, ptr %z, align 4340 call void @end_scalar3()341 %call3 = call i32 @get_addrof()342 store i32 %call3, ptr %ptr, align 4343 call void @end_addrof()344 %call4 = call signext i16 @get_small_nonchar()345 store i16 %call4, ptr %small2, align 2346 call void @end_small_nonchar()347 %call5 = call i32 @get_large_nonchar()348 store i32 %call5, ptr %large2, align 4349 call void @end_large_nonchar()350 %call7 = call signext i8 @get_small_char()351 store i8 %call7, ptr %small, align 1352 call void @end_small_char()353 %call9 = call signext i8 @get_large_char()354 store i8 %call9, ptr %large, align 1355 call void @end_large_char()356 %call11 = call signext i8 @get_struct_large_char()357 store i8 %call11, ptr %a, align 1358 call void @end_struct_large_char()359 %call13 = call signext i8 @get_struct_small_char()360 store i8 %call13, ptr %b, align 1361 call void @end_struct_small_char()362 %call16 = call i32 @get_struct_large_nonchar()363 store i32 %call16, ptr %c, align 4364 call void @end_struct_large_nonchar()365 %call19 = call signext i16 @get_struct_small_nonchar()366 store i16 %call19, ptr %d, align 2367 call void @end_struct_small_nonchar()368 %0 = load i32, ptr %x, align 4369 %1 = load i32, ptr %y, align 4370 %2 = load i32, ptr %z, align 4371 %3 = load i64, ptr %a, align 1372 %4 = load i16, ptr %b, align 1373 %5 = load i32, ptr %d, align 1374 call void @takes_all(i64 %3, i16 %4, ptr byval(%struct.struct_large_nonchar) align 4 %c, i32 %5, ptr %large, ptr %small, ptr %large2, ptr %small2, ptr %ptr, i32 %0, i32 %1, i32 %2)375 ret void376}377 378define void @struct_with_protectable_arrays() sspstrong {379entry:380; Check to ensure that a structure which contains a small array followed by a381; large array is assigned to the stack properly as a large object.382; CHECK: struct_with_protectable_arrays:383; CHECK: bl get_struct_small_char384; CHECK: strb r0, [sp, #68]385; CHECK: bl end_struct_small_char386; CHECK: bl get_struct_large_char2387; CHECK: strb r0, [sp, #106]388; CHECK: bl end_struct_large_char2389 %a = alloca %struct.struct_small_char, align 4390 %b = alloca %struct.struct_large_char2, align 4391 %d1 = alloca %struct.struct_large_nonchar, align 8392 %d2 = alloca %struct.struct_small_nonchar, align 2393 %call = call signext i8 @get_struct_small_char()394 store i8 %call, ptr %a, align 1395 call void @end_struct_small_char()396 %call1 = call signext i8 @get_struct_large_char2()397 %foo2 = getelementptr inbounds %struct.struct_large_char2, ptr %b, i32 0, i32 1398 store i8 %call1, ptr %foo2, align 1399 call void @end_struct_large_char2()400 %0 = load i64, ptr %b, align 1401 %1 = load i16, ptr %a, align 1402 %2 = load i32, ptr %d2, align 1403 call void @takes_all(i64 %0, i16 %1, ptr byval(%struct.struct_large_nonchar) align 4 %d1, i32 %2, ptr null, ptr null, ptr null, ptr null, ptr null, i32 0, i32 0, i32 0)404 ret void405}406 407declare i32 @get_scalar1()408declare void @end_scalar1()409 410declare i32 @get_scalar2()411declare void @end_scalar2()412 413declare i32 @get_scalar3()414declare void @end_scalar3()415 416declare i32 @get_addrof()417declare void @end_addrof()418 419declare signext i16 @get_small_nonchar()420declare void @end_small_nonchar()421 422declare i32 @get_large_nonchar()423declare void @end_large_nonchar()424 425declare signext i8 @get_small_char()426declare void @end_small_char()427 428declare signext i8 @get_large_char()429declare void @end_large_char()430 431declare signext i8 @get_struct_large_char()432declare void @end_struct_large_char()433 434declare signext i8 @get_struct_large_char2()435declare void @end_struct_large_char2()436 437declare signext i8 @get_struct_small_char()438declare void @end_struct_small_char()439 440declare i32 @get_struct_large_nonchar()441declare void @end_struct_large_nonchar()442 443declare signext i16 @get_struct_small_nonchar()444declare void @end_struct_small_nonchar()445 446declare void @takes_all(i64, i16, ptr byval(%struct.struct_large_nonchar) align 8, i32, ptr, ptr, ptr, ptr, ptr, i32, i32, i32)447