# RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s
# This test ensures that the MIR parser parses the save and restore points in
# the machine frame info correctly.

--- |

  define i32 @foo(i32 %a, i32 %b) {
  entry:
    %tmp = alloca i32, align 4
    %tmp2 = icmp slt i32 %a, %b
    br i1 %tmp2, label %true, label %false

  true:
    store i32 %a, i32* %tmp, align 4
    %tmp4 = call i32 @doSomething(i32 0, i32* %tmp)
    br label %false

  false:
    %tmp.0 = phi i32 [ %tmp4, %true ], [ %a, %entry ]
    ret i32 %tmp.0
  }

  declare i32 @doSomething(i32, i32*)

...
---
name:            foo
tracksRegLiveness: true
liveins:
  - { reg: '%edi' }
  - { reg: '%esi' }
# CHECK: frameInfo:
# CHECK:      savePoint: '%bb.2.true'
# CHECK-NEXT: restorePoint: '%bb.2.true'
# CHECK: stack
frameInfo:
  maxAlignment:  4
  hasCalls:      true
  savePoint:     '%bb.2.true'
  restorePoint:  '%bb.2.true'
stack:
  - { id: 0, name: tmp, offset: 0, size: 4, alignment: 4 }
body: |
  bb.0:
    successors: %bb.2.true, %bb.1
    liveins: %edi, %esi

    %eax = COPY %edi
    CMP32rr %eax, killed %esi, implicit-def %eflags
    JL_1 %bb.2.true, implicit killed %eflags

  bb.1:
    successors: %bb.3.false
    liveins: %eax

    JMP_1 %bb.3.false

  bb.2.true:
    successors: %bb.3.false
    liveins: %eax

    MOV32mr %stack.0.tmp, 1, _, 0, _, killed %eax
    ADJCALLSTACKDOWN64 0, 0, 0, implicit-def %rsp, implicit-def dead %eflags, implicit %rsp
    %rsi = LEA64r %stack.0.tmp, 1, _, 0, _
    %edi = MOV32r0 implicit-def dead %eflags
    CALL64pcrel32 @doSomething, csr_64, implicit %rsp, implicit %edi, implicit %rsi, implicit-def %rsp, implicit-def %eax
    ADJCALLSTACKUP64 0, 0, implicit-def %rsp, implicit-def dead %eflags, implicit %rsp

  bb.3.false:
    liveins: %eax

    RETQ %eax
...