1; RUN: llc -mtriple=aarch64-windows -verify-machineinstrs %s -o - \
2; RUN:  | FileCheck -check-prefix CHECK-DEFAULT-CODE-MODEL %s
3; RUN: llc -mtriple=aarch64-windows -print-machineinstrs=prologepilog %s -o - 2>&1 \
4; RUN:  | FileCheck -check-prefix CHECK-REGSTATE %s
5
6; RUN: llc -mtriple=aarch64-windows -verify-machineinstrs -code-model=large %s -o - \
7; RUN:  | FileCheck -check-prefix CHECK-LARGE-CODE-MODEL %s
8; RUN: llc -mtriple=aarch64-windows -print-machineinstrs=prologepilog -code-model=large %s -o - 2>&1 \
9; RUN:  | FileCheck -check-prefix CHECK-REGSTATE-LARGE %s
10
11define void @check_watermark() {
12entry:
13  %buffer = alloca [4096 x i8], align 1
14  ret void
15}
16
17; CHECK-DEFAULT-CODE-MODEL: check_watermark:
18; CHECK-DEFAULT-CODE-MODEL-DAG: stp x29, x30, [sp
19; CHECK-DEFAULT-CODE-MODEL-DAG: mov x15, #256
20; CHECK-DEFAULT-CODE-MODEL:     bl __chkstk
21; CHECK-DEFAULT-CODE-MODEL:     sub sp, sp, x15, lsl #4
22
23; CHECK-REGSTATE: frame-setup BL &__chkstk, implicit-def $lr, implicit $sp, implicit $x15, implicit-def dead $x16, implicit-def dead $x17, implicit-def dead $nzcv
24
25; CHECK-LARGE-CODE-MODEL: check_watermark:
26; CHECK-LARGE-CODE-MODEL-DAG: stp x29, x30, [sp
27; CHECK-LARGE-CODE-MODEL-DAG: mov x15, #256
28; CHECK-LARGE-CODE-MODEL-DAG: adrp x16, __chkstk
29; CHECK-LARGE-CODE-MODEL-DAG: add x16, x16, __chkstk
30; CHECK-LARGE-CODE-MODEL:     blr x16
31; CHECK-LARGE-CODE-MODEL:     sub sp, sp, x15, lsl #4
32
33; CHECK-REGSTATE-LARGE: frame-setup BLR killed $x16, implicit-def $lr, implicit $sp, implicit-def $x15, implicit-def dead $x16, implicit-def dead $x17, implicit-def dead $nzcv
34