; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -O0 -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s --check-prefix=GISEL
; RUN: llc -O0 -global-isel=0 -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s --check-prefix=SDAG

; Verify that GISel and SDAG do the same thing for this phi (modulo regalloc)
define void @test() nounwind {
; GISEL-LABEL: test:
; GISEL:       // %bb.0: // %entry
; GISEL-NEXT:    sub sp, sp, #16
; GISEL-NEXT:    mov x8, xzr
; GISEL-NEXT:    mov x9, x8
; GISEL-NEXT:    str x9, [sp] // 8-byte Folded Spill
; GISEL-NEXT:    str x8, [sp, #8] // 8-byte Folded Spill
; GISEL-NEXT:    b .LBB0_1
; GISEL-NEXT:  .LBB0_1: // %loop
; GISEL-NEXT:    // =>This Inner Loop Header: Depth=1
; GISEL-NEXT:    ldr x8, [sp, #8] // 8-byte Folded Reload
; GISEL-NEXT:    ldr x9, [sp] // 8-byte Folded Reload
; GISEL-NEXT:    str x9, [sp] // 8-byte Folded Spill
; GISEL-NEXT:    str x8, [sp, #8] // 8-byte Folded Spill
; GISEL-NEXT:    b .LBB0_1
;
; SDAG-LABEL: test:
; SDAG:       // %bb.0: // %entry
; SDAG-NEXT:    sub sp, sp, #16
; SDAG-NEXT:    mov x1, xzr
; SDAG-NEXT:    mov x0, x1
; SDAG-NEXT:    str x1, [sp] // 8-byte Folded Spill
; SDAG-NEXT:    str x0, [sp, #8] // 8-byte Folded Spill
; SDAG-NEXT:    b .LBB0_1
; SDAG-NEXT:  .LBB0_1: // %loop
; SDAG-NEXT:    // =>This Inner Loop Header: Depth=1
; SDAG-NEXT:    ldr x0, [sp, #8] // 8-byte Folded Reload
; SDAG-NEXT:    ldr x1, [sp] // 8-byte Folded Reload
; SDAG-NEXT:    str x1, [sp] // 8-byte Folded Spill
; SDAG-NEXT:    str x0, [sp, #8] // 8-byte Folded Spill
; SDAG-NEXT:    b .LBB0_1
entry:
  br label %loop

loop:
  %p = phi i72 [ 0, %entry ], [ %p, %loop ]
  br label %loop
}