1// RUN: %clang_cc1 -triple thumbv7-windows-itanium -mstack-probe-size=8096 -fms-extensions -O2 -emit-llvm %s -o - \
2// RUN:     | FileCheck %s -check-prefix CHECK-8096
3
4// RUN: %clang_cc1 -triple thumbv7-windows-itanium -mstack-probe-size=4096 -fms-extensions -O2 -emit-llvm %s -o - \
5// RUN:     | FileCheck %s -check-prefix CHECK-4096
6
7// RUN: %clang_cc1 -triple thumbv7-windows-itanium -fms-extensions -O2 -emit-llvm %s -o - \
8// RUN:     | FileCheck %s -check-prefix CHECK
9
10__declspec(dllimport) void initialise(signed char buffer[4096]);
11
12__declspec(dllexport) signed char function(unsigned index) {
13  signed char buffer[4096];
14  initialise(buffer);
15  return buffer[index];
16}
17
18// CHECK-8096: attributes #0 = {
19// CHECK-8096: "stack-probe-size"="8096"
20// CHECK-8096: }
21
22// CHECK-4096: attributes #0 = {
23// CHECK-4096-NOT: "stack-probe-size"=
24// CHECK-4096: }
25
26// CHECK: attributes #0 = {
27// CHECK-NOT: "stack-probe-size"=
28// CHECK: }
29