llvm/test/CodeGen/Hexagon/swp-carried-dep3.mir

   1 # RUN: llc -mtriple=hexagon -run-pass pipeliner -debug-only=pipeliner %s -o /dev/null 2>&1 -pipeliner-experimental-cg=true | FileCheck %s
   2 # REQUIRES: asserts
   3
   4 # Test that the loop carried dependence check correctly identifies a recurrence
   5 # 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) which
   7 # requires to use a single CHECK-NOT to match such a Rec NodeSet. Fortunately
   8 # the atom '.' does not match a newline but anything else on a line.
   9
  10 # CHECK-NOT: Rec NodeSet{{.+[[:space:]]}} SU(5){{.+[[:space:]]}} SU(7)
  11
  12 ...
  13 ---
  14 name:            test
  15 tracksRegLiveness: true
  16
  17 body:             |
  18   bb.0:
  19     successors: %bb.3, %bb.1
  20     liveins: $r0, $r1, $r2
  21
  22     %14:intregs = COPY $r2
  23     %13:intregs = COPY $r1
  24     %12:intregs = COPY $r0
  25     %16:predregs = C2_cmpeqi %14, 2
  26     %15:intregs = A2_tfrsi 0
  27     J2_jumpt killed %16, %bb.3, implicit-def dead $pc
  28     J2_jump %bb.1, implicit-def dead $pc
  29
  30   bb.1:
  31     successors: %bb.2
  32
  33     %0:intregs = A2_addi %14, -2
  34     %1:intregs = A2_addi %12, 10
  35     %2:intregs = A2_addi %13, 4
  36     %17:intregs = A2_tfrsi 0
  37     %23:intregs = COPY %0
  38     J2_loop0r %bb.2, %23, implicit-def $lc0, implicit-def $sa0, implicit-def $usr
  39
  40   bb.2 (machine-block-address-taken):
  41     successors: %bb.3, %bb.2
  42
  43     %3:intregs = PHI %2, %bb.1, %10, %bb.2
  44     %4:intregs = PHI %1, %bb.1, %9, %bb.2
  45     %21:intregs = PHI %1, %bb.1, %22, %bb.2
  46     %6:intregs = PHI %17, %bb.1, %7, %bb.2
  47     %18:intregs, %10:intregs = L2_loadrh_pi %3, 2 :: (load (s16))
  48     %19:intregs, %22:intregs = L2_loadrh_pi %21, 2 :: (load (s16))
  49     %20:intregs = A2_addi %18, 10
  50     %9:intregs = S2_storerh_pi %4, 2, killed %20 :: (store (s16))
  51     %7:intregs = M2_acci %19, %6, %18
  52     ENDLOOP0 %bb.2, implicit-def $pc, implicit-def $lc0, implicit $sa0, implicit $lc0
  53     J2_jump %bb.3, implicit-def dead $pc
  54
  55   bb.3:
  56     %11:intregs = PHI %15, %bb.0, %7, %bb.2
  57     $r0 = COPY %11
  58     PS_jmpret $r31, implicit-def dead $pc, implicit $r0
  59
  60 ...