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