test/CodeGen/Hexagon/cext-opt-range-assert.mir

   1 # RUN: llc -march=hexagon -run-pass hexagon-cext-opt %s -o - | FileCheck %s
   2 # REQUIRES: asserts
   3 #
   4 # This testcase used to trigger an incorrect assertion. Make sure it no
   5 # longer does.
   6 # CHECK: A2_tfrsi @G + 65536
   7
   8 --- |
   9   define void @fred() {
  10     ret void
  11   }
  12   @G = external global [128 x i16], align 8
  13 ...
  14
  15 ---
  16 name: fred
  17 tracksRegLiveness: true
  18
  19 body: |
  20   bb.0:
  21     successors: %bb.1
  22     %6:intregs = A2_tfrsi @G
  23     %7:intregs = A2_addi killed %6, 2
  24     %8:intregs = A2_tfrsi 127
  25     ADJCALLSTACKDOWN 0, 0, implicit-def $r29, implicit-def dead $r30, implicit $r31, implicit $r30, implicit $r29
  26     $r0 = COPY %7
  27     $r1 = COPY %8
  28     %9:intregs = IMPLICIT_DEF
  29     J2_callr killed %9, implicit-def dead $pc, implicit-def dead $r31, implicit $r29, implicit $r0, implicit $r1, implicit-def $r29
  30     ADJCALLSTACKUP 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit-def dead $r31, implicit $r29
  31     %5:intregs = A2_tfrsi 8
  32     %10:intregs = A2_tfrsi @G + 8
  33     %4:intregs = A2_addi killed %10, 2
  34
  35   bb.1:
  36     successors: %bb.1, %bb.2
  37     %0:intregs = PHI %4, %bb.0, %3, %bb.1
  38     %1:intregs = PHI %5, %bb.0, %2, %bb.1
  39     %11:predregs = C2_cmpgtui %1, 127
  40     %2:intregs = A2_addi %1, 8
  41     %3:intregs = A2_addi %0, 16
  42     J2_jumpf %11, %bb.1, implicit-def $pc
  43
  44   bb.2:
  45     %13:intregs = A2_tfrsi @G
  46     %14:intregs = A2_addi killed %13, 2
  47     %15:intregs = A2_tfrsi 127
  48     ADJCALLSTACKDOWN 0, 0, implicit-def $r29, implicit-def dead $r30, implicit $r31, implicit $r30, implicit $r29
  49     $r0 = COPY %14
  50     $r1 = COPY %15
  51     %16:intregs = IMPLICIT_DEF
  52     PS_callr_nr killed %16, implicit $r0, implicit $r1, implicit-def $r29
  53     ADJCALLSTACKUP 0, 0, implicit-def dead $r29, implicit-def dead $r30, implicit-def dead $r31, implicit $r29
  54 ...