# 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 'early-clobber' register # flags correctly. --- | declare void @foo(i32) define void @test(i32 %a, i32 %b) #0 { entry: %c = add i32 %a, %b call void asm sideeffect "nop", "~{ax},~{di}"() call void @foo(i32 %c) ret void } attributes #0 = { optsize } ... --- name: test hasInlineAsm: true tracksRegLiveness: true liveins: - { reg: '%edi' } - { reg: '%esi' } frameInfo: stackSize: 8 adjustsStack: true hasCalls: true body: - id: 0 name: entry liveins: [ '%edi', '%esi' ] instructions: - 'frame-setup PUSH64r undef %rax, implicit-def %rsp, implicit %rsp' - CFI_INSTRUCTION .cfi_def_cfa_offset 16 - '%ecx = COPY %edi' - '%ecx = ADD32rr killed %ecx, killed %esi, implicit-def dead %eflags' # CHECK: INLINEASM $nop, 1, 12, implicit-def dead early-clobber %ax, 12, implicit-def dead early-clobber %di - 'INLINEASM $nop, 1, 12, implicit-def dead early-clobber %ax, 12, implicit-def dead early-clobber %di' - '%edi = COPY killed %ecx' - 'CALL64pcrel32 @foo, csr_64, implicit %rsp, implicit %edi, implicit-def %rsp' - '%rax = POP64r implicit-def %rsp, implicit %rsp' - RETQ ...