// This test checks various cases around sharing opcodes between epilogue and prologue with more than one epilogue.

// RUN: llvm-mc -triple thumbv7-pc-win32 -filetype=obj %s | llvm-readobj -u - | FileCheck %s

// CHECK:       RuntimeFunction {
// CHECK-NEXT:    Function: func1
// CHECK-NEXT:    ExceptionRecord:
// CHECK-NEXT:    ExceptionData {
// CHECK-NEXT:      FunctionLength:
// CHECK-NEXT:      Version:
// CHECK-NEXT:      ExceptionData:
// CHECK-NEXT:      EpiloguePacked: No
// CHECK-NEXT:      Fragment:
// CHECK-NEXT:      EpilogueScopes: 3
// CHECK-NEXT:      ByteCodeLength: 12
// CHECK-NEXT:      Prologue [
// CHECK-NEXT:        0xf5 0x15           ; vpush {d1-d5}
// CHECK-NEXT:        0x05                ; sub sp, #(5 * 4)
// CHECK-NEXT:        0xa0 0xf0           ; push.w {r4-r7, lr}
// CHECK-NEXT:      ]
// CHECK-NEXT:      EpilogueScopes [
// CHECK-NEXT:        EpilogueScope {
// CHECK-NEXT:          StartOffset: 6
// CHECK-NEXT:          Condition: 14
// CHECK-NEXT:          EpilogueStartIndex: 6
// CHECK-NEXT:          Opcodes [
// CHECK-NEXT:            0x08                ; add sp, #(8 * 4)
// CHECK-NEXT:            0xfd                ; bx <reg>
// CHECK-NEXT:          ]
// CHECK-NEXT:        }
// CHECK-NEXT:        EpilogueScope {
// CHECK-NEXT:          StartOffset: 9
// CHECK-NEXT:          Condition: 14
// CHECK-NEXT:          EpilogueStartIndex: 8
// CHECK-NEXT:          Opcodes [
// CHECK-NEXT:            0x10                ; add sp, #(16 * 4)
// CHECK-NEXT:            0xfd                ; bx <reg>
// CHECK-NEXT:          ]
// CHECK-NEXT:        }
// CHECK-NEXT:        EpilogueScope {
// CHECK-NEXT:          StartOffset: 13
// CHECK-NEXT:          Condition: 10
// CHECK-NEXT:          EpilogueStartIndex: 6
// CHECK-NEXT:          Opcodes [
// CHECK-NEXT:            0x08                ; add sp, #(8 * 4)
// CHECK-NEXT:            0xfd                ; bx <reg>
// CHECK-NEXT:          ]
// CHECK-NEXT:        }
// CHECK-NEXT:      ]
// CHECK-NEXT:    }
// CHECK-NEXT:  }
// CHECK-NEXT:  RuntimeFunction {
// CHECK-NEXT:    Function: func2
// CHECK-NEXT:    ExceptionRecord:
// CHECK-NEXT:    ExceptionData {
// CHECK-NEXT:      FunctionLength:
// CHECK-NEXT:      Version:
// CHECK-NEXT:      ExceptionData:
// CHECK-NEXT:      EpiloguePacked: No
// CHECK-NEXT:      Fragment:
// CHECK-NEXT:      EpilogueScopes: 3
// CHECK-NEXT:      ByteCodeLength: 12
// CHECK-NEXT:      Prologue [
// CHECK-NEXT:        0xf5 0x15           ; vpush {d1-d5}
// CHECK-NEXT:        0x05                ; sub sp, #(5 * 4)
// CHECK-NEXT:        0xa0 0xf0           ; push.w {r4-r7, lr}
// CHECK-NEXT:        0xfe                ; b.w <target>
// CHECK-NEXT:      ]
// CHECK-NEXT:      EpilogueScopes [
// CHECK-NEXT:        EpilogueScope {
// CHECK-NEXT:          StartOffset: 6
// CHECK-NEXT:          Condition: 14
// CHECK-NEXT:          EpilogueStartIndex: 2
// CHECK-NEXT:          Opcodes [
// CHECK-NEXT:            0x05                ; add sp, #(5 * 4)
// CHECK-NEXT:            0xa0 0xf0           ; pop.w {r4-r7, pc}
// CHECK-NEXT:            0xfe                ; b.w <target>
// CHECK-NEXT:          ]
// CHECK-NEXT:        }
// CHECK-NEXT:        EpilogueScope {
// CHECK-NEXT:          StartOffset: 11
// CHECK-NEXT:          Condition: 14
// CHECK-NEXT:          EpilogueStartIndex: 3
// CHECK-NEXT:          Opcodes [
// CHECK-NEXT:            0xa0 0xf0           ; pop.w {r4-r7, pc}
// CHECK-NEXT:            0xfe                ; b.w <target>
// CHECK-NEXT:          ]
// CHECK-NEXT:        }
// CHECK-NEXT:        EpilogueScope {
// CHECK-NEXT:          StartOffset: 15
// CHECK-NEXT:          Condition: 14
// CHECK-NEXT:          EpilogueStartIndex: 6
// CHECK-NEXT:          Opcodes [
// CHECK-NEXT:            0xa0 0xf0           ; pop.w {r4-r7, pc}
// CHECK-NEXT:            0xfd                ; bx <reg>
// CHECK-NEXT:          ]
// CHECK-NEXT:        }
// CHECK-NEXT:      ]
// CHECK-NEXT:    }
// CHECK-NEXT:  }

        .text
        .syntax unified

        .seh_proc func1
