# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -mtriple=riscv64 -run-pass=prologepilog -o - %s | FileCheck %s
--- |
  define void @b() {
  entry:
    unreachable
  }

...
---
name:            b
frameInfo:
  savePoint:       '%bb.0'
  restorePoint:    '%bb.1'
body:             |
  ; CHECK-LABEL: name: b
  ; CHECK: bb.0:
  ; CHECK-NEXT:   successors: %bb.1(0x80000000)
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   PseudoBR %bb.1
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.1:
  ; CHECK-NEXT:   successors: %bb.2(0x80000000)
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   DBG_VALUE $noreg
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.2:
  ; CHECK-NEXT:   PseudoRET implicit killed $x10
  bb.0 :
    PseudoBR %bb.1

  bb.1:
    DBG_VALUE $noreg

  bb.2:
    PseudoRET implicit killed $x10

...