443 lines · plain
1; RUN: llc < %s -stack-symbol-ordering=0 -frame-pointer=all -mtriple=x86_64-pc-linux-gnu -mcpu=corei7 -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; RUN: llc < %s -frame-pointer=all -mtriple=x86_64-unknown-unknown -O0 -mcpu=corei7 -o - \15; RUN: | FileCheck --check-prefix=FAST-NON-LIN %s16; FastISel was not setting the StackProtectorIndex when lowering17; Intrinsic::stackprotector and as a result the stack re-arrangement code was18; never applied. This problem only shows up on non-Linux platforms because on19; Linux the stack protector cookie is loaded from a special address space which20; always triggers standard ISel. Run a basic test to ensure that at -O021; 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 is31; -16 large_char . Group 1, nested arrays, arrays >= ssp-buffer-size32; -24 struct_large_char .33; -28 scalar1 | Everything else34; -32 scalar235; -36 scalar336; -40 addr-of37; -44 small_nonchar38; -80 large_nonchar39; -82 small_char40; -88 struct_small_char41; -120 struct_large_nonchar42; -128 struct_small_nonchar43 44; CHECK: layout_ssp:45; CHECK: call{{l|q}} get_scalar146; CHECK: movl %eax, -28(47; CHECK: call{{l|q}} end_scalar148 49; CHECK: call{{l|q}} get_scalar250; CHECK: movl %eax, -32(51; CHECK: call{{l|q}} end_scalar252 53; CHECK: call{{l|q}} get_scalar354; CHECK: movl %eax, -36(55; CHECK: call{{l|q}} end_scalar356 57; CHECK: call{{l|q}} get_addrof58; CHECK: movl %eax, -40(59; CHECK: call{{l|q}} end_addrof60 61; CHECK: get_small_nonchar62; CHECK: movw %ax, -44(63; CHECK: call{{l|q}} end_small_nonchar64 65; CHECK: call{{l|q}} get_large_nonchar66; CHECK: movl %eax, -80(67; CHECK: call{{l|q}} end_large_nonchar68 69; CHECK: call{{l|q}} get_small_char70; CHECK: movb %al, -82(71; CHECK: call{{l|q}} end_small_char72 73; CHECK: call{{l|q}} get_large_char74; CHECK: movb %al, -16(75; CHECK: call{{l|q}} end_large_char76 77; CHECK: call{{l|q}} get_struct_large_char78; CHECK: movb %al, -24(79; CHECK: call{{l|q}} end_struct_large_char80 81; CHECK: call{{l|q}} get_struct_small_char82; CHECK: movb %al, -88(83; CHECK: call{{l|q}} end_struct_small_char84 85; CHECK: call{{l|q}} get_struct_large_nonchar86; CHECK: movl %eax, -120(87; CHECK: call{{l|q}} end_struct_large_nonchar88 89; CHECK: call{{l|q}} get_struct_small_nonchar90; CHECK: movw %ax, -128(91; CHECK: call{{l|q}} end_struct_small_nonchar92 %x = alloca i32, align 493 %y = alloca i32, align 494 %z = alloca i32, align 495 %ptr = alloca i32, align 496 %small2 = alloca [2 x i16], align 497 %large2 = alloca [8 x i32], align 1698 %small = alloca [2 x i8], align 299 %large = alloca [8 x i8], align 8100 %a = alloca %struct.struct_large_char, align 8101 %b = alloca %struct.struct_small_char, align 8102 %c = alloca %struct.struct_large_nonchar, align 8103 %d = alloca %struct.struct_small_nonchar, align 8104 %call = call i32 @get_scalar1()105 store i32 %call, ptr %x, align 4106 call void @end_scalar1()107 %call1 = call i32 @get_scalar2()108 store i32 %call1, ptr %y, align 4109 call void @end_scalar2()110 %call2 = call i32 @get_scalar3()111 store i32 %call2, ptr %z, align 4112 call void @end_scalar3()113 %call3 = call i32 @get_addrof()114 store i32 %call3, ptr %ptr, align 4115 call void @end_addrof()116 %call4 = call signext i16 @get_small_nonchar()117 store i16 %call4, ptr %small2, align 2118 call void @end_small_nonchar()119 %call5 = call i32 @get_large_nonchar()120 store i32 %call5, ptr %large2, align 4121 call void @end_large_nonchar()122 %call7 = call signext i8 @get_small_char()123 store i8 %call7, ptr %small, align 1124 call void @end_small_char()125 %call9 = call signext i8 @get_large_char()126 store i8 %call9, ptr %large, align 1127 call void @end_large_char()128 %call11 = call signext i8 @get_struct_large_char()129 store i8 %call11, ptr %a, align 1130 call void @end_struct_large_char()131 %call13 = call signext i8 @get_struct_small_char()132 store i8 %call13, ptr %b, align 1133 call void @end_struct_small_char()134 %call16 = call i32 @get_struct_large_nonchar()135 store i32 %call16, ptr %c, align 4136 call void @end_struct_large_nonchar()137 %call19 = call signext i16 @get_struct_small_nonchar()138 store i16 %call19, ptr %d, align 2139 call void @end_struct_small_nonchar()140 %0 = load i32, ptr %x, align 4141 %1 = load i32, ptr %y, align 4142 %2 = load i32, ptr %z, align 4143 %3 = load i64, ptr %a, align 1144 %4 = load i16, ptr %b, align 1145 %5 = load i32, ptr %d, align 1146 call void @takes_all(i64 %3, i16 %4, ptr byval(%struct.struct_large_nonchar) align 8 %c, i32 %5, ptr %large, ptr %small, ptr %large2, ptr %small2, ptr %ptr, i32 %0, i32 %1, i32 %2)147 ret void148}149 150define void @layout_sspstrong() nounwind uwtable sspstrong {151entry:152; Expected stack layout for sspstrong is153; -48 large_nonchar . Group 1, nested arrays,154; -56 large_char . arrays >= ssp-buffer-size155; -64 struct_large_char .156; -96 struct_large_nonchar .157; -100 small_non_char | Group 2, nested arrays,158; -102 small_char | arrays < ssp-buffer-size159; -104 struct_small_char |160; -112 struct_small_nonchar |161; -116 addrof * Group 3, addr-of local162; -120 scalar + Group 4, everything else163; -124 scalar +164; -128 scalar +165;166; CHECK: layout_sspstrong:167; CHECK: call{{l|q}} get_scalar1168; CHECK: movl %eax, -120(169; CHECK: call{{l|q}} end_scalar1170 171; CHECK: call{{l|q}} get_scalar2172; CHECK: movl %eax, -124(173; CHECK: call{{l|q}} end_scalar2174 175; CHECK: call{{l|q}} get_scalar3176; CHECK: movl %eax, -128(177; CHECK: call{{l|q}} end_scalar3178 179; CHECK: call{{l|q}} get_addrof180; CHECK: movl %eax, -116(181; CHECK: call{{l|q}} end_addrof182 183; CHECK: get_small_nonchar184; CHECK: movw %ax, -100(185; CHECK: call{{l|q}} end_small_nonchar186 187; CHECK: call{{l|q}} get_large_nonchar188; CHECK: movl %eax, -48(189; CHECK: call{{l|q}} end_large_nonchar190 191; CHECK: call{{l|q}} get_small_char192; CHECK: movb %al, -102(193; CHECK: call{{l|q}} end_small_char194 195; CHECK: call{{l|q}} get_large_char196; CHECK: movb %al, -56(197; CHECK: call{{l|q}} end_large_char198 199; CHECK: call{{l|q}} get_struct_large_char200; CHECK: movb %al, -64(201; CHECK: call{{l|q}} end_struct_large_char202 203; CHECK: call{{l|q}} get_struct_small_char204; CHECK: movb %al, -104(205; CHECK: call{{l|q}} end_struct_small_char206 207; CHECK: call{{l|q}} get_struct_large_nonchar208; CHECK: movl %eax, -96(209; CHECK: call{{l|q}} end_struct_large_nonchar210 211; CHECK: call{{l|q}} get_struct_small_nonchar212; CHECK: movw %ax, -112(213; CHECK: call{{l|q}} end_struct_small_nonchar214 %x = alloca i32, align 4215 %y = alloca i32, align 4216 %z = alloca i32, align 4217 %ptr = alloca i32, align 4218 %small2 = alloca [2 x i16], align 2219 %large2 = alloca [8 x i32], align 16220 %small = alloca [2 x i8], align 2221 %large = alloca [8 x i8], align 8222 %a = alloca %struct.struct_large_char, align 8223 %b = alloca %struct.struct_small_char, align 8224 %c = alloca %struct.struct_large_nonchar, align 8225 %d = alloca %struct.struct_small_nonchar, align 8226 %call = call i32 @get_scalar1()227 store i32 %call, ptr %x, align 4228 call void @end_scalar1()229 %call1 = call i32 @get_scalar2()230 store i32 %call1, ptr %y, align 4231 call void @end_scalar2()232 %call2 = call i32 @get_scalar3()233 store i32 %call2, ptr %z, align 4234 call void @end_scalar3()235 %call3 = call i32 @get_addrof()236 store i32 %call3, ptr %ptr, align 4237 call void @end_addrof()238 %call4 = call signext i16 @get_small_nonchar()239 store i16 %call4, ptr %small2, align 2240 call void @end_small_nonchar()241 %call5 = call i32 @get_large_nonchar()242 store i32 %call5, ptr %large2, align 4243 call void @end_large_nonchar()244 %call7 = call signext i8 @get_small_char()245 store i8 %call7, ptr %small, align 1246 call void @end_small_char()247 %call9 = call signext i8 @get_large_char()248 store i8 %call9, ptr %large, align 1249 call void @end_large_char()250 %call11 = call signext i8 @get_struct_large_char()251 store i8 %call11, ptr %a, align 1252 call void @end_struct_large_char()253 %call13 = call signext i8 @get_struct_small_char()254 store i8 %call13, ptr %b, align 1255 call void @end_struct_small_char()256 %call16 = call i32 @get_struct_large_nonchar()257 store i32 %call16, ptr %c, align 4258 call void @end_struct_large_nonchar()259 %call19 = call signext i16 @get_struct_small_nonchar()260 store i16 %call19, ptr %d, align 2261 call void @end_struct_small_nonchar()262 %0 = load i32, ptr %x, align 4263 %1 = load i32, ptr %y, align 4264 %2 = load i32, ptr %z, align 4265 %3 = load i64, ptr %a, align 1266 %4 = load i16, ptr %b, align 1267 %5 = load i32, ptr %d, align 1268 call void @takes_all(i64 %3, i16 %4, ptr byval(%struct.struct_large_nonchar) align 8 %c, i32 %5, ptr %large, ptr %small, ptr %large2, ptr %small2, ptr %ptr, i32 %0, i32 %1, i32 %2)269 ret void270}271 272define void @layout_sspreq() nounwind uwtable sspreq {273entry:274; Expected stack layout for sspreq is the same as sspstrong275;276; CHECK: layout_sspreq:277; CHECK: call{{l|q}} get_scalar1278; CHECK: movl %eax, -120(279; CHECK: call{{l|q}} end_scalar1280 281; CHECK: call{{l|q}} get_scalar2282; CHECK: movl %eax, -124(283; CHECK: call{{l|q}} end_scalar2284 285; CHECK: call{{l|q}} get_scalar3286; CHECK: movl %eax, -128(287; CHECK: call{{l|q}} end_scalar3288 289; CHECK: call{{l|q}} get_addrof290; CHECK: movl %eax, -116(291; CHECK: call{{l|q}} end_addrof292 293; CHECK: get_small_nonchar294; CHECK: movw %ax, -100(295; CHECK: call{{l|q}} end_small_nonchar296 297; CHECK: call{{l|q}} get_large_nonchar298; CHECK: movl %eax, -48(299; CHECK: call{{l|q}} end_large_nonchar300 301; CHECK: call{{l|q}} get_small_char302; CHECK: movb %al, -102(303; CHECK: call{{l|q}} end_small_char304 305; CHECK: call{{l|q}} get_large_char306; CHECK: movb %al, -56(307; CHECK: call{{l|q}} end_large_char308 309; CHECK: call{{l|q}} get_struct_large_char310; CHECK: movb %al, -64(311; CHECK: call{{l|q}} end_struct_large_char312 313; CHECK: call{{l|q}} get_struct_small_char314; CHECK: movb %al, -104(315; CHECK: call{{l|q}} end_struct_small_char316 317; CHECK: call{{l|q}} get_struct_large_nonchar318; CHECK: movl %eax, -96(319; CHECK: call{{l|q}} end_struct_large_nonchar320 321; CHECK: call{{l|q}} get_struct_small_nonchar322; CHECK: movw %ax, -112(323; CHECK: call{{l|q}} end_struct_small_nonchar324 %x = alloca i32, align 4325 %y = alloca i32, align 4326 %z = alloca i32, align 4327 %ptr = alloca i32, align 4328 %small2 = alloca [2 x i16], align 4329 %large2 = alloca [8 x i32], align 16330 %small = alloca [2 x i8], align 2331 %large = alloca [8 x i8], align 8332 %a = alloca %struct.struct_large_char, align 8333 %b = alloca %struct.struct_small_char, align 8334 %c = alloca %struct.struct_large_nonchar, align 8335 %d = alloca %struct.struct_small_nonchar, align 8336 %call = call i32 @get_scalar1()337 store i32 %call, ptr %x, align 4338 call void @end_scalar1()339 %call1 = call i32 @get_scalar2()340 store i32 %call1, ptr %y, align 4341 call void @end_scalar2()342 %call2 = call i32 @get_scalar3()343 store i32 %call2, ptr %z, align 4344 call void @end_scalar3()345 %call3 = call i32 @get_addrof()346 store i32 %call3, ptr %ptr, align 4347 call void @end_addrof()348 %call4 = call signext i16 @get_small_nonchar()349 store i16 %call4, ptr %small2, align 2350 call void @end_small_nonchar()351 %call5 = call i32 @get_large_nonchar()352 store i32 %call5, ptr %large2, align 4353 call void @end_large_nonchar()354 %call7 = call signext i8 @get_small_char()355 store i8 %call7, ptr %small, align 1356 call void @end_small_char()357 %call9 = call signext i8 @get_large_char()358 store i8 %call9, ptr %large, align 1359 call void @end_large_char()360 %call11 = call signext i8 @get_struct_large_char()361 store i8 %call11, ptr %a, align 1362 call void @end_struct_large_char()363 %call13 = call signext i8 @get_struct_small_char()364 store i8 %call13, ptr %b, align 1365 call void @end_struct_small_char()366 %call16 = call i32 @get_struct_large_nonchar()367 store i32 %call16, ptr %c, align 4368 call void @end_struct_large_nonchar()369 %call19 = call signext i16 @get_struct_small_nonchar()370 store i16 %call19, ptr %d, align 2371 call void @end_struct_small_nonchar()372 %0 = load i32, ptr %x, align 4373 %1 = load i32, ptr %y, align 4374 %2 = load i32, ptr %z, align 4375 %3 = load i64, ptr %a, align 1376 %4 = load i16, ptr %b, align 1377 %5 = load i32, ptr %d, align 1378 call void @takes_all(i64 %3, i16 %4, ptr byval(%struct.struct_large_nonchar) align 8 %c, i32 %5, ptr %large, ptr %small, ptr %large2, ptr %small2, ptr %ptr, i32 %0, i32 %1, i32 %2)379 ret void380}381 382define void @fast_non_linux() ssp {383entry:384; FAST-NON-LIN: fast_non_linux:385; FAST-NON-LIN: call{{l|q}} get_scalar1386; FAST-NON-LIN: movl %eax, -20(387; FAST-NON-LIN: call{{l|q}} end_scalar1388 389; FAST-NON-LIN: call{{l|q}} get_large_char390; FAST-NON-LIN: movb %al, -16(391; FAST-NON-LIN: call{{l|q}} end_large_char392 %x = alloca i32, align 4393 %large = alloca [8 x i8], align 1394 %call = call i32 @get_scalar1()395 store i32 %call, ptr %x, align 4396 call void @end_scalar1()397 %call1 = call signext i8 @get_large_char()398 store i8 %call1, ptr %large, align 1399 call void @end_large_char()400 %0 = load i32, ptr %x, align 4401 call void @takes_two(i32 %0, ptr %large)402 ret void403}404 405declare i32 @get_scalar1()406declare void @end_scalar1()407 408declare i32 @get_scalar2()409declare void @end_scalar2()410 411declare i32 @get_scalar3()412declare void @end_scalar3()413 414declare i32 @get_addrof()415declare void @end_addrof()416 417declare signext i16 @get_small_nonchar()418declare void @end_small_nonchar()419 420declare i32 @get_large_nonchar()421declare void @end_large_nonchar()422 423declare signext i8 @get_small_char()424declare void @end_small_char()425 426declare signext i8 @get_large_char()427declare void @end_large_char()428 429declare signext i8 @get_struct_large_char()430declare void @end_struct_large_char()431 432declare signext i8 @get_struct_small_char()433declare void @end_struct_small_char()434 435declare i32 @get_struct_large_nonchar()436declare void @end_struct_large_nonchar()437 438declare signext i16 @get_struct_small_nonchar()439declare void @end_struct_small_nonchar()440 441declare void @takes_all(i64, i16, ptr byval(%struct.struct_large_nonchar) align 8, i32, ptr, ptr, ptr, ptr, ptr, i32, i32, i32)442declare void @takes_two(i32, ptr)443