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---
16name: fred
17tracksRegLiveness: true
18
19body: |
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