68 lines · plain
1# RUN: llc -mtriple=hexagon -run-pass pipeliner -debug-only=pipeliner %s -o /dev/null 2>&1 -pipeliner-experimental-cg=true | FileCheck %s2# REQUIRES: asserts3 4# Test that the loop carried dependence check correctly identifies a recurrence5# when load and store use distinct increment for their pointer. To test this,6# we check that we don't have the Rec NodeSet containing SU(5) and SU(7) which7# requires to use a single CHECK-NOT to match such a Rec NodeSet. Fortunately8# the atom '.' does not match a newline but anything else on a line.9 10# CHECK: Overlap check:11# CHECK-NEXT: BaseMI: %13:intregs = S2_storerh_pi %12:intregs(tied-def 0), 2, %20:intregs :: (store (s16))12# CHECK-NEXT: Base + 0 + I * 2, Len: 213# CHECK-NEXT: OtherMI: %19:intregs, %15:intregs = L2_loadrh_pi %14:intregs(tied-def 1), 2 :: (load (s16))14# CHECK-NEXT: Base + 0 + I * 2, Len: 215# CHECK-NEXT: Result: No overlap16 17# CHECK-NOT: Rec NodeSet{{.+[[:space:]]}} SU(5){{.+[[:space:]]}} SU(7)18 19...20---21name: test22tracksRegLiveness: true23 24body: |25 bb.0:26 successors: %bb.3, %bb.127 liveins: $r0, $r1, $r228 29 %14:intregs = COPY $r230 %13:intregs = COPY $r131 %12:intregs = COPY $r032 %16:predregs = C2_cmpeqi %14, 233 %15:intregs = A2_tfrsi 034 J2_jumpt killed %16, %bb.3, implicit-def dead $pc35 J2_jump %bb.1, implicit-def dead $pc36 37 bb.1:38 successors: %bb.239 40 %0:intregs = A2_addi %14, -241 %1:intregs = A2_addi %12, 1042 %2:intregs = A2_addi %13, 443 %17:intregs = A2_tfrsi 044 %23:intregs = COPY %045 J2_loop0r %bb.2, %23, implicit-def $lc0, implicit-def $sa0, implicit-def $usr46 47 bb.2 (machine-block-address-taken):48 successors: %bb.3, %bb.249 50 %3:intregs = PHI %2, %bb.1, %10, %bb.251 %4:intregs = PHI %1, %bb.1, %9, %bb.252 %21:intregs = PHI %1, %bb.1, %22, %bb.253 %6:intregs = PHI %17, %bb.1, %7, %bb.254 %18:intregs, %10:intregs = L2_loadrh_pi %3, 2 :: (load (s16))55 %19:intregs, %22:intregs = L2_loadrh_pi %21, 2 :: (load (s16))56 %20:intregs = A2_addi %18, 1057 %9:intregs = S2_storerh_pi %4, 2, killed %20 :: (store (s16))58 %7:intregs = M2_acci %19, %6, %1859 ENDLOOP0 %bb.2, implicit-def $pc, implicit-def $lc0, implicit $sa0, implicit $lc060 J2_jump %bb.3, implicit-def dead $pc61 62 bb.3:63 %11:intregs = PHI %15, %bb.0, %7, %bb.264 $r0 = COPY %1165 PS_jmpret $r31, implicit-def dead $pc, implicit $r066 67...68