;; Check that this produces the expected assembly output
; RUN: llc -mtriple=thumbv7-windows -o - %s -verify-machineinstrs | FileCheck %s
;; Also try to write an object file, which verifies that the SEH opcodes
;; match the actual prologue/epilogue length.
; RUN: llc -mtriple=thumbv7-windows -filetype=obj -o %t.obj %s -verify-machineinstrs

; CHECK-LABEL: clobberR4Frame:
; CHECK-NEXT: .seh_proc clobberR4Frame
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         push.w  {r4, r7, r11, lr}
; CHECK-NEXT:         .seh_save_regs_w        {r4, r7, r11, lr}
; CHECK-NEXT:         add.w   r11, sp, #8
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         .seh_endprologue
; CHECK-NEXT:         bl      other

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         pop.w   {r4, r7, r11, pc}
; CHECK-NEXT:         .seh_save_regs_w        {r4, r7, r11, lr}
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @clobberR4Frame() uwtable "frame-pointer"="all" {
entry:
  call arm_aapcs_vfpcc void @other()
  call void asm sideeffect "", "~{r4}"()
  ret void
}

; CHECK-LABEL: clobberR4NoFrame:
; CHECK-NEXT: .seh_proc clobberR4NoFrame
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         push    {r4, lr}
; CHECK-NEXT:         .seh_save_regs  {r4, lr}
; CHECK-NEXT:         .seh_endprologue
; CHECK-NEXT:         bl      other

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         pop     {r4, pc}
; CHECK-NEXT:         .seh_save_regs  {r4, lr}
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @clobberR4NoFrame() uwtable "frame-pointer"="none" {
entry:
  call arm_aapcs_vfpcc void @other()
  call void asm sideeffect "", "~{r4}"()
  ret void
}

; CHECK-LABEL: clobberR4Tail:
; CHECK-NEXT: .seh_proc clobberR4Tail
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         push    {r4, lr}
; CHECK-NEXT:         .seh_save_regs  {r4, lr}
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         pop.w   {r4, lr}
; CHECK-NEXT:         .seh_save_regs_w        {r4, lr}
; CHECK-NEXT:         b.w     other
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @clobberR4Tail() uwtable "frame-pointer"="none" {
entry:
  call void asm sideeffect "", "~{r4}"()
  tail call arm_aapcs_vfpcc void @other()
  ret void
}

; CHECK-LABEL: clobberD8D10:
; CHECK-NEXT: .seh_proc clobberD8D10
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         vpush   {d8, d9, d10}
; CHECK-NEXT:         .seh_save_fregs {d8-d10}
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         vpop    {d8, d9, d10}
; CHECK-NEXT:         .seh_save_fregs {d8-d10}
; CHECK-NEXT:         b.w     other
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @clobberD8D10() uwtable "frame-pointer"="none" {
entry:
  call void asm sideeffect "", "~{d8},~{d9},~{d10}"()
  tail call arm_aapcs_vfpcc void @other()
  ret void
}

declare arm_aapcs_vfpcc void @other()

; CHECK-LABEL: vararg:
; CHECK-NEXT: .seh_proc vararg
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         sub     sp, #12
; CHECK-NEXT:         .seh_stackalloc 12
; CHECK-NEXT:         push.w  {r11, lr}
; CHECK-NEXT:         .seh_save_regs_w        {r11, lr}
; CHECK-NEXT:         sub     sp, #4
; CHECK-NEXT:         .seh_stackalloc 4
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         add     sp, #4
; CHECK-NEXT:         .seh_stackalloc 4
; CHECK-NEXT:         pop.w   {r11, lr}
; CHECK-NEXT:         .seh_save_regs_w        {r11, lr}
; CHECK-NEXT:         add     sp, #12
; CHECK-NEXT:         .seh_stackalloc 12
; CHECK-NEXT:         bx      lr
; CHECK-NEXT:         .seh_nop
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @vararg(i32 noundef %a, ...) uwtable "frame-pointer"="none" {
entry:
  %ap = alloca ptr, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %ap)
  call void @llvm.va_start(ptr nonnull %ap)
  %0 = load ptr, ptr %ap
  call arm_aapcs_vfpcc void @useva(ptr noundef %0)
  call void @llvm.va_end(ptr nonnull %ap)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %ap)
  ret void
}

declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)
declare void @llvm.va_start(ptr)
declare void @llvm.va_end(ptr)

declare arm_aapcs_vfpcc void @useva(ptr noundef)

; CHECK-LABEL: onlystack:
; CHECK-NEXT: .seh_proc onlystack
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         sub     sp, #4
; CHECK-NEXT:         .seh_stackalloc 4
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         add     sp, #4
; CHECK-NEXT:         .seh_stackalloc 4
; CHECK-NEXT:         bx      lr
; CHECK-NEXT:         .seh_nop
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define dso_local arm_aapcs_vfpcc void @onlystack() uwtable "frame-pointer"="none" {
entry:
  %buf = alloca [4 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %buf)
  call void asm sideeffect "", "r"(ptr nonnull %buf)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %buf)
  ret void
}

; CHECK-LABEL: func50:
; CHECK-NEXT: .seh_proc func50
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         push.w  {r11, lr}
; CHECK-NEXT:         .seh_save_regs_w        {r11, lr}
; CHECK-NEXT:         sub     sp, #56
; CHECK-NEXT:         .seh_stackalloc 56
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         add     sp, #56
; CHECK-NEXT:         .seh_stackalloc 56
; CHECK-NEXT:         pop.w   {r11, pc}
; CHECK-NEXT:         .seh_save_regs_w        {r11, lr}
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @func50() {
entry:
  %buf = alloca [50 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 50, ptr nonnull %buf)
  call arm_aapcs_vfpcc void @useptr(ptr noundef nonnull %buf)
  call void @llvm.lifetime.end.p0(i64 50, ptr nonnull %buf)
  ret void
}

