# RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass machine-outliner -verify-machineinstrs -enable-machine-outliner %s -o - | FileCheck %s
--- |
  ; Function Attrs: minsize
  declare void @foo(i32, i32, i32, i32) #0
    
  ; Function Attrs: nounwind
  define void @xray0(i1 %a) #1 {
  entry:
    br i1 %a, label %if.then, label %if.end
  
  if.then:                                          ; preds = %entry
    call void @foo(i32 1, i32 2, i32 3, i32 4)
    br label %if.end
  
  if.end:                                           ; preds = %if.then, %entry
    call void @foo(i32 5, i32 6, i32 7, i32 8)
    ret void
  }
  
  ; Function Attrs: nounwind
  define void @xray1(i1 %a) #1 {
  entry:
    br i1 %a, label %if.then, label %if.end
  
  if.then:                                          ; preds = %entry
    call void @foo(i32 1, i32 2, i32 3, i32 4)
    br label %if.end
  
  if.end:                                           ; preds = %if.then, %entry
    call void @foo(i32 5, i32 6, i32 7, i32 8)
    ret void
  }
  
  attributes #0 = { minsize }
  attributes #1 = { nounwind "function-instrument"="xray-always" }

...
---
name:            xray0
tracksRegLiveness: true
liveins:
  - { reg: '$w0', virtual-reg: '' }
stack:
  - { id: 0, name: '', type: spill-slot, offset: -16, size: 8, alignment: 16, 
      stack-id: default, callee-saved-register: '$lr', callee-saved-restored: true, 
      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
machineFunctionInfo:
  hasRedZone:      false
body:             |
  ; CHECK-LABEL: name: xray0
  ; CHECK:       bb.0.entry:
  ; CHECK:         PATCHABLE_FUNCTION_ENTER
  ; CHECK:       bb.1.if.then:
  ; CHECK:         BL @[[OUTLINED_FUNCTION:OUTLINED_FUNCTION_[0-9]]]
  ; CHECK:       bb.2.if.end:
  ; CHECK-NEXT:    $w0 = MOVZWi 5, 0
  ; CHECK-NEXT:    $w1 = MOVZWi 6, 0
  ; CHECK-NEXT:    $w2 = MOVZWi 7, 0
  ; CHECK-NEXT:    $w3 = MOVZWi 8, 0
  ; CHECK-NEXT:    BL @foo, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit killed $w0, implicit killed $w1, implicit killed $w2, implicit killed $w3, implicit-def $sp
  ; CHECK:         $w0 = MOVZWi 5, 0
  ; CHECK-NEXT:    $w1 = MOVZWi 6, 0
  ; CHECK-NEXT:    PATCHABLE_FUNCTION_EXIT
  ; CHECK-NEXT:    RET undef $lr

  bb.0.entry:
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    liveins: $w0, $lr
  
    PATCHABLE_FUNCTION_ENTER
    early-clobber $sp = frame-setup STRXpre killed $lr, $sp, -16 :: (store (s64) into %stack.0)
    TBZW killed renamable $w0, 0, %bb.2
  
  bb.1.if.then:
    successors: %bb.2(0x80000000)
  
    $w0 = MOVZWi 1, 0
    $w1 = MOVZWi 2, 0
    $w2 = MOVZWi 3, 0
    $w3 = MOVZWi 4, 0
    BL @foo, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit killed $w0, implicit killed $w1, implicit killed $w2, implicit killed $w3, implicit-def $sp
  
  bb.2.if.end:
    $w0 = MOVZWi 5, 0
    $w1 = MOVZWi 6, 0
    $w2 = MOVZWi 7, 0
    $w3 = MOVZWi 8, 0
    BL @foo, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit killed $w0, implicit killed $w1, implicit killed $w2, implicit killed $w3, implicit-def $sp
    early-clobber $sp, $lr = frame-destroy LDRXpost $sp, 16 :: (load (s64) from %stack.0)
    $w0 = MOVZWi 5, 0
    $w1 = MOVZWi 6, 0
    PATCHABLE_FUNCTION_EXIT
    RET undef $lr

...
---
name:            xray1
tracksRegLiveness: true
liveins:
  - { reg: '$w0', virtual-reg: '' }
stack:
  - { id: 0, name: '', type: spill-slot, offset: -16, size: 8, alignment: 16, 
      stack-id: default, callee-saved-register: '$lr', callee-saved-restored: true, 
      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
machineFunctionInfo:
  hasRedZone:      false
body:             |
  ; CHECK-LABEL: name: xray1
  ; CHECK:       bb.0.entry:
  ; CHECK:         PATCHABLE_FUNCTION_ENTER
  ; CHECK:       bb.1.if.then:
  ; CHECK:         BL @[[OUTLINED_FUNCTION]]
  ; CHECK:       bb.2.if.end:
  ; CHECK-NEXT:    $w0 = MOVZWi 5, 0
  ; CHECK-NEXT:    $w1 = MOVZWi 6, 0
  ; CHECK-NEXT:    $w2 = MOVZWi 7, 0
  ; CHECK-NEXT:    $w3 = MOVZWi 8, 0
  ; CHECK-NEXT:    BL @foo, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit killed $w0, implicit killed $w1, implicit killed $w2, implicit killed $w3, implicit-def $sp
  ; CHECK:         $w0 = MOVZWi 5, 0
  ; CHECK-NEXT:    $w1 = MOVZWi 6, 0
  ; CHECK-NEXT:    PATCHABLE_FUNCTION_EXIT
  ; CHECK-NEXT:    RET undef $lr

  bb.0.entry:
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    liveins: $w0, $lr
  
    PATCHABLE_FUNCTION_ENTER
    early-clobber $sp = frame-setup STRXpre killed $lr, $sp, -16 :: (store (s64) into %stack.0)
    TBZW killed renamable $w0, 0, %bb.2
  
  bb.1.if.then:
    successors: %bb.2(0x80000000)
  
    $w0 = MOVZWi 1, 0
    $w1 = MOVZWi 2, 0
    $w2 = MOVZWi 3, 0
    $w3 = MOVZWi 4, 0
    BL @foo, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit killed $w0, implicit killed $w1, implicit killed $w2, implicit killed $w3, implicit-def $sp
  
  bb.2.if.end:
    $w0 = MOVZWi 5, 0
    $w1 = MOVZWi 6, 0
    $w2 = MOVZWi 7, 0
    $w3 = MOVZWi 8, 0
    BL @foo, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit killed $w0, implicit killed $w1, implicit killed $w2, implicit killed $w3, implicit-def $sp
    early-clobber $sp, $lr = frame-destroy LDRXpost $sp, 16 :: (load (s64) from %stack.0)
    $w0 = MOVZWi 5, 0
    $w1 = MOVZWi 6, 0
    PATCHABLE_FUNCTION_EXIT
    RET undef $lr

  ; CHECK: name: [[OUTLINED_FUNCTION]]
  ; CHECK:     bb.0:
  ; CHECK:       $w0 = MOVZWi 1, 0
  ; CHECK-NEXT:  $w1 = MOVZWi 2, 0
  ; CHECK-NEXT:  $w2 = MOVZWi 3, 0
  ; CHECK-NEXT:  $w3 = MOVZWi 4, 0
  ; CHECK-NEXT:  TCRETURNdi @foo, 0, implicit $sp

...