Index: lib/Target/AArch64/AArch64FrameLowering.cpp =================================================================== --- lib/Target/AArch64/AArch64FrameLowering.cpp +++ lib/Target/AArch64/AArch64FrameLowering.cpp @@ -731,6 +731,9 @@ BuildMI(MBB, MBBI, DL, TII->get(AArch64::BL)) .addExternalSymbol("__chkstk") .addReg(AArch64::X15, RegState::Implicit) + .addReg(AArch64::X16, RegState::Implicit | RegState::Define | RegState::Dead) + .addReg(AArch64::X17, RegState::Implicit | RegState::Define | RegState::Dead) + .addReg(AArch64::NZCV, RegState::Implicit | RegState::Define | RegState::Dead) .setMIFlags(MachineInstr::FrameSetup); break; case CodeModel::Large: @@ -743,6 +746,9 @@ BuildMI(MBB, MBBI, DL, TII->get(AArch64::BLR)) .addReg(AArch64::X16, RegState::Kill) .addReg(AArch64::X15, RegState::Implicit | RegState::Define) + .addReg(AArch64::X16, RegState::Implicit | RegState::Define | RegState::Dead) + .addReg(AArch64::X17, RegState::Implicit | RegState::Define | RegState::Dead) + .addReg(AArch64::NZCV, RegState::Implicit | RegState::Define | RegState::Dead) .setMIFlags(MachineInstr::FrameSetup); break; } Index: test/CodeGen/AArch64/chkstk.ll =================================================================== --- test/CodeGen/AArch64/chkstk.ll +++ test/CodeGen/AArch64/chkstk.ll @@ -1,8 +1,12 @@ ; RUN: llc -mtriple=aarch64-windows -verify-machineinstrs %s -o - \ ; RUN: | FileCheck -check-prefix CHECK-DEFAULT-CODE-MODEL %s +; RUN: llc -mtriple=aarch64-windows -print-machineinstrs=prologepilog %s -o - 2>&1 \ +; RUN: | FileCheck -check-prefix CHECK-REGSTATE %s ; RUN: llc -mtriple=aarch64-windows -verify-machineinstrs -code-model=large %s -o - \ ; RUN: | FileCheck -check-prefix CHECK-LARGE-CODE-MODEL %s +; RUN: llc -mtriple=aarch64-windows -print-machineinstrs=prologepilog -code-model=large %s -o - 2>&1 \ +; RUN: | FileCheck -check-prefix CHECK-REGSTATE-LARGE %s define void @check_watermark() { entry: @@ -16,6 +20,8 @@ ; CHECK-DEFAULT-CODE-MODEL: bl __chkstk ; CHECK-DEFAULT-CODE-MODEL: sub sp, sp, x15, lsl #4 +; 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 + ; CHECK-LARGE-CODE-MODEL: check_watermark: ; CHECK-LARGE-CODE-MODEL-DAG: stp x29, x30, [sp ; CHECK-LARGE-CODE-MODEL-DAG: orr x15, xzr, #0x100 @@ -23,3 +29,5 @@ ; CHECK-LARGE-CODE-MODEL-DAG: add x16, x16, __chkstk ; CHECK-LARGE-CODE-MODEL: blr x16 ; CHECK-LARGE-CODE-MODEL: sub sp, sp, x15, lsl #4 + +; 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