; CHECK-LABEL: func4000:
; CHECK-NEXT: .seh_proc func4000
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         push.w  {r11, lr}
; CHECK-NEXT:         .seh_save_regs_w        {r11, lr}
; CHECK-NEXT:         sub.w   sp, sp, #4000
; CHECK-NEXT:         .seh_stackalloc_w       4000
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         add.w   sp, sp, #4000
; CHECK-NEXT:         .seh_stackalloc_w       4000
; CHECK-NEXT:         pop.w   {r11, pc}
; CHECK-NEXT:         .seh_save_regs_w        {r11, lr}
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @func4000() {
entry:
  %buf = alloca [4000 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 4000, ptr nonnull %buf)
  call arm_aapcs_vfpcc void @useptr(ptr noundef nonnull %buf)
  call void @llvm.lifetime.end.p0(i64 4000, ptr nonnull %buf)
  ret void
}

; CHECK-LABEL: func5000:
; CHECK-NEXT: .seh_proc func5000
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         push    {r4, r5, r6, lr}
; CHECK-NEXT:         .seh_save_regs  {r4-r6, lr}
; CHECK-NEXT:         movw    r4, #1250
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         bl      __chkstk
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         sub.w   sp, sp, r4
; CHECK-NEXT:         .seh_stackalloc_w       5000
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         add.w   sp, sp, #4992
; CHECK-NEXT:         .seh_stackalloc_w       4992
; CHECK-NEXT:         add     sp, #8
; CHECK-NEXT:         .seh_stackalloc 8
; CHECK-NEXT:         pop     {r4, r5, r6, pc}
; CHECK-NEXT:         .seh_save_regs  {r4-r6, lr}
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @func5000() {
entry:
  %buf = alloca [5000 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 5000, ptr nonnull %buf)
  call arm_aapcs_vfpcc void @useptr(ptr noundef nonnull %buf)
  call void @llvm.lifetime.end.p0(i64 5000, ptr nonnull %buf)
  ret void
}

; CHECK-LABEL: func262144:
; CHECK-NEXT: .seh_proc func262144
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         push    {r4, r5, r6, lr}
; CHECK-NEXT:         .seh_save_regs  {r4-r6, lr}
; CHECK-NEXT:         movs    r4, #0
; CHECK-NEXT:         .seh_nop
; CHECK-NEXT:         movt    r4, #1
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         bl      __chkstk
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         sub.w   sp, sp, r4
; CHECK-NEXT:         .seh_stackalloc_w       262144
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         add.w   sp, sp, #262144
; CHECK-NEXT:         .seh_stackalloc_w       262144
; CHECK-NEXT:         pop     {r4, r5, r6, pc}
; CHECK-NEXT:         .seh_save_regs  {r4-r6, lr}
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @func262144() {
entry:
  %buf = alloca [262144 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 262144, ptr nonnull %buf)
  call arm_aapcs_vfpcc void @useptr(ptr noundef nonnull %buf)
  call void @llvm.lifetime.end.p0(i64 262144, ptr nonnull %buf)
  ret void
}

; CHECK-LABEL: func270000:
; CHECK-NEXT: .seh_proc func270000
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         push    {r4, r5, r6, lr}
; CHECK-NEXT:         .seh_save_regs  {r4-r6, lr}
; CHECK-NEXT:         movw    r4, #1964
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         movt    r4, #1
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         bl      __chkstk
; CHECK-NEXT:         .seh_nop_w
; CHECK-NEXT:         sub.w   sp, sp, r4
; CHECK-NEXT:         .seh_stackalloc_w       270000
; CHECK-NEXT:         .seh_endprologue

; CHECK:              .seh_startepilogue
; CHECK-NEXT:         add.w   sp, sp, #268288
; CHECK-NEXT:         .seh_stackalloc_w       268288
; CHECK-NEXT:         add.w   sp, sp, #1712
; CHECK-NEXT:         .seh_stackalloc_w       1712
; CHECK-NEXT:         pop     {r4, r5, r6, pc}
; CHECK-NEXT:         .seh_save_regs  {r4-r6, lr}
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc void @func270000() {
entry:
  %buf = alloca [270000 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 270000, ptr nonnull %buf)
  call arm_aapcs_vfpcc void @useptr(ptr noundef nonnull %buf)
  call void @llvm.lifetime.end.p0(i64 270000, ptr nonnull %buf)
  ret void
}

declare arm_aapcs_vfpcc void @useptr(ptr noundef)

; CHECK-LABEL: func_fp:
; CHECK-NEXT: .seh_proc func_fp
; CHECK-NEXT: @ %bb.0:                                @ %entry
; CHECK-NEXT:         str     r11, [sp, #-4]!
; CHECK-NEXT:         .seh_save_regs_w        {r11}
; CHECK-NEXT:         mov     r11, sp
; CHECK-NEXT:         .seh_save_sp    r11
; CHECK-NEXT:         .seh_endprologue

; CHECK-NEXT:         mov     r0, r11

; CHECK-NEXT:         .seh_startepilogue
; CHECK-NEXT:         ldr     r11, [sp], #4
; CHECK-NEXT:         .seh_save_regs_w        {r11}
; CHECK-NEXT:         bx      lr
; CHECK-NEXT:         .seh_nop
; CHECK-NEXT:         .seh_endepilogue
; CHECK-NEXT:         .seh_endproc

define arm_aapcs_vfpcc i32 @func_fp() {
entry:
  %0 = tail call ptr @llvm.frameaddress.p0(i32 0)
  %1 = ptrtoint ptr %0 to i32
  ret i32 %1
}

declare ptr @llvm.frameaddress.p0(i32 immarg)