llvm/test/CodeGen/AMDGPU/collapse-endcf.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -march=amdgcn -verify-machineinstrs -run-pass=si-lower-control-flow -amdgpu-remove-redundant-endcf %s -o - | FileCheck -check-prefix=GCN %s
   3
   4 # Make sure dbg_value doesn't change codeegn when collapsing end_cf
   5 ---
   6 name: simple_nested_if_dbg_value
   7 tracksRegLiveness: true
   8 machineFunctionInfo:
   9   isEntryFunction: true
  10 body:             |
  11   ; GCN-LABEL: name: simple_nested_if_dbg_value
  12   ; GCN: bb.0:
  13   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.4(0x40000000)
  14   ; GCN-NEXT: {{  $}}
  15   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
  16   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
  17   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
  18   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
  19   ; GCN-NEXT: {{  $}}
  20   ; GCN-NEXT: bb.1:
  21   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.4(0x40000000)
  22   ; GCN-NEXT: {{  $}}
  23   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
  24   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
  25   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
  26   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
  27   ; GCN-NEXT: {{  $}}
  28   ; GCN-NEXT: bb.2:
  29   ; GCN-NEXT:   successors: %bb.4(0x80000000)
  30   ; GCN-NEXT: {{  $}}
  31   ; GCN-NEXT: {{  $}}
  32   ; GCN-NEXT: bb.4:
  33   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
  34   ; GCN-NEXT:   DBG_VALUE
  35   ; GCN-NEXT:   S_ENDPGM 0
  36   bb.0:
  37     successors: %bb.1, %bb.4
  38
  39     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  40
  41   bb.1:
  42     successors: %bb.2, %bb.3
  43
  44     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  45
  46   bb.2:
  47
  48   bb.3:
  49     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  50     DBG_VALUE
  51
  52   bb.4:
  53     DBG_VALUE
  54     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  55     S_ENDPGM 0
  56
  57 ...
  58
  59 # Empty block separates the collapsable s_or_b64
  60 ---
  61 name: simple_nested_if_empty_block_between
  62 tracksRegLiveness: true
  63 machineFunctionInfo:
  64   isEntryFunction: true
  65 body:             |
  66   ; GCN-LABEL: name: simple_nested_if_empty_block_between
  67   ; GCN: bb.0:
  68   ; GCN-NEXT:   successors: %bb.5(0x40000000), %bb.1(0x40000000)
  69   ; GCN-NEXT: {{  $}}
  70   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
  71   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
  72   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
  73   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.5, implicit $exec
  74   ; GCN-NEXT: {{  $}}
  75   ; GCN-NEXT: bb.1:
  76   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.4(0x40000000)
  77   ; GCN-NEXT: {{  $}}
  78   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
  79   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
  80   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
  81   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
  82   ; GCN-NEXT: {{  $}}
  83   ; GCN-NEXT: bb.2:
  84   ; GCN-NEXT:   successors: %bb.4(0x80000000)
  85   ; GCN-NEXT: {{  $}}
  86   ; GCN-NEXT: {{  $}}
  87   ; GCN-NEXT: bb.4:
  88   ; GCN-NEXT:   successors: %bb.5(0x80000000)
  89   ; GCN-NEXT: {{  $}}
  90   ; GCN-NEXT: {{  $}}
  91   ; GCN-NEXT: bb.5:
  92   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
  93   ; GCN-NEXT:   S_ENDPGM 0
  94   bb.0:
  95     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  96
  97   bb.1:
  98     successors: %bb.2, %bb.3
  99
 100     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 101
 102   bb.2:
 103
 104   bb.3:
 105     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 106
 107   bb.5:
 108
 109   bb.4:
 110     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 111     S_ENDPGM 0
 112
 113 ...
 114
 115 # Effectively empty block separates the collapsable s_or_b64
 116 ---
 117 name: simple_nested_if_empty_block_dbg_between
 118 tracksRegLiveness: true
 119 machineFunctionInfo:
 120   isEntryFunction: true
 121 body:             |
 122   ; GCN-LABEL: name: simple_nested_if_empty_block_dbg_between
 123   ; GCN: bb.0:
 124   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.5(0x40000000)
 125   ; GCN-NEXT: {{  $}}
 126   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 127   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 128   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 129   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.5, implicit $exec
 130   ; GCN-NEXT: {{  $}}
 131   ; GCN-NEXT: bb.1:
 132   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.4(0x40000000)
 133   ; GCN-NEXT: {{  $}}
 134   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 135   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
 136   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 137   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 138   ; GCN-NEXT: {{  $}}
 139   ; GCN-NEXT: bb.2:
 140   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 141   ; GCN-NEXT: {{  $}}
 142   ; GCN-NEXT: {{  $}}
 143   ; GCN-NEXT: bb.4:
 144   ; GCN-NEXT:   successors: %bb.5(0x80000000)
 145   ; GCN-NEXT: {{  $}}
 146   ; GCN-NEXT:   DBG_VALUE
 147   ; GCN-NEXT: {{  $}}
 148   ; GCN-NEXT: bb.5:
 149   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 150   ; GCN-NEXT:   S_ENDPGM 0
 151   bb.0:
 152     successors: %bb.1, %bb.4
 153
 154     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 155
 156   bb.1:
 157     successors: %bb.2, %bb.3
 158
 159     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 160
 161   bb.2:
 162
 163   bb.3:
 164     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 165
 166   bb.5:
 167     DBG_VALUE
 168
 169   bb.4:
 170     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 171     S_ENDPGM 0
 172
 173 ...
 174
 175 ---
 176 name: skip_salu_and_meta_insts_find_first
 177 tracksRegLiveness: true
 178 machineFunctionInfo:
 179   isEntryFunction: true
 180 body:             |
 181   ; GCN-LABEL: name: skip_salu_and_meta_insts_find_first
 182   ; GCN: bb.0:
 183   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.4(0x40000000)
 184   ; GCN-NEXT:   liveins: $vgpr0, $sgpr0_sgpr1
 185   ; GCN-NEXT: {{  $}}
 186   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 187   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 188   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 189   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 190   ; GCN-NEXT: {{  $}}
 191   ; GCN-NEXT: bb.1:
 192   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.3(0x40000000)
 193   ; GCN-NEXT: {{  $}}
 194   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 195   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
 196   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 197   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.3, implicit $exec
 198   ; GCN-NEXT: {{  $}}
 199   ; GCN-NEXT: bb.2:
 200   ; GCN-NEXT:   successors: %bb.3(0x80000000)
 201   ; GCN-NEXT: {{  $}}
 202   ; GCN-NEXT: {{  $}}
 203   ; GCN-NEXT: bb.3:
 204   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 205   ; GCN-NEXT: {{  $}}
 206   ; GCN-NEXT:   [[DEF:%[0-9]+]]:sgpr_32 = IMPLICIT_DEF
 207   ; GCN-NEXT:   [[S_BREV_B32_:%[0-9]+]]:sgpr_32 = S_BREV_B32 [[DEF]]
 208   ; GCN-NEXT:   KILL [[DEF]]
 209   ; GCN-NEXT: {{  $}}
 210   ; GCN-NEXT: bb.4:
 211   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 212   ; GCN-NEXT:   S_ENDPGM 0
 213   bb.0:
 214     successors: %bb.1, %bb.4
 215     liveins: $vgpr0, $sgpr0_sgpr1
 216
 217     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 218
 219   bb.1:
 220     successors: %bb.2, %bb.3
 221
 222     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 223
 224   bb.2:
 225
 226   bb.3:
 227     %4:sgpr_32 = IMPLICIT_DEF
 228     %5:sgpr_32 = S_BREV_B32 %4
 229     KILL %4
 230     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 231
 232   bb.4:
 233     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 234     S_ENDPGM 0
 235
 236 ...
 237
 238 # Make sure SALU instructions, meta instructions, and SGPR->SGPR
 239 # copies are skipped.
 240 ---
 241 name: skip_salu_and_meta_insts_after
 242 tracksRegLiveness: true
 243 machineFunctionInfo:
 244   isEntryFunction: true
 245 body:             |
 246   ; GCN-LABEL: name: skip_salu_and_meta_insts_after
 247   ; GCN: bb.0:
 248   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.4(0x40000000)
 249   ; GCN-NEXT: {{  $}}
 250   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 251   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 252   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 253   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 254   ; GCN-NEXT: {{  $}}
 255   ; GCN-NEXT: bb.1:
 256   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.3(0x40000000)
 257   ; GCN-NEXT: {{  $}}
 258   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 259   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
 260   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 261   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.3, implicit $exec
 262   ; GCN-NEXT: {{  $}}
 263   ; GCN-NEXT: bb.2:
 264   ; GCN-NEXT:   successors: %bb.3(0x80000000)
 265   ; GCN-NEXT: {{  $}}
 266   ; GCN-NEXT: {{  $}}
 267   ; GCN-NEXT: bb.3:
 268   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 269   ; GCN-NEXT: {{  $}}
 270   ; GCN-NEXT:   [[DEF:%[0-9]+]]:sgpr_32 = IMPLICIT_DEF
 271   ; GCN-NEXT:   [[S_BREV_B32_:%[0-9]+]]:sgpr_32 = S_BREV_B32 [[DEF]]
 272   ; GCN-NEXT:   KILL [[DEF]]
 273   ; GCN-NEXT:   [[COPY2:%[0-9]+]]:sgpr_32 = COPY [[S_BREV_B32_]]
 274   ; GCN-NEXT: {{  $}}
 275   ; GCN-NEXT: bb.4:
 276   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 277   ; GCN-NEXT:   S_ENDPGM 0
 278   bb.0:
 279     successors: %bb.1, %bb.4
 280
 281     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 282
 283   bb.1:
 284     successors: %bb.2, %bb.3
 285
 286     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 287
 288   bb.2:
 289
 290   bb.3:
 291     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 292     %4:sgpr_32 = IMPLICIT_DEF
 293     %5:sgpr_32 = S_BREV_B32 %4
 294     KILL %4
 295     %6:sgpr_32 = COPY %5
 296
 297   bb.4:
 298     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 299     S_ENDPGM 0
 300
 301 ...
 302
 303 # SALU instruction depends on exec through a normal operand.
 304 ---
 305 name: salu_exec_dependency
 306 tracksRegLiveness: true
 307 machineFunctionInfo:
 308   isEntryFunction: true
 309 body:             |
 310   ; GCN-LABEL: name: salu_exec_dependency
 311   ; GCN: bb.0:
 312   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.4(0x40000000)
 313   ; GCN-NEXT: {{  $}}
 314   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 315   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 316   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 317   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 318   ; GCN-NEXT: {{  $}}
 319   ; GCN-NEXT: bb.1:
 320   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.3(0x40000000)
 321   ; GCN-NEXT: {{  $}}
 322   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 323   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
 324   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 325   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.3, implicit $exec
 326   ; GCN-NEXT: {{  $}}
 327   ; GCN-NEXT: bb.2:
 328   ; GCN-NEXT:   successors: %bb.3(0x80000000)
 329   ; GCN-NEXT: {{  $}}
 330   ; GCN-NEXT: {{  $}}
 331   ; GCN-NEXT: bb.3:
 332   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 333   ; GCN-NEXT: {{  $}}
 334   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY1]], implicit-def $scc
 335   ; GCN-NEXT:   [[S_BREV_B64_:%[0-9]+]]:sreg_64 = S_BREV_B64 $exec
 336   ; GCN-NEXT: {{  $}}
 337   ; GCN-NEXT: bb.4:
 338   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 339   ; GCN-NEXT:   S_ENDPGM 0
 340   bb.0:
 341     successors: %bb.1, %bb.4
 342
 343     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 344
 345   bb.1:
 346     successors: %bb.2, %bb.3
 347
 348     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 349
 350   bb.2:
 351
 352   bb.3:
 353     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 354     %4:sreg_64 = S_BREV_B64 $exec
 355
 356   bb.4:
 357     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 358     S_ENDPGM 0
 359
 360 ...
 361
 362 # Copy to / from VGPR should be assumed to read exec
 363 ---
 364 name: copy_no_explicit_exec_dependency
 365 tracksRegLiveness: true
 366 machineFunctionInfo:
 367   isEntryFunction: true
 368 body:             |
 369   ; GCN-LABEL: name: copy_no_explicit_exec_dependency
 370   ; GCN: bb.0:
 371   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.4(0x40000000)
 372   ; GCN-NEXT: {{  $}}
 373   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 374   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 375   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 376   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 377   ; GCN-NEXT: {{  $}}
 378   ; GCN-NEXT: bb.1:
 379   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.3(0x40000000)
 380   ; GCN-NEXT: {{  $}}
 381   ; GCN-NEXT:   [[DEF:%[0-9]+]]:vreg_128 = IMPLICIT_DEF
 382   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 383   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %4:sreg_64, implicit-def dead $scc
 384   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 385   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.3, implicit $exec
 386   ; GCN-NEXT: {{  $}}
 387   ; GCN-NEXT: bb.2:
 388   ; GCN-NEXT:   successors: %bb.3(0x80000000)
 389   ; GCN-NEXT: {{  $}}
 390   ; GCN-NEXT: {{  $}}
 391   ; GCN-NEXT: bb.3:
 392   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 393   ; GCN-NEXT: {{  $}}
 394   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY1]], implicit-def $scc
 395   ; GCN-NEXT:   [[COPY2:%[0-9]+]]:vgpr_32 = COPY [[DEF]].sub2
 396   ; GCN-NEXT: {{  $}}
 397   ; GCN-NEXT: bb.4:
 398   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 399   ; GCN-NEXT:   S_ENDPGM 0
 400   bb.0:
 401     successors: %bb.1, %bb.4
 402
 403     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 404
 405   bb.1:
 406     successors: %bb.2, %bb.3
 407
 408     %2:vreg_128 = IMPLICIT_DEF
 409     %3:sreg_64 = SI_IF undef %4:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 410
 411   bb.2:
 412
 413   bb.3:
 414     SI_END_CF %3:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 415     %5:vgpr_32 = COPY %2.sub2
 416
 417   bb.4:
 418     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 419     S_ENDPGM 0
 420
 421 ...
 422
 423 ---
 424 name: simple_nested_if_not_layout_successor
 425 tracksRegLiveness: true
 426 machineFunctionInfo:
 427   isEntryFunction: true
 428 body:             |
 429   ; GCN-LABEL: name: simple_nested_if_not_layout_successor
 430   ; GCN: bb.0:
 431   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.4(0x40000000)
 432   ; GCN-NEXT: {{  $}}
 433   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 434   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 435   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 436   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 437   ; GCN-NEXT: {{  $}}
 438   ; GCN-NEXT: bb.1:
 439   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.5(0x40000000)
 440   ; GCN-NEXT: {{  $}}
 441   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 442   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
 443   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 444   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.5, implicit $exec
 445   ; GCN-NEXT: {{  $}}
 446   ; GCN-NEXT: bb.2:
 447   ; GCN-NEXT:   successors: %bb.5(0x80000000)
 448   ; GCN-NEXT: {{  $}}
 449   ; GCN-NEXT:   S_BRANCH %bb.5
 450   ; GCN-NEXT: {{  $}}
 451   ; GCN-NEXT: bb.4:
 452   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 453   ; GCN-NEXT:   S_ENDPGM 0
 454   ; GCN-NEXT: {{  $}}
 455   ; GCN-NEXT: bb.5:
 456   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 457   ; GCN-NEXT: {{  $}}
 458   ; GCN-NEXT:   S_BRANCH %bb.4
 459   bb.0:
 460     successors: %bb.1, %bb.4
 461
 462     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 463
 464   bb.1:
 465     successors: %bb.2, %bb.3
 466
 467     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 468
 469   bb.2:
 470
 471   bb.3:
 472     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 473     S_BRANCH %bb.5
 474
 475   bb.4:
 476     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 477     S_ENDPGM 0
 478
 479   bb.5:
 480     S_BRANCH %bb.4
 481
 482 ...
 483
 484 # This should never happen, but check that we do not hang anyway
 485
 486 ---
 487 name: resursive_endcf
 488 tracksRegLiveness: true
 489 liveins:
 490   - { reg: '$vgpr0', virtual-reg: '%0' }
 491 machineFunctionInfo:
 492   isEntryFunction: true
 493 body:             |
 494   ; GCN-LABEL: name: resursive_endcf
 495   ; GCN: bb.0:
 496   ; GCN-NEXT:   successors: %bb.1(0x80000000)
 497   ; GCN-NEXT:   liveins: $vgpr0
 498   ; GCN-NEXT: {{  $}}
 499   ; GCN-NEXT:   [[COPY:%[0-9]+]]:vgpr_32 = COPY $vgpr0
 500   ; GCN-NEXT:   [[V_CMP_LT_U32_e64_:%[0-9]+]]:sreg_64 = V_CMP_LT_U32_e64 1, [[COPY]], implicit $exec
 501   ; GCN-NEXT: {{  $}}
 502   ; GCN-NEXT: bb.1:
 503   ; GCN-NEXT:   successors: %bb.1(0x80000000)
 504   ; GCN-NEXT: {{  $}}
 505   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[V_CMP_LT_U32_e64_]], implicit-def $scc
 506   ; GCN-NEXT:   S_BRANCH %bb.1
 507   bb.0:
 508     successors: %bb.1
 509     liveins: $vgpr0
 510
 511     %0:vgpr_32 = COPY $vgpr0
 512     %2:sreg_64 = V_CMP_LT_U32_e64 1, %0, implicit $exec
 513
 514   bb.1:
 515     successors: %bb.1
 516
 517     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 518     S_BRANCH %bb.1
 519
 520 ...
 521
 522 # Both s_or_b64 shall be preserved since the outer SI_END_CF belongs to SI_ELSE.
 523
 524 ---
 525 name: simple_outer_if_else
 526 tracksRegLiveness: true
 527 machineFunctionInfo:
 528   isEntryFunction: true
 529 body:             |
 530   ; GCN-LABEL: name: simple_outer_if_else
 531   ; GCN: bb.0:
 532   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
 533   ; GCN-NEXT: {{  $}}
 534   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 535   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 536   ; GCN-NEXT:   [[S_XOR_B64_:%[0-9]+]]:sreg_64 = S_XOR_B64 [[S_AND_B64_]], [[COPY]], implicit-def dead $scc
 537   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 538   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.2, implicit $exec
 539   ; GCN-NEXT: {{  $}}
 540   ; GCN-NEXT: bb.1:
 541   ; GCN-NEXT:   successors: %bb.2(0x80000000)
 542   ; GCN-NEXT: {{  $}}
 543   ; GCN-NEXT:   S_BRANCH %bb.2
 544   ; GCN-NEXT: {{  $}}
 545   ; GCN-NEXT: bb.2:
 546   ; GCN-NEXT:   successors: %bb.3(0x40000000), %bb.6(0x40000000)
 547   ; GCN-NEXT: {{  $}}
 548   ; GCN-NEXT:   [[S_OR_SAVEEXEC_B64_:%[0-9]+]]:sreg_64 = S_OR_SAVEEXEC_B64 [[S_XOR_B64_]], implicit-def $exec, implicit-def $scc, implicit $exec
 549   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 $exec, [[S_OR_SAVEEXEC_B64_]], implicit-def $scc
 550   ; GCN-NEXT:   $exec = S_XOR_B64_term $exec, [[S_AND_B64_1]], implicit-def $scc
 551   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.6, implicit $exec
 552   ; GCN-NEXT: {{  $}}
 553   ; GCN-NEXT: bb.3:
 554   ; GCN-NEXT:   successors: %bb.3(0x40000000), %bb.4(0x40000000)
 555   ; GCN-NEXT: {{  $}}
 556   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 557   ; GCN-NEXT:   [[S_AND_B64_2:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %4:sreg_64, implicit-def dead $scc
 558   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_2]]
 559   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.3, implicit $exec
 560   ; GCN-NEXT: {{  $}}
 561   ; GCN-NEXT: bb.4:
 562   ; GCN-NEXT:   successors: %bb.5(0x80000000)
 563   ; GCN-NEXT: {{  $}}
 564   ; GCN-NEXT: {{  $}}
 565   ; GCN-NEXT: bb.5:
 566   ; GCN-NEXT:   successors: %bb.6(0x80000000)
 567   ; GCN-NEXT: {{  $}}
 568   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY1]], implicit-def $scc
 569   ; GCN-NEXT: {{  $}}
 570   ; GCN-NEXT: bb.6:
 571   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[S_AND_B64_1]], implicit-def $scc
 572   ; GCN-NEXT:   S_ENDPGM 0
 573   bb.0:
 574     successors: %bb.1, %bb.2
 575
 576     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.2, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 577
 578   bb.1:
 579     successors: %bb.2
 580     S_BRANCH %bb.2
 581
 582   bb.2:
 583     successors: %bb.3, %bb.6
 584     %2:sreg_64 = SI_ELSE %0:sreg_64, %bb.6, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 585
 586   bb.3:
 587     successors: %bb.3, %bb.4
 588
 589     %3:sreg_64 = SI_IF undef %4:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 590
 591   bb.4:
 592     successors: %bb.5
 593
 594   bb.5:
 595     successors: %bb.6
 596
 597     SI_END_CF %3:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 598
 599   bb.6:
 600     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 601     S_ENDPGM 0
 602
 603 ...
 604
 605 ---
 606 name: if_inside_loop
 607 tracksRegLiveness: true
 608 machineFunctionInfo:
 609   isEntryFunction: true
 610 body:             |
 611   ; GCN-LABEL: name: if_inside_loop
 612   ; GCN: bb.0:
 613   ; GCN-NEXT:   successors: %bb.6(0x80000000)
 614   ; GCN-NEXT: {{  $}}
 615   ; GCN-NEXT:   S_BRANCH %bb.6
 616   ; GCN-NEXT: {{  $}}
 617   ; GCN-NEXT: bb.1:
 618   ; GCN-NEXT:   successors: %bb.3(0x40000000), %bb.2(0x40000000)
 619   ; GCN-NEXT: {{  $}}
 620   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 621   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 622   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 623   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.3, implicit $exec
 624   ; GCN-NEXT: {{  $}}
 625   ; GCN-NEXT: bb.2:
 626   ; GCN-NEXT:   successors: %bb.6(0x80000000)
 627   ; GCN-NEXT: {{  $}}
 628   ; GCN-NEXT:   S_BRANCH %bb.6
 629   ; GCN-NEXT: {{  $}}
 630   ; GCN-NEXT: bb.3:
 631   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 632   ; GCN-NEXT: {{  $}}
 633   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 634   ; GCN-NEXT: {{  $}}
 635   ; GCN-NEXT: bb.4:
 636   ; GCN-NEXT:   successors: %bb.5(0x80000000)
 637   ; GCN-NEXT: {{  $}}
 638   ; GCN-NEXT:   $exec = S_OR_B64 $exec, %2, implicit-def $scc
 639   ; GCN-NEXT: {{  $}}
 640   ; GCN-NEXT: bb.5:
 641   ; GCN-NEXT:   successors: %bb.6(0x80000000)
 642   ; GCN-NEXT: {{  $}}
 643   ; GCN-NEXT: {{  $}}
 644   ; GCN-NEXT: bb.6:
 645   ; GCN-NEXT:   successors: %bb.4(0x40000000), %bb.0(0x40000000)
 646   ; GCN-NEXT: {{  $}}
 647   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 648   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
 649   ; GCN-NEXT:   [[S_XOR_B64_:%[0-9]+]]:sreg_64 = S_XOR_B64 [[S_AND_B64_1]], [[COPY1]], implicit-def dead $scc
 650   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 651   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 652   ; GCN-NEXT:   S_BRANCH %bb.0
 653   ; GCN-NEXT:   S_ENDPGM 0
 654   bb.0:
 655     S_BRANCH %bb.6
 656
 657   bb.1:
 658     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 659
 660   bb.2:
 661     S_BRANCH %bb.6
 662
 663   bb.3:
 664     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 665
 666   bb.4:
 667     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 668
 669   bb.5:
 670
 671   bb.6:
 672     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 673     S_BRANCH %bb.0
 674     S_ENDPGM 0
 675
 676 ...
 677
 678 ---
 679 # redundant MBB removal correctness test:
 680 # we can keep bb.2 fallthrough to the  new succ because after bb.3 gets removed
 681 # new succ (bb.4) becomes bb.2's layout successor
 682 name: removed_succ_fallthrough_but_layout_successor
 683 tracksRegLiveness: true
 684 machineFunctionInfo:
 685   isEntryFunction: true
 686 body:             |
 687   ; GCN-LABEL: name: removed_succ_fallthrough_but_layout_successor
 688   ; GCN: bb.0:
 689   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.4(0x40000000)
 690   ; GCN-NEXT: {{  $}}
 691   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 692   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 693   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 694   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 695   ; GCN-NEXT: {{  $}}
 696   ; GCN-NEXT: bb.1:
 697   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.4(0x40000000)
 698   ; GCN-NEXT: {{  $}}
 699   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 700   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
 701   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 702   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 703   ; GCN-NEXT: {{  $}}
 704   ; GCN-NEXT: bb.2:
 705   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 706   ; GCN-NEXT: {{  $}}
 707   ; GCN-NEXT: {{  $}}
 708   ; GCN-NEXT: bb.4:
 709   ; GCN-NEXT:   successors: %bb.5(0x80000000)
 710   ; GCN-NEXT: {{  $}}
 711   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 712   ; GCN-NEXT: {{  $}}
 713   ; GCN-NEXT: bb.5:
 714   ; GCN-NEXT:   S_ENDPGM 0
 715   bb.0:
 716     successors: %bb.1, %bb.4
 717
 718     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 719
 720   bb.1:
 721     successors: %bb.2, %bb.3
 722
 723     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 724
 725   bb.2:
 726
 727   bb.3:
 728     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 729
 730
 731   bb.4:
 732     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 733
 734   bb.5:
 735     S_ENDPGM 0
 736
 737 ...
 738
 739 ---
 740 # redundant MBB removal correctness test:
 741 # If one of the remdundant block preds has a fallthrough path, but the only redundant block succ is not
 742 # going to be a layout successor to that pred after redundant block removal, we should not rearrange
 743 # blocks to keep pred's fallthrough path, if the succ has fallthrough path to one of it's succ too.
 744
 745 name: deleted_succ_fallthrough_not_layout_successor
 746 tracksRegLiveness: true
 747 machineFunctionInfo:
 748   isEntryFunction: true
 749 body:             |
 750   ; GCN-LABEL: name: deleted_succ_fallthrough_not_layout_successor
 751   ; GCN: bb.0:
 752   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.4(0x40000000)
 753   ; GCN-NEXT: {{  $}}
 754   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 755   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], undef %1:sreg_64, implicit-def dead $scc
 756   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 757   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.4, implicit $exec
 758   ; GCN-NEXT: {{  $}}
 759   ; GCN-NEXT: bb.1:
 760   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.5(0x40000000)
 761   ; GCN-NEXT: {{  $}}
 762   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 763   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], undef %3:sreg_64, implicit-def dead $scc
 764   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 765   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.5, implicit $exec
 766   ; GCN-NEXT: {{  $}}
 767   ; GCN-NEXT: bb.2:
 768   ; GCN-NEXT:   successors: %bb.5(0x80000000)
 769   ; GCN-NEXT: {{  $}}
 770   ; GCN-NEXT:   S_BRANCH %bb.5
 771   ; GCN-NEXT: {{  $}}
 772   ; GCN-NEXT: bb.4:
 773   ; GCN-NEXT:   S_ENDPGM 0
 774   ; GCN-NEXT: {{  $}}
 775   ; GCN-NEXT: bb.5:
 776   ; GCN-NEXT:   successors: %bb.6(0x80000000)
 777   ; GCN-NEXT: {{  $}}
 778   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 779   ; GCN-NEXT: {{  $}}
 780   ; GCN-NEXT: bb.6:
 781   ; GCN-NEXT:   successors: %bb.4(0x80000000)
 782   ; GCN-NEXT: {{  $}}
 783   ; GCN-NEXT:   S_BRANCH %bb.4
 784   bb.0:
 785     successors: %bb.1, %bb.4
 786
 787     %0:sreg_64 = SI_IF undef %1:sreg_64, %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 788
 789   bb.1:
 790     successors: %bb.2, %bb.3
 791
 792     %2:sreg_64 = SI_IF undef %3:sreg_64, %bb.3, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 793
 794   bb.2:
 795
 796   bb.3:
 797     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 798     S_BRANCH %bb.5
 799
 800   bb.4:
 801     S_ENDPGM 0
 802
 803
 804   bb.5:
 805     SI_END_CF %0:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 806
 807   bb.6:
 808     S_BRANCH %bb.4
 809 ...
 810
 811 ---
 812 # While collapsing inner endcf, certain blocks ended up getting two S_BRANCH instructions.
 813 # It happens in the absence of BranchFolding (mostly at -O0) when the irregularly placed BBs are traversed
 814 # in the forward direction and the intervening block between a predecessor and its successor gets optimized
 815 # away in subsequent iterations, leaving 2 S_BRANCH instructions in the predecessor block.
 816 # The issue was fixed by iterating the blocks from bottom-up to ensure all endcf pseudos at the bottom of the
 817 # function are processed first.
 818 # This test ensures there are no multiple S_BRANCH instructions inserted in any block.
 819
 820 name: no_multiple_unconditional_branches
 821 tracksRegLiveness: true
 822 body: |
 823   ; GCN-LABEL: name: no_multiple_unconditional_branches
 824   ; GCN: bb.0:
 825   ; GCN-NEXT:   successors: %bb.1(0x40000000), %bb.14(0x40000000)
 826   ; GCN-NEXT: {{  $}}
 827   ; GCN-NEXT:   [[DEF:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
 828   ; GCN-NEXT:   [[V_CMP_EQ_U32_e64_:%[0-9]+]]:sreg_64 = V_CMP_EQ_U32_e64 0, killed [[DEF]], implicit $exec
 829   ; GCN-NEXT:   [[COPY:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 830   ; GCN-NEXT:   [[S_AND_B64_:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY]], [[V_CMP_EQ_U32_e64_]], implicit-def dead $scc
 831   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_]]
 832   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.14, implicit $exec
 833   ; GCN-NEXT:   S_BRANCH %bb.1
 834   ; GCN-NEXT: {{  $}}
 835   ; GCN-NEXT: bb.1:
 836   ; GCN-NEXT:   successors: %bb.2(0x40000000), %bb.14(0x40000000)
 837   ; GCN-NEXT: {{  $}}
 838   ; GCN-NEXT:   [[DEF1:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
 839   ; GCN-NEXT:   [[V_CMP_EQ_U32_e64_1:%[0-9]+]]:sreg_64 = V_CMP_EQ_U32_e64 0, killed [[DEF1]], implicit $exec
 840   ; GCN-NEXT:   [[COPY1:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 841   ; GCN-NEXT:   [[S_AND_B64_1:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY1]], killed [[V_CMP_EQ_U32_e64_1]], implicit-def dead $scc
 842   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_1]]
 843   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.14, implicit $exec
 844   ; GCN-NEXT:   S_BRANCH %bb.2
 845   ; GCN-NEXT: {{  $}}
 846   ; GCN-NEXT: bb.2:
 847   ; GCN-NEXT:   successors: %bb.3(0x40000000), %bb.7(0x40000000)
 848   ; GCN-NEXT: {{  $}}
 849   ; GCN-NEXT:   [[DEF2:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
 850   ; GCN-NEXT:   [[V_CMP_EQ_U32_e64_2:%[0-9]+]]:sreg_64 = V_CMP_EQ_U32_e64 0, killed [[DEF2]], implicit $exec
 851   ; GCN-NEXT:   [[COPY2:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 852   ; GCN-NEXT:   [[S_AND_B64_2:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY2]], killed [[V_CMP_EQ_U32_e64_2]], implicit-def dead $scc
 853   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_2]]
 854   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.7, implicit $exec
 855   ; GCN-NEXT:   S_BRANCH %bb.3
 856   ; GCN-NEXT: {{  $}}
 857   ; GCN-NEXT: bb.3:
 858   ; GCN-NEXT:   successors: %bb.4(0x40000000), %bb.7(0x40000000)
 859   ; GCN-NEXT: {{  $}}
 860   ; GCN-NEXT:   [[DEF3:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
 861   ; GCN-NEXT:   [[V_CMP_EQ_U32_e64_3:%[0-9]+]]:sreg_64 = V_CMP_EQ_U32_e64 0, killed [[DEF3]], implicit $exec
 862   ; GCN-NEXT:   [[COPY3:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 863   ; GCN-NEXT:   [[S_AND_B64_3:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY3]], killed [[V_CMP_EQ_U32_e64_3]], implicit-def dead $scc
 864   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_3]]
 865   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.7, implicit $exec
 866   ; GCN-NEXT:   S_BRANCH %bb.4
 867   ; GCN-NEXT: {{  $}}
 868   ; GCN-NEXT: bb.4:
 869   ; GCN-NEXT:   successors: %bb.7(0x80000000)
 870   ; GCN-NEXT: {{  $}}
 871   ; GCN-NEXT:   S_BRANCH %bb.7
 872   ; GCN-NEXT: {{  $}}
 873   ; GCN-NEXT: bb.7:
 874   ; GCN-NEXT:   successors: %bb.8(0x80000000)
 875   ; GCN-NEXT: {{  $}}
 876   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY2]], implicit-def $scc
 877   ; GCN-NEXT:   S_BRANCH %bb.8
 878   ; GCN-NEXT: {{  $}}
 879   ; GCN-NEXT: bb.8:
 880   ; GCN-NEXT:   successors: %bb.9(0x80000000)
 881   ; GCN-NEXT: {{  $}}
 882   ; GCN-NEXT:   S_BRANCH %bb.9
 883   ; GCN-NEXT: {{  $}}
 884   ; GCN-NEXT: bb.9:
 885   ; GCN-NEXT:   successors: %bb.11(0x40000000), %bb.12(0x40000000)
 886   ; GCN-NEXT: {{  $}}
 887   ; GCN-NEXT:   [[DEF4:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
 888   ; GCN-NEXT:   [[V_CMP_EQ_U32_e64_4:%[0-9]+]]:sreg_64 = V_CMP_EQ_U32_e64 0, killed [[DEF4]], implicit $exec
 889   ; GCN-NEXT:   [[COPY4:%[0-9]+]]:sreg_64 = COPY $exec, implicit-def $exec
 890   ; GCN-NEXT:   [[S_AND_B64_4:%[0-9]+]]:sreg_64 = S_AND_B64 [[COPY4]], killed [[V_CMP_EQ_U32_e64_4]], implicit-def dead $scc
 891   ; GCN-NEXT:   [[S_XOR_B64_:%[0-9]+]]:sreg_64 = S_XOR_B64 [[S_AND_B64_4]], [[COPY4]], implicit-def dead $scc
 892   ; GCN-NEXT:   $exec = S_MOV_B64_term killed [[S_AND_B64_4]]
 893   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.12, implicit $exec
 894   ; GCN-NEXT:   S_BRANCH %bb.11
 895   ; GCN-NEXT: {{  $}}
 896   ; GCN-NEXT: bb.10:
 897   ; GCN-NEXT:   successors: %bb.14(0x80000000)
 898   ; GCN-NEXT: {{  $}}
 899   ; GCN-NEXT:   S_BRANCH %bb.14
 900   ; GCN-NEXT: {{  $}}
 901   ; GCN-NEXT: bb.11:
 902   ; GCN-NEXT:   successors: %bb.12(0x80000000)
 903   ; GCN-NEXT: {{  $}}
 904   ; GCN-NEXT:   S_BRANCH %bb.12
 905   ; GCN-NEXT: {{  $}}
 906   ; GCN-NEXT: bb.12:
 907   ; GCN-NEXT:   successors: %bb.10(0x40000000), %bb.14(0x40000000)
 908   ; GCN-NEXT: {{  $}}
 909   ; GCN-NEXT:   [[S_OR_SAVEEXEC_B64_:%[0-9]+]]:sreg_64 = S_OR_SAVEEXEC_B64 [[S_XOR_B64_]], implicit-def $exec, implicit-def $scc, implicit $exec
 910   ; GCN-NEXT:   [[S_AND_B64_5:%[0-9]+]]:sreg_64 = S_AND_B64 $exec, [[S_OR_SAVEEXEC_B64_]], implicit-def $scc
 911   ; GCN-NEXT:   $exec = S_XOR_B64_term $exec, [[S_AND_B64_5]], implicit-def $scc
 912   ; GCN-NEXT:   S_CBRANCH_EXECZ %bb.14, implicit $exec
 913   ; GCN-NEXT:   S_BRANCH %bb.10
 914   ; GCN-NEXT: {{  $}}
 915   ; GCN-NEXT: bb.14:
 916   ; GCN-NEXT:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
 917   ; GCN-NEXT:   S_ENDPGM 0
 918   bb.0:
 919     successors: %bb.1, %bb.14
 920
 921     %0:vgpr_32 = IMPLICIT_DEF
 922     %1:sreg_64 = V_CMP_EQ_U32_e64 0, killed %0:vgpr_32, implicit $exec
 923     %2:sreg_64 = SI_IF %1:sreg_64, %bb.14, implicit-def $exec, implicit-def dead $scc, implicit $exec
 924     S_BRANCH %bb.1
 925
 926   bb.1:
 927     successors: %bb.2, %bb.6
 928
 929     %3:vgpr_32 = IMPLICIT_DEF
 930     %4:sreg_64 = V_CMP_EQ_U32_e64 0, killed %3:vgpr_32, implicit $exec
 931     %5:sreg_64 = SI_IF killed %4:sreg_64, %bb.6, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 932     S_BRANCH %bb.2
 933
 934   bb.2:
 935     successors: %bb.3, %bb.7
 936
 937     %6:vgpr_32 = IMPLICIT_DEF
 938     %7:sreg_64 = V_CMP_EQ_U32_e64 0, killed %6:vgpr_32, implicit $exec
 939     %8:sreg_64 = SI_IF killed %7:sreg_64, %bb.7, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 940     S_BRANCH %bb.3
 941
 942   bb.3:
 943     successors: %bb.4, %bb.5
 944
 945     %9:vgpr_32 = IMPLICIT_DEF
 946     %10:sreg_64 = V_CMP_EQ_U32_e64 0, killed %9:vgpr_32, implicit $exec
 947     %11:sreg_64 = SI_IF killed %10:sreg_64, %bb.5, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 948     S_BRANCH %bb.4
 949
 950   bb.4:
 951     successors: %bb.5
 952
 953     S_BRANCH %bb.5
 954
 955   bb.5:
 956     successors: %bb.7
 957
 958     SI_END_CF %11:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 959     S_BRANCH %bb.7
 960
 961   bb.6:
 962     successors: %bb.14
 963
 964     SI_END_CF %5:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 965     S_BRANCH %bb.14
 966
 967   bb.7:
 968     successors: %bb.8
 969
 970     SI_END_CF %8:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 971     S_BRANCH %bb.8
 972
 973   bb.8:
 974     successors: %bb.9
 975
 976     S_BRANCH %bb.9
 977
 978   bb.9:
 979     successors: %bb.11, %bb.12
 980
 981     %12:vgpr_32 = IMPLICIT_DEF
 982     %13:sreg_64 = V_CMP_EQ_U32_e64 0, killed %12:vgpr_32, implicit $exec
 983     %14:sreg_64 = SI_IF killed %13:sreg_64, %bb.12, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
 984     S_BRANCH %bb.11
 985
 986   bb.10:
 987     successors: %bb.13
 988
 989     S_BRANCH %bb.13
 990
 991   bb.11:
 992     successors: %bb.12
 993
 994     S_BRANCH %bb.12
 995
 996   bb.12:
 997     successors: %bb.10, %bb.13
 998
 999     %15:sreg_64 = SI_ELSE %14:sreg_64, %bb.13, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
1000     S_BRANCH %bb.10
1001
1002   bb.13:
1003     successors: %bb.6
1004
1005     SI_END_CF %15:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
1006     S_BRANCH %bb.6
1007
1008   bb.14:
1009
1010     SI_END_CF %2:sreg_64, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
1011     S_ENDPGM 0
1012
1013 ...