53 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=hexagon -run-pass early-if-predicator %s -o - -verify-machineinstrs | FileCheck %s3 4# Test that "killed" flag on the same virtual register in merged blocks is5# removed for the first spliced block and is saved for the second one.6# Otherwise, register will be killed twice in a single block in the resulting7# MIR, which is incorrect.8 9---10name: my_func11alignment: 1612tracksRegLiveness: true13liveins:14 - { reg: '$r0', virtual-reg: '%0' }15 - { reg: '$r1', virtual-reg: '%1' }16body: |17 ; CHECK-LABEL: name: my_func18 ; CHECK: bb.0:19 ; CHECK-NEXT: liveins: $r0, $r120 ; CHECK-NEXT: {{ $}}21 ; CHECK-NEXT: [[COPY:%[0-9]+]]:intregs = COPY $r022 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:intregs = COPY $r123 ; CHECK-NEXT: [[S2_tstbit_i:%[0-9]+]]:predregs = S2_tstbit_i [[COPY1]], 024 ; CHECK-NEXT: S4_storeirif_io [[S2_tstbit_i]], [[COPY]], 0, 225 ; CHECK-NEXT: S4_storeirit_io [[S2_tstbit_i]], killed [[COPY]], 0, 126 ; CHECK-NEXT: PS_jmpret $r31, implicit-def dead $pc27 bb.0:28 successors: %bb.1(0x40000000), %bb.2(0x40000000)29 liveins: $r0, $r130 31 %0:intregs = COPY $r032 %1:intregs = COPY $r133 %2:predregs = S2_tstbit_i %1, 034 J2_jumpf %2, %bb.2, implicit-def dead $pc35 J2_jump %bb.1, implicit-def dead $pc36 37 bb.1:38 successors: %bb.3(0x80000000)39 40 S4_storeiri_io killed %0, 0, 141 J2_jump %bb.3, implicit-def dead $pc42 43 bb.2:44 successors: %bb.3(0x80000000)45 46 S4_storeiri_io killed %0, 0, 247 J2_jump %bb.3, implicit-def dead $pc48 49 bb.3:50 PS_jmpret $r31, implicit-def dead $pc51 52...53