llvm/test/CodeGen/AMDGPU/regcoal-subrange-join-seg.mir

   1 # RUN: llc -mtriple=amdgcn -run-pass register-coalescer -o - %s | FileCheck --check-prefix=GCN %s
   2 # REQUIRES: asserts
   3 #
   4 # This test will provoke a Couldn't join subrange unreachable without the
   5 # fix for http://llvm.org/PR35373
   6 #
   7 # GCN: S_CBRANCH_SCC1 %bb.6, implicit undef $scc
   8
   9 --- |
  10   define amdgpu_ps void @regcoal-subrange-join-seg() local_unnamed_addr #0 {
  11     ret void
  12   }
  13 ...
  14 ---
  15 name:            regcoal-subrange-join-seg
  16 tracksRegLiveness: true
  17 registers:
  18   - { id: 0, class: sgpr_128 }
  19   - { id: 1, class: sgpr_128 }
  20   - { id: 2, class: sgpr_128 }
  21   - { id: 3, class: sgpr_128 }
  22   - { id: 4, class: sgpr_128 }
  23   - { id: 5, class: sgpr_128 }
  24   - { id: 6, class: sgpr_128 }
  25   - { id: 7, class: sgpr_128 }
  26   - { id: 8, class: sgpr_128 }
  27   - { id: 9, class: sreg_32_xm0 }
  28   - { id: 10, class: sreg_32_xm0 }
  29   - { id: 11, class: vgpr_32 }
  30   - { id: 12, class: vgpr_32 }
  31   - { id: 13, class: vgpr_32 }
  32   - { id: 14, class: sreg_32_xm0_xexec }
  33   - { id: 15, class: sgpr_128 }
  34   - { id: 16, class: sreg_32 }
  35   - { id: 17, class: sreg_32_xm0 }
  36   - { id: 18, class: sreg_32_xm0 }
  37   - { id: 19, class: sreg_32_xm0 }
  38   - { id: 20, class: sreg_32_xm0 }
  39   - { id: 21, class: sreg_32_xm0_xexec }
  40   - { id: 22, class: sgpr_128 }
  41   - { id: 23, class: sreg_32_xm0 }
  42   - { id: 24, class: vgpr_32 }
  43   - { id: 25, class: sreg_64_xexec }
  44   - { id: 26, class: vgpr_32 }
  45   - { id: 27, class: sreg_32_xm0 }
  46   - { id: 28, class: sreg_32 }
  47   - { id: 29, class: sgpr_128 }
  48   - { id: 30, class: sreg_32_xm0 }
  49   - { id: 31, class: sreg_32_xm0 }
  50   - { id: 32, class: vgpr_32 }
  51   - { id: 33, class: vgpr_32 }
  52   - { id: 34, class: vgpr_32 }
  53   - { id: 35, class: vgpr_32 }
  54   - { id: 36, class: vgpr_32 }
  55   - { id: 37, class: vgpr_32 }
  56   - { id: 38, class: vgpr_32 }
  57   - { id: 39, class: vgpr_32 }
  58   - { id: 40, class: vgpr_32 }
  59   - { id: 41, class: vgpr_32 }
  60   - { id: 42, class: vgpr_32 }
  61   - { id: 43, class: vgpr_32 }
  62   - { id: 44, class: vgpr_32 }
  63   - { id: 45, class: vgpr_32 }
  64   - { id: 46, class: vgpr_32 }
  65   - { id: 47, class: vgpr_32 }
  66   - { id: 48, class: vgpr_32 }
  67   - { id: 49, class: vreg_128 }
  68   - { id: 50, class: vreg_128 }
  69   - { id: 51, class: vreg_128 }
  70   - { id: 52, class: vreg_128 }
  71   - { id: 53, class: vreg_128 }
  72   - { id: 54, class: vreg_128 }
  73   - { id: 55, class: vgpr_32 }
  74   - { id: 56, class: vreg_128 }
  75   - { id: 57, class: vreg_128 }
  76   - { id: 58, class: vreg_128 }
  77   - { id: 59, class: vreg_128 }
  78   - { id: 60, class: vreg_128 }
  79   - { id: 61, class: vreg_128 }
  80   - { id: 62, class: vreg_128 }
  81   - { id: 63, class: vreg_128 }
  82 body:             |
  83   bb.0:
  84     S_CBRANCH_SCC1 %bb.6, implicit undef $scc
  85     S_BRANCH %bb.1
  86
  87   bb.1:
  88     S_CBRANCH_SCC1 %bb.4, implicit undef $scc
  89     S_BRANCH %bb.2
  90
  91   bb.2:
  92     S_CBRANCH_SCC1 %bb.4, implicit undef $scc
  93     S_BRANCH %bb.3
  94
  95   bb.3:
  96
  97   bb.4:
  98     successors: %bb.5, %bb.6
  99
 100     S_CBRANCH_SCC1 %bb.6, implicit undef $scc
 101     S_BRANCH %bb.5
 102
 103   bb.5:
 104
 105   bb.6:
 106     S_CBRANCH_SCC1 %bb.14, implicit undef $scc
 107     S_BRANCH %bb.7
 108
 109   bb.7:
 110     S_CBRANCH_SCC1 %bb.9, implicit undef $scc
 111     S_BRANCH %bb.8
 112
 113   bb.8:
 114
 115   bb.9:
 116     successors: %bb.10, %bb.13
 117
 118     S_CBRANCH_SCC1 %bb.13, implicit undef $scc
 119     S_BRANCH %bb.10
 120
 121   bb.10:
 122     S_CBRANCH_SCC1 %bb.12, implicit undef $scc
 123     S_BRANCH %bb.11
 124
 125   bb.11:
 126
 127   bb.12:
 128
 129   bb.13:
 130
 131   bb.14:
 132     S_CBRANCH_SCC1 %bb.26, implicit undef $scc
 133     S_BRANCH %bb.15
 134
 135   bb.15:
 136     S_CBRANCH_SCC1 %bb.20, implicit undef $scc
 137     S_BRANCH %bb.16
 138
 139   bb.16:
 140     successors: %bb.17, %bb.19
 141
 142     S_CBRANCH_SCC1 %bb.19, implicit undef $scc
 143     S_BRANCH %bb.17
 144
 145   bb.17:
 146     successors: %bb.18, %bb.19
 147
 148     S_CBRANCH_SCC1 %bb.19, implicit undef $scc
 149     S_BRANCH %bb.18
 150
 151   bb.18:
 152
 153   bb.19:
 154
 155   bb.20:
 156     S_CBRANCH_SCC1 %bb.25, implicit undef $scc
 157     S_BRANCH %bb.21
 158
 159   bb.21:
 160     successors: %bb.22, %bb.24
 161
 162     S_CBRANCH_SCC1 %bb.24, implicit undef $scc
 163     S_BRANCH %bb.22
 164
 165   bb.22:
 166     successors: %bb.23, %bb.24
 167
 168     S_CBRANCH_SCC1 %bb.24, implicit undef $scc
 169     S_BRANCH %bb.23
 170
 171   bb.23:
 172
 173   bb.24:
 174
 175   bb.25:
 176
 177   bb.26:
 178     S_CBRANCH_SCC1 %bb.35, implicit undef $scc
 179     S_BRANCH %bb.27
 180
 181   bb.27:
 182     S_CBRANCH_SCC1 %bb.32, implicit undef $scc
 183     S_BRANCH %bb.28
 184
 185   bb.28:
 186     %9 = S_FF1_I32_B32 undef %10
 187     %13 = V_MAD_U32_U24_e64 killed %9, 48, 32, 0, implicit $exec
 188     %45 = BUFFER_LOAD_DWORD_OFFEN killed %13, undef %15, 0, 0, 0, 0, implicit $exec :: (dereferenceable invariant load (s32))
 189     %46 = V_AND_B32_e32 1, killed %45, implicit $exec
 190     %21 = S_BUFFER_LOAD_DWORD_SGPR undef %22, undef %23, 0 :: (dereferenceable invariant load (s32))
 191     %25 = nofpexcept V_CMP_GE_F32_e64 0, 0, 0, killed %21, 0, implicit $mode, implicit $exec
 192     %26 = V_CNDMASK_B32_e64 0, 0, 0, -1, killed %25, implicit $exec
 193     %62 = IMPLICIT_DEF
 194
 195   bb.29:
 196     successors: %bb.30(0x30000000), %bb.36(0x50000000)
 197
 198     %53 = COPY killed %62
 199     %47 = V_ADD_CO_U32_e32 -1, %46, implicit-def dead $vcc, implicit $exec
 200     %48 = V_OR_B32_e32 killed %47, %26, implicit $exec
 201     %49 = COPY %53
 202     %49.sub2 = COPY undef %48
 203     %51 = COPY killed %49
 204     %51.sub3 = COPY undef %26
 205     V_CMP_NE_U32_e32 0, killed %48, implicit-def $vcc, implicit $exec
 206     $vcc = S_AND_B64 $exec, killed $vcc, implicit-def dead $scc
 207     S_CBRANCH_VCCZ %bb.30, implicit killed $vcc
 208
 209   bb.36:
 210     %63 = COPY killed %51
 211     S_BRANCH %bb.31
 212
 213   bb.30:
 214     %33 = nofpexcept V_MAD_F32_e64 1, killed %53.sub0, 0, undef %34, 0, 0, 0, 0, implicit $mode, implicit $exec
 215     %35 = nofpexcept V_MAC_F32_e32 killed %33, undef %36, undef %35, implicit $mode, implicit $exec
 216     %38 = nofpexcept V_MAX_F32_e32 0, killed %35, implicit $mode, implicit $exec
 217     %39 = nofpexcept V_LOG_F32_e32 killed %38, implicit $mode, implicit $exec
 218     %40 = nofpexcept V_MUL_F32_e32 killed %39, undef %41, implicit $mode, implicit $exec
 219     %42 = nofpexcept V_EXP_F32_e32 killed %40, implicit $mode, implicit $exec
 220     dead %43 = nofpexcept V_MUL_F32_e32 killed %42, undef %44, implicit $mode, implicit $exec
 221     %63 = COPY killed %51
 222
 223   bb.31:
 224     %52 = COPY killed %63
 225     %62 = COPY killed %52
 226     S_BRANCH %bb.29
 227
 228   bb.32:
 229     S_CBRANCH_SCC1 %bb.34, implicit undef $scc
 230     S_BRANCH %bb.33
 231
 232   bb.33:
 233
 234   bb.34:
 235
 236   bb.35:
 237     S_ENDPGM 0
 238
 239 ...