1; RUN: llc < %s -mtriple=x86_64-linux -stack-size-section | FileCheck %s
2
3; CHECK-LABEL: func1:
4; CHECK-NEXT: .Lfunc_begin0:
5; CHECK: .section .stack_sizes,"o",@progbits
6; CHECK-NEXT: .quad .Lfunc_begin0
7; CHECK-NEXT: .byte 8
8define void @func1(i32, i32) #0 {
9  alloca i32, align 4
10  alloca i32, align 4
11  ret void
12}
13
14; CHECK-LABEL: func2:
15; CHECK-NEXT: .Lfunc_begin1:
16; CHECK: .section .stack_sizes,"o",@progbits
17; CHECK-NEXT: .quad .Lfunc_begin1
18; CHECK-NEXT: .byte 24
19define void @func2() #0 {
20  alloca i32, align 4
21  call void @func1(i32 1, i32 2)
22  ret void
23}
24
25; Check that we still put .stack_sizes into the corresponding COMDAT group if any.
26; CHECK: .section .text._Z4fooTIiET_v,"axG",@progbits,_Z4fooTIiET_v,comdat
27; CHECK: .section .stack_sizes,"Go",@progbits,_Z4fooTIiET_v,comdat,.text._Z4fooTIiET_v,unique,1
28$_Z4fooTIiET_v = comdat any
29define linkonce_odr dso_local i32 @_Z4fooTIiET_v() comdat {
30  ret i32 0
31}
32
33; Check that we assign a unique ID to .stack_sizes if it is linked with a unique .text section.
34; CHECK: .section .text.func3,"ax",@progbits
35; CHECK: .section .stack_sizes,"o",@progbits,.text.func3,unique,2
36define dso_local i32 @func3() section ".text.func3" {
37  %1 = alloca i32, align 4
38  store i32 0, i32* %1, align 4
39  ret i32 0
40}
41
42; CHECK-LABEL: dynalloc:
43; CHECK-NOT: .section .stack_sizes
44define void @dynalloc(i32 %N) #0 {
45  alloca i32, i32 %N
46  ret void
47}
48
49attributes #0 = { "no-frame-pointer-elim"="true" }
50