# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -mtriple=aarch64-unknown-unknown -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s

# Verify that we save + restore LR around calls to outlined functions from
# noreturn parents. LR isn't actually used, but debuggers need LR in this case
# to get a backtrace.

--- |
  define void @save_lr_1() #0 { ret void }
  define void @save_lr_2() #0 { ret void }
  define void @save_lr_3() #0 { ret void }
  define void @save_lr_4() #0 { ret void }
  attributes #0 = { noredzone noreturn }
...
---

name:            save_lr_1
alignment:       4
tracksRegLiveness: true
frameInfo:
  maxAlignment:    1
  maxCallFrameSize: 0
machineFunctionInfo: {}
body:             |
  bb.0:
    liveins: $lr
    ; CHECK-LABEL: name: save_lr_1
    ; CHECK: liveins: $lr
    ; CHECK: $x0 = ORRXrs $xzr, $lr, 0
    ; CHECK: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $w3, implicit-def $w4, implicit-def $w5, implicit-def $w6, implicit $sp, implicit $wzr, implicit $xzr, implicit $x0
    ; CHECK: $lr = ORRXrs $xzr, $x0, 0
    $w3 = ORRWri $wzr, 1
    $w4 = ORRWri $wzr, 1
    BRK 1
    $w5 = ORRWri $wzr, 1
    $w6 = ORRWri $wzr, 1
...
---
name:            save_lr_2
alignment:       4
tracksRegLiveness: true
frameInfo:
  maxAlignment:    1
  maxCallFrameSize: 0
machineFunctionInfo: {}
body:             |
  bb.0:
    liveins: $lr
    ; CHECK-LABEL: name: save_lr_2
    ; CHECK: liveins: $lr
    ; CHECK: $x0 = ORRXrs $xzr, $lr, 0
    ; CHECK: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $w3, implicit-def $w4, implicit-def $w5, implicit-def $w6, implicit $sp, implicit $wzr, implicit $xzr, implicit $x0
    ; CHECK: $lr = ORRXrs $xzr, $x0, 0
    $w3 = ORRWri $wzr, 1
    $w4 = ORRWri $wzr, 1
    BRK 1
    $w5 = ORRWri $wzr, 1
    $w6 = ORRWri $wzr, 1
...
---
name:            save_lr_3
alignment:       4
tracksRegLiveness: true
frameInfo:
  maxAlignment:    1
  maxCallFrameSize: 0
machineFunctionInfo: {}
body:             |
  bb.0:
    liveins: $lr
    ; CHECK-LABEL: name: save_lr_3
    ; CHECK: liveins: $lr
    ; CHECK: $x0 = ORRXrs $xzr, $lr, 0
    ; CHECK: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $w3, implicit-def $w4, implicit-def $w5, implicit-def $w6, implicit $sp, implicit $wzr, implicit $xzr, implicit $x0
    ; CHECK: $lr = ORRXrs $xzr, $x0, 0
    $w3 = ORRWri $wzr, 1
    $w4 = ORRWri $wzr, 1
    BRK 1
    $w5 = ORRWri $wzr, 1
    $w6 = ORRWri $wzr, 1
...
---
name:            save_lr_4
alignment:       4
tracksRegLiveness: true
frameInfo:
  maxAlignment:    1
  maxCallFrameSize: 0
machineFunctionInfo: {}
body:             |
  bb.0:
    liveins: $lr
    ; CHECK-LABEL: name: save_lr_4
    ; CHECK: liveins: $lr
    ; CHECK: $x0 = ORRXrs $xzr, $lr, 0
    ; CHECK: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $w3, implicit-def $w4, implicit-def $w5, implicit-def $w6, implicit $sp, implicit $wzr, implicit $xzr, implicit $x0
    ; CHECK: $lr = ORRXrs $xzr, $x0, 0
    $w3 = ORRWri $wzr, 1
    $w4 = ORRWri $wzr, 1
    BRK 1
    $w5 = ORRWri $wzr, 1
    $w6 = ORRWri $wzr, 1
...