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 ... 55
