# RUN: llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o - %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: |
  bb.0.body:
    %eax = IMUL32rri8 %edi, 11, implicit-def %eflags
    RETQ %eax
...
---
name:            foo
body: |
  bb.0.entry:
    ; 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
...