1; RUN: opt %s -inline -S | FileCheck %s
2
3define internal void @innerSmall() "stack-probe-size"="4096" {
4  ret void
5}
6
7define internal void @innerLarge() "stack-probe-size"="8192" {
8  ret void
9}
10
11define void @outerNoAttribute() {
12  call void @innerSmall()
13  ret void
14}
15
16define void @outerConflictingAttributeSmall() "stack-probe-size"="4096" {
17  call void @innerLarge()
18  ret void
19}
20
21define void @outerConflictingAttributeLarge() "stack-probe-size"="8192" {
22  call void @innerSmall()
23  ret void
24}
25
26; CHECK: define void @outerNoAttribute() #0
27; CHECK: define void @outerConflictingAttributeSmall() #0
28; CHECK: define void @outerConflictingAttributeLarge() #0
29; CHECK: attributes #0 = { "stack-probe-size"="4096" }
30