67 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=x86_64-grtev4-linux-gnu -run-pass=regallocfast -o - %s | FileCheck %s3# RUN: llc -mtriple=x86_64-grtev4-linux-gnu -passes=regallocfast -o - %s | FileCheck %s4 5# Bug 41973. Make sure %12 is detected as live out of %bb.0, even6# though the use is allocated before the def block %bb.3. Previously7# mayLiveOut only recorded on defs, and would not find the virtual8# register use if it had already been replaced with a physical9# register.10 11---12name: main13tracksRegLiveness: true14body: |15 ; CHECK-LABEL: name: main16 ; CHECK: bb.0:17 ; CHECK: successors: %bb.3(0x80000000)18 ; CHECK: liveins: $edi, $rsi19 ; CHECK: MOV64mr %stack.0, 1, $noreg, 0, $noreg, killed $rsi :: (store (s64) into %stack.0)20 ; CHECK: JMP_1 %bb.321 ; CHECK: bb.1:22 ; CHECK: successors:23 ; CHECK: bb.2:24 ; CHECK: successors: %bb.3(0x80000000)25 ; CHECK: $rcx = MOV64rm %stack.1, 1, $noreg, 0, $noreg :: (load (s64) from %stack.1)26 ; CHECK: renamable $eax = MOV32r0 implicit-def dead $eflags27 ; CHECK: renamable $rax = SUBREG_TO_REG 0, killed renamable $eax, %subreg.sub_32bit28 ; CHECK: MOV64mi32 killed renamable $rcx, 1, $noreg, 0, $noreg, 0 :: (volatile store (s64))29 ; CHECK: MOV64mr %stack.0, 1, $noreg, 0, $noreg, killed $rax :: (store (s64) into %stack.0)30 ; CHECK: bb.3:31 ; CHECK: successors: %bb.2(0x40000000), %bb.1(0x40000000)32 ; CHECK: $rax = MOV64rm %stack.0, 1, $noreg, 0, $noreg :: (load (s64) from %stack.0)33 ; CHECK: renamable $ecx = MOV32r0 implicit-def dead $eflags34 ; CHECK: renamable $rcx = SUBREG_TO_REG 0, killed renamable $ecx, %subreg.sub_32bit35 ; CHECK: MOV64mr %stack.1, 1, $noreg, 0, $noreg, killed $rcx :: (store (s64) into %stack.1)36 ; CHECK: JMP64r killed renamable $rax37 bb.0:38 liveins: $edi, $rsi39 40 %4:gr64 = COPY $rsi41 %2:gr32 = COPY $edi42 %3:gr32 = COPY killed %243 %5:gr64 = COPY killed %444 %13:gr64 = COPY %545 JMP_1 %bb.346 47 bb.1:48 successors:49 50 bb.2:51 %0:gr64 = COPY %1252 %10:gr32 = MOV32r0 implicit-def $eflags53 %11:gr64 = SUBREG_TO_REG 0, %10, %subreg.sub_32bit54 MOV64mi32 %0, 1, $noreg, 0, $noreg, 0 :: (volatile store (s64))55 %13:gr64 = COPY %1156 57 bb.3:58 successors: %bb.2, %bb.159 60 %1:gr64 = COPY %1361 %9:gr32 = MOV32r0 implicit-def dead $eflags62 %8:gr64 = SUBREG_TO_REG 0, killed %9, %subreg.sub_32bit63 %12:gr64 = COPY %864 JMP64r %165 66...67