56 lines · plain
1# RUN: llc -mtriple=hexagon -verify-machineinstrs -run-pass branch-folder -o - %s | FileCheck %s2 3# CHECK-LABEL: name: fred4 5--- |6 define void @fred() { ret void }7 8...9---10 11name: fred12tracksRegLiveness: true13 14body: |15 bb.0:16 liveins: $p0:0x1, $p2, $r0, $r18, $r1917 successors: %bb.1, %bb.218 J2_jumpt killed $p2, %bb.1, implicit-def $pc19 J2_jump %bb.2, implicit-def $pc20 21 bb.1:22 liveins: $p0:0x1, $r0, $r1923 successors: %bb.324 $r2 = A2_tfrsi 425 $r1 = COPY $r1926 $r0 = S2_asl_r_r killed $r0, killed $r227 $r0 = A2_asrh killed $r028 J2_jump %bb.3, implicit-def $pc29 30 bb.2:31 liveins: $p0:0x1, $r0, $r1832 successors: %bb.333 $r2 = A2_tfrsi 534 $r1 = L2_loadrh_io $r18, 035 $r0 = S2_asl_r_r killed $r0, killed $r236 $r0 = A2_asrh killed $r037 38 bb.3:39 ; A live-in register without subregs, but with a lane mask that is not ~040 ; is not recognized by LivePhysRegs. Branch folding exposes this problem41 ; (through tail merging).42 ;43 ; CHECK: bb.3:44 ; CHECK: liveins:{{.*}}$p045 ; CHECK: $r0 = S2_asl_r_r killed $r0, killed $r246 ; CHECK: $r0 = A2_asrh killed $r047 ; CHECK: $r0 = C2_cmoveit killed $p0, 148 ; CHECK: J2_jumpr $r31, implicit-def $pc, implicit $r049 ;50 liveins: $p0:0x151 $r0 = C2_cmoveit killed $p0, 152 J2_jumpr $r31, implicit-def $pc, implicit $r053...54 55 56