1; RUN: llc -mtriple=thumbv7-windows -verify-machineinstrs %s -o - \
2; RUN:  | FileCheck %s
3
4define arm_aapcs_vfpcc void @check_watermark() "no-stack-arg-probe" {
5entry:
6  %buffer = alloca [4096 x i8], align 1
7  ret void
8}
9
10; CHECK: check_watermark:
11; CHECK-NOT: bl __chkstk
12; CHECK: sub.w sp, sp, #4096
13