# RUN: llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s | FileCheck %s
# This test ensures that the MIR parser parses the 'undef' register flags
# correctly.

--- |

  define i32 @compute(i32 %a) #0 {
  body:
    %c = mul i32 %a, 11
    ret i32 %c
  }

  define i32 @foo(i32 %a) #0 {
  entry:
    %b = call i32 @compute(i32 %a)
    ret i32 %b
  }

  attributes #0 = { "no-frame-pointer-elim"="false" }

...
---
name:            compute
body:
  - id:          0
    name:        body
    instructions:
      - '%eax = IMUL32rri8 %edi, 11, implicit-def %eflags'
      - 'RETQ %eax'
...
---
name:            foo
body:
  - id:          0
    name:        entry
    instructions:
      # CHECK: - 'PUSH64r undef %rax
      - 'PUSH64r undef %rax, implicit-def %rsp, implicit %rsp'
      - 'CALL64pcrel32 @compute, csr_64, implicit %rsp, implicit %edi, implicit-def %rsp, implicit-def %eax'
      - '%rdx = POP64r implicit-def %rsp, implicit %rsp'
      - 'RETQ %eax'
...