77 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 52# RUN: llc -mtriple=i386-unknown-linux-gnu -start-before=twoaddressinstruction -stop-after=postrapseudos -verify-machineinstrs -o - %s | FileCheck %s3 4# Test register live range that is split from rematerializing. The live range should5# start with Slot_EarlyClobber instead of Slot_Register. Machineverifer can check it.6 7--- |8 9 define void @test() nounwind {10 ret void11 }12 13...14---15name: test16alignment: 1617tracksRegLiveness: true18frameInfo:19 maxAlignment: 420fixedStack:21 - { id: 0, size: 4, alignment: 16, isImmutable: true }22machineFunctionInfo: {}23body: |24 ; CHECK-LABEL: name: test25 ; CHECK: bb.0:26 ; CHECK-NEXT: successors: %bb.1(0x40000000), %bb.2(0x40000000)27 ; CHECK-NEXT: liveins: $ebp, $ebx, $edi, $esi28 ; CHECK-NEXT: {{ $}}29 ; CHECK-NEXT: frame-setup PUSH32r killed $ebp, implicit-def $esp, implicit $esp30 ; CHECK-NEXT: frame-setup PUSH32r killed $ebx, implicit-def $esp, implicit $esp31 ; CHECK-NEXT: frame-setup PUSH32r killed $edi, implicit-def $esp, implicit $esp32 ; CHECK-NEXT: frame-setup PUSH32r killed $esi, implicit-def $esp, implicit $esp33 ; CHECK-NEXT: $esp = frame-setup SUB32ri $esp, 12, implicit-def dead $eflags34 ; CHECK-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def dead early-clobber $ebp, 12 /* clobber */, implicit-def dead early-clobber $eax, 12 /* clobber */, implicit-def dead early-clobber $ebx, 12 /* clobber */, implicit-def dead early-clobber $ecx, 12 /* clobber */, implicit-def dead early-clobber $edx, 12 /* clobber */, implicit-def dead early-clobber $esi, 12 /* clobber */, implicit-def dead early-clobber $edi, 12 /* clobber */, implicit-def dead early-clobber $df, 12 /* clobber */, implicit-def early-clobber $fpsw, 12 /* clobber */, implicit-def dead early-clobber $eflags35 ; CHECK-NEXT: early-clobber renamable $eax = XOR32rr undef $eax, undef $eax, implicit-def dead $eflags36 ; CHECK-NEXT: TEST8rr renamable $al, renamable $al, implicit-def $eflags37 ; CHECK-NEXT: JCC_1 %bb.2, 5, implicit $eflags38 ; CHECK-NEXT: {{ $}}39 ; CHECK-NEXT: bb.1:40 ; CHECK-NEXT: successors: %bb.2(0x80000000)41 ; CHECK-NEXT: {{ $}}42 ; CHECK-NEXT: renamable $eax = MOV32ri 143 ; CHECK-NEXT: {{ $}}44 ; CHECK-NEXT: bb.2:45 ; CHECK-NEXT: liveins: $eax46 ; CHECK-NEXT: {{ $}}47 ; CHECK-NEXT: $esp = frame-destroy ADD32ri $esp, 12, implicit-def dead $eflags48 ; CHECK-NEXT: $esi = frame-destroy POP32r implicit-def $esp, implicit $esp49 ; CHECK-NEXT: $edi = frame-destroy POP32r implicit-def $esp, implicit $esp50 ; CHECK-NEXT: $ebx = frame-destroy POP32r implicit-def $esp, implicit $esp51 ; CHECK-NEXT: $ebp = frame-destroy POP32r implicit-def $esp, implicit $esp52 ; CHECK-NEXT: RET 0, $eax53 bb.0:54 successors: %bb.1, %bb.255 56 early-clobber %0:gr32_abcd = MOV32r0 implicit-def dead $eflags57 INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def dead early-clobber $ebp, 12 /* clobber */, implicit-def dead early-clobber $eax, 12 /* clobber */, implicit-def dead early-clobber $ebx, 12 /* clobber */, implicit-def dead early-clobber $ecx, 12 /* clobber */, implicit-def dead early-clobber $edx, 12 /* clobber */, implicit-def dead early-clobber $esi, 12 /* clobber */, implicit-def dead early-clobber $edi, 12 /* clobber */, implicit-def dead early-clobber $df, 12 /* clobber */, implicit-def early-clobber $fpsw, 12 /* clobber */, implicit-def dead early-clobber $eflags58 %4:gr8 = COPY %0.sub_8bit59 TEST8rr killed %4, %4, implicit-def $eflags60 JCC_1 %bb.2, 5, implicit killed $eflags61 JMP_1 %bb.162 63 bb.1:64 %1:gr32 = MOV32ri 165 %5:gr32 = COPY killed %166 JMP_1 %bb.367 68 bb.2:69 %5:gr32 = COPY killed %070 71 bb.3:72 %3:gr32 = COPY killed %573 $eax = COPY killed %374 RET 0, killed $eax75 76...77