; RUN: llc < %s -stack-symbol-ordering=0 -frame-pointer=all -mtriple=x86_64-pc-linux-gnu -mcpu=corei7 -o - | FileCheck %s
; This test is fairly fragile. The goal is to ensure that "large" stack
; objects are allocated closest to the stack protector (i.e., farthest away
; from the Stack Pointer.) In standard SSP mode this means that large (>=
; ssp-buffer-size) arrays and structures containing such arrays are
; closet to the protector. With sspstrong and sspreq this means large
; arrays/structures-with-arrays are closest, followed by small (< ssp-buffer-size)
; arrays/structures-with-arrays, and then addr-taken variables.
;
; Ideally, we only want verify that the objects appear in the correct groups
; and that the groups have the correct relative stack offset. The ordering
; within a group is not relevant to this test. Unfortunately, there is not
; an elegant way to do this, so just match the offset for each object.
; RUN: llc < %s -frame-pointer=all -mtriple=x86_64-unknown-unknown -O0 -mcpu=corei7 -o - \
; RUN: | FileCheck --check-prefix=FAST-NON-LIN %s
; FastISel was not setting the StackProtectorIndex when lowering
; Intrinsic::stackprotector and as a result the stack re-arrangement code was
; never applied. This problem only shows up on non-Linux platforms because on
; Linux the stack protector cookie is loaded from a special address space which
; always triggers standard ISel. Run a basic test to ensure that at -O0
; on a non-linux target the data layout rules are triggered.
%struct.struct_large_char = type { [8 x i8] }
%struct.struct_small_char = type { [2 x i8] }
%struct.struct_large_nonchar = type { [8 x i32] }
%struct.struct_small_nonchar = type { [2 x i16] }
define void @layout_ssp() ssp {
entry:
; Expected stack layout for ssp is
; -16 large_char . Group 1, nested arrays, arrays >= ssp-buffer-size
; -24 struct_large_char .
; -28 scalar1 | Everything else
; -32 scalar2
; -36 scalar3
; -40 addr-of
; -44 small_nonchar
; -80 large_nonchar
; -82 small_char
; -88 struct_small_char
; -120 struct_large_nonchar
; -128 struct_small_nonchar
; CHECK: layout_ssp:
; CHECK: call{{l|q}} get_scalar1
; CHECK: movl %eax, -28(
; CHECK: call{{l|q}} end_scalar1
; CHECK: call{{l|q}} get_scalar2
; CHECK: movl %eax, -32(
; CHECK: call{{l|q}} end_scalar2
; CHECK: call{{l|q}} get_scalar3
; CHECK: movl %eax, -36(
; CHECK: call{{l|q}} end_scalar3
; CHECK: call{{l|q}} get_addrof
; CHECK: movl %eax, -40(
; CHECK: call{{l|q}} end_addrof
; CHECK: get_small_nonchar
; CHECK: movw %ax, -44(
; CHECK: call{{l|q}} end_small_nonchar
; CHECK: call{{l|q}} get_large_nonchar
; CHECK: movl %eax, -80(
; CHECK: call{{l|q}} end_large_nonchar
; CHECK: call{{l|q}} get_small_char
; CHECK: movb %al, -82(
; CHECK: call{{l|q}} end_small_char
; CHECK: call{{l|q}} get_large_char
; CHECK: movb %al, -16(
; CHECK: call{{l|q}} end_large_char
; CHECK: call{{l|q}} get_struct_large_char
; CHECK: movb %al, -24(
; CHECK: call{{l|q}} end_struct_large_char
; CHECK: call{{l|q}} get_struct_small_char
; CHECK: movb %al, -88(
; CHECK: call{{l|q}} end_struct_small_char
; CHECK: call{{l|q}} get_struct_large_nonchar
; CHECK: movl %eax, -120(
; CHECK: call{{l|q}} end_struct_large_nonchar
; CHECK: call{{l|q}} get_struct_small_nonchar
; CHECK: movw %ax, -128(
; CHECK: call{{l|q}} end_struct_small_nonchar
%x = alloca i32, align 4
%y = alloca i32, align 4
%z = alloca i32, align 4
%ptr = alloca i32, align 4
%small2 = alloca [2 x i16], align 2
%large2 = alloca [8 x i32], align 16
%small = alloca [2 x i8], align 1
%large = alloca [8 x i8], align 1
%a = alloca %struct.struct_large_char, align 1
%b = alloca %struct.struct_small_char, align 1
%c = alloca %struct.struct_large_nonchar, align 8
%d = alloca %struct.struct_small_nonchar, align 2
%call = call i32 @get_scalar1()
store i32 %call, ptr %x, align 4
call void @end_scalar1()
%call1 = call i32 @get_scalar2()
store i32 %call1, ptr %y, align 4
call void @end_scalar2()
%call2 = call i32 @get_scalar3()
store i32 %call2, ptr %z, align 4
call void @end_scalar3()
%call3 = call i32 @get_addrof()
store i32 %call3, ptr %ptr, align 4
call void @end_addrof()
%call4 = call signext i16 @get_small_nonchar()
store i16 %call4, ptr %small2, align 2
call void @end_small_nonchar()
%call5 = call i32 @get_large_nonchar()
store i32 %call5, ptr %large2, align 4
call void @end_large_nonchar()
%call7 = call signext i8 @get_small_char()
store i8 %call7, ptr %small, align 1
call void @end_small_char()
%call9 = call signext i8 @get_large_char()
store i8 %call9, ptr %large, align 1
call void @end_large_char()
%call11 = call signext i8 @get_struct_large_char()
store i8 %call11, ptr %a, align 1
call void @end_struct_large_char()
%call13 = call signext i8 @get_struct_small_char()
store i8 %call13, ptr %b, align 1
call void @end_struct_small_char()
%call16 = call i32 @get_struct_large_nonchar()
store i32 %call16, ptr %c, align 4
call void @end_struct_large_nonchar()
%call19 = call signext i16 @get_struct_small_nonchar()
store i16 %call19, ptr %d, align 2
call void @end_struct_small_nonchar()
%0 = load i32, ptr %x, align 4
%1 = load i32, ptr %y, align 4
%2 = load i32, ptr %z, align 4
%3 = load i64, ptr %a, align 1
%4 = load i16, ptr %b, align 1
%5 = load i32, ptr %d, align 1
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)
ret void
}
define void @layout_sspstrong() nounwind uwtable sspstrong {
entry:
; Expected stack layout for sspstrong is
; -48 large_nonchar . Group 1, nested arrays,
; -56 large_char . arrays >= ssp-buffer-size
; -64 struct_large_char .
; -96 struct_large_nonchar .
; -100 small_non_char | Group 2, nested arrays,
; -102 small_char | arrays < ssp-buffer-size
; -104 struct_small_char |
; -112 struct_small_nonchar |
; -116 addrof * Group 3, addr-of local
; -120 scalar + Group 4, everything else
; -124 scalar +
; -128 scalar +
;
; CHECK: layout_sspstrong:
; CHECK: call{{l|q}} get_scalar1
; CHECK: movl %eax, -120(
; CHECK: call{{l|q}} end_scalar1
; CHECK: call{{l|q}} get_scalar2
; CHECK: movl %eax, -124(
; CHECK: call{{l|q}} end_scalar2
; CHECK: call{{l|q}} get_scalar3
; CHECK: movl %eax, -128(
; CHECK: call{{l|q}} end_scalar3
; CHECK: call{{l|q}} get_addrof
; CHECK: movl %eax, -116(
; CHECK: call{{l|q}} end_addrof
; CHECK: get_small_nonchar
; CHECK: movw %ax, -100(
; CHECK: call{{l|q}} end_small_nonchar
; CHECK: call{{l|q}} get_large_nonchar
; CHECK: movl %eax, -48(
; CHECK: call{{l|q}} end_large_nonchar
; CHECK: call{{l|q}} get_small_char
; CHECK: movb %al, -102(
; CHECK: call{{l|q}} end_small_char
; CHECK: call{{l|q}} get_large_char
; CHECK: movb %al, -56(
; CHECK: call{{l|q}} end_large_char
; CHECK: call{{l|q}} get_struct_large_char
; CHECK: movb %al, -64(
; CHECK: call{{l|q}} end_struct_large_char
; CHECK: call{{l|q}} get_struct_small_char
; CHECK: movb %al, -104(
; CHECK: call{{l|q}} end_struct_small_char
; CHECK: call{{l|q}} get_struct_large_nonchar
; CHECK: movl %eax, -96(
; CHECK: call{{l|q}} end_struct_large_nonchar
; CHECK: call{{l|q}} get_struct_small_nonchar
; CHECK: movw %ax, -112(
; CHECK: call{{l|q}} end_struct_small_nonchar
%x = alloca i32, align 4
%y = alloca i32, align 4
%z = alloca i32, align 4
%ptr = alloca i32, align 4
%small2 = alloca [2 x i16], align 2
%large2 = alloca [8 x i32], align 16
%small = alloca [2 x i8], align 1
%large = alloca [8 x i8], align 1
%a = alloca %struct.struct_large_char, align 1
%b = alloca %struct.struct_small_char, align 1
%c = alloca %struct.struct_large_nonchar, align 8
%d = alloca %struct.struct_small_nonchar, align 2
%call = call i32 @get_scalar1()
store i32 %call, ptr %x, align 4
call void @end_scalar1()
%call1 = call i32 @get_scalar2()
store i32 %call1, ptr %y, align 4
call void @end_scalar2()
%call2 = call i32 @get_scalar3()
store i32 %call2, ptr %z, align 4
call void @end_scalar3()
%call3 = call i32 @get_addrof()
store i32 %call3, ptr %ptr, align 4
call void @end_addrof()
%call4 = call signext i16 @get_small_nonchar()
store i16 %call4, ptr %small2, align 2
call void @end_small_nonchar()
%call5 = call i32 @get_large_nonchar()
store i32 %call5, ptr %large2, align 4
call void @end_large_nonchar()
%call7 = call signext i8 @get_small_char()
store i8 %call7, ptr %small, align 1
call void @end_small_char()
%call9 = call signext i8 @get_large_char()
store i8 %call9, ptr %large, align 1
call void @end_large_char()
%call11 = call signext i8 @get_struct_large_char()
store i8 %call11, ptr %a, align 1
call void @end_struct_large_char()
%call13 = call signext i8 @get_struct_small_char()
store i8 %call13, ptr %b, align 1
call void @end_struct_small_char()
%call16 = call i32 @get_struct_large_nonchar()
store i32 %call16, ptr %c, align 4
call void @end_struct_large_nonchar()
%call19 = call signext i16 @get_struct_small_nonchar()
store i16 %call19, ptr %d, align 2
call void @end_struct_small_nonchar()
%0 = load i32, ptr %x, align 4
%1 = load i32, ptr %y, align 4
%2 = load i32, ptr %z, align 4
%3 = load i64, ptr %a, align 1
%4 = load i16, ptr %b, align 1
%5 = load i32, ptr %d, align 1
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)
ret void
}
define void @layout_sspreq() nounwind uwtable sspreq {
entry:
; Expected stack layout for sspreq is the same as sspstrong
;
; CHECK: layout_sspreq:
; CHECK: call{{l|q}} get_scalar1
; CHECK: movl %eax, -120(
; CHECK: call{{l|q}} end_scalar1
; CHECK: call{{l|q}} get_scalar2
; CHECK: movl %eax, -124(
; CHECK: call{{l|q}} end_scalar2
; CHECK: call{{l|q}} get_scalar3
; CHECK: movl %eax, -128(
; CHECK: call{{l|q}} end_scalar3
; CHECK: call{{l|q}} get_addrof
; CHECK: movl %eax, -116(
; CHECK: call{{l|q}} end_addrof
; CHECK: get_small_nonchar
; CHECK: movw %ax, -100(
; CHECK: call{{l|q}} end_small_nonchar
; CHECK: call{{l|q}} get_large_nonchar
; CHECK: movl %eax, -48(
; CHECK: call{{l|q}} end_large_nonchar
; CHECK: call{{l|q}} get_small_char
; CHECK: movb %al, -102(
; CHECK: call{{l|q}} end_small_char
; CHECK: call{{l|q}} get_large_char
; CHECK: movb %al, -56(
; CHECK: call{{l|q}} end_large_char
; CHECK: call{{l|q}} get_struct_large_char
; CHECK: movb %al, -64(
; CHECK: call{{l|q}} end_struct_large_char
; CHECK: call{{l|q}} get_struct_small_char
; CHECK: movb %al, -104(
; CHECK: call{{l|q}} end_struct_small_char
; CHECK: call{{l|q}} get_struct_large_nonchar
; CHECK: movl %eax, -96(
; CHECK: call{{l|q}} end_struct_large_nonchar
; CHECK: call{{l|q}} get_struct_small_nonchar
; CHECK: movw %ax, -112(
; CHECK: call{{l|q}} end_struct_small_nonchar
%x = alloca i32, align 4
%y = alloca i32, align 4
%z = alloca i32, align 4
%ptr = alloca i32, align 4
%small2 = alloca [2 x i16], align 2
%large2 = alloca [8 x i32], align 16
%small = alloca [2 x i8], align 1
%large = alloca [8 x i8], align 1
%a = alloca %struct.struct_large_char, align 1
%b = alloca %struct.struct_small_char, align 1
%c = alloca %struct.struct_large_nonchar, align 8
%d = alloca %struct.struct_small_nonchar, align 2
%call = call i32 @get_scalar1()
store i32 %call, ptr %x, align 4
call void @end_scalar1()
%call1 = call i32 @get_scalar2()
store i32 %call1, ptr %y, align 4
call void @end_scalar2()
%call2 = call i32 @get_scalar3()
store i32 %call2, ptr %z, align 4
call void @end_scalar3()
%call3 = call i32 @get_addrof()
store i32 %call3, ptr %ptr, align 4
call void @end_addrof()
%call4 = call signext i16 @get_small_nonchar()
store i16 %call4, ptr %small2, align 2
call void @end_small_nonchar()
%call5 = call i32 @get_large_nonchar()
store i32 %call5, ptr %large2, align 4
call void @end_large_nonchar()
%call7 = call signext i8 @get_small_char()
store i8 %call7, ptr %small, align 1
call void @end_small_char()
%call9 = call signext i8 @get_large_char()
store i8 %call9, ptr %large, align 1
call void @end_large_char()
%call11 = call signext i8 @get_struct_large_char()
store i8 %call11, ptr %a, align 1
call void @end_struct_large_char()
%call13 = call signext i8 @get_struct_small_char()
store i8 %call13, ptr %b, align 1
call void @end_struct_small_char()
%call16 = call i32 @get_struct_large_nonchar()
store i32 %call16, ptr %c, align 4
call void @end_struct_large_nonchar()
%call19 = call signext i16 @get_struct_small_nonchar()
store i16 %call19, ptr %d, align 2
call void @end_struct_small_nonchar()
%0 = load i32, ptr %x, align 4
%1 = load i32, ptr %y, align 4
%2 = load i32, ptr %z, align 4
%3 = load i64, ptr %a, align 1
%4 = load i16, ptr %b, align 1
%5 = load i32, ptr %d, align 1
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)
ret void
}
define void @fast_non_linux() ssp {
entry:
; FAST-NON-LIN: fast_non_linux:
; FAST-NON-LIN: call{{l|q}} get_scalar1
; FAST-NON-LIN: movl %eax, -20(
; FAST-NON-LIN: call{{l|q}} end_scalar1
; FAST-NON-LIN: call{{l|q}} get_large_char
; FAST-NON-LIN: movb %al, -16(
; FAST-NON-LIN: call{{l|q}} end_large_char
%x = alloca i32, align 4
%large = alloca [8 x i8], align 1
%call = call i32 @get_scalar1()
store i32 %call, ptr %x, align 4
call void @end_scalar1()
%call1 = call signext i8 @get_large_char()
store i8 %call1, ptr %large, align 1
call void @end_large_char()
%0 = load i32, ptr %x, align 4
call void @takes_two(i32 %0, ptr %large)
ret void
}
declare i32 @get_scalar1()
declare void @end_scalar1()
declare i32 @get_scalar2()
declare void @end_scalar2()
declare i32 @get_scalar3()
declare void @end_scalar3()
declare i32 @get_addrof()
declare void @end_addrof()
declare signext i16 @get_small_nonchar()
declare void @end_small_nonchar()
declare i32 @get_large_nonchar()
declare void @end_large_nonchar()
declare signext i8 @get_small_char()
declare void @end_small_char()
declare signext i8 @get_large_char()
declare void @end_large_char()
declare signext i8 @get_struct_large_char()
declare void @end_struct_large_char()
declare signext i8 @get_struct_small_char()
declare void @end_struct_small_char()
declare i32 @get_struct_large_nonchar()
declare void @end_struct_large_nonchar()
declare signext i16 @get_struct_small_nonchar()
declare void @end_struct_small_nonchar()
declare void @takes_all(i64, i16, ptr byval(%struct.struct_large_nonchar) align 8, i32, ptr, ptr, ptr, ptr, ptr, i32, i32, i32)
declare void @takes_two(i32, ptr)