func1:
        push.w {r4-r7,lr}
        .seh_save_regs_w {r4-r7,lr}
        sub sp, sp, #20
        .seh_stackalloc 20
        vpush {d1-d5}
        .seh_save_fregs {d1-d5}
        .seh_endprologue
        nop

        // Entirely different epilogue; can't be shared with the prologue.
        .seh_startepilogue
        add sp, sp, #32
        .seh_stackalloc 32
        bx lr
        .seh_nop
        .seh_endepilogue

        nop

        // Also a differing epilogue.
        .seh_startepilogue
        add sp, sp, #64
        .seh_stackalloc 64
        bx lr
        .seh_nop
        .seh_endepilogue

        nop

        // Epilogue matches the first one; will reuse that epilogue's opcodes,
        // even if they differ in conditionality.
        itt ge
        .seh_startepilogue_cond ge
        addge sp, sp, #32
        .seh_stackalloc 32
        bxge lr
        .seh_nop
        .seh_endepilogue
        .seh_endproc

        .seh_proc func2
func2:
        push.w {r4-r7,lr}
        .seh_save_regs_w {r4-r7,lr}
        sub sp, sp, #20
        .seh_stackalloc 20
        vpush {d1-d5}
        .seh_save_fregs {d1-d5}
        .seh_endprologue

        nop

        .seh_startepilogue
        add sp, sp, #20
        .seh_stackalloc 20
        // As we're popping into lr instead of directly into pc, this pop
        // becomes a wide instruction. To match prologue vs epilogue, the
        // push in the prologue has been made wide too.
        pop.w {r4-r7,lr}
        .seh_save_regs_w {r4-r7,lr}
        b.w tailcall
        // Ending with a different end opcode, but can still be shared with
        // the prolog.
        .seh_nop_w
        .seh_endepilogue

        // Another epilogue, matching the end of the previous epilogue.
        .seh_startepilogue
        pop.w {r4-r7,lr}
        .seh_save_regs_w {r4-r7,lr}
        b.w tailcall
        .seh_nop_w
        .seh_endepilogue

        // This epilogue differs in the end opcode, and can't be shared with
        // the prologue.
        .seh_startepilogue
        pop.w {r4-r7,lr}
        .seh_save_regs_w {r4-r7,lr}
        bx lr
        .seh_nop
        .seh_endepilogue
        .seh_endproc