llvm/test/CodeGen/AMDGPU/branch-folder-requires-no-phis.mir

   1 # REQUIRES: asserts
   2 # RUN: not --crash llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx900 -run-pass=branch-folder -o /dev/null %s 2>&1 | FileCheck %s
   3
   4 # BranchFolding breaks this function due to phis
   5
   6 # CHECK: MachineFunctionProperties required by Control Flow Optimizer pass are not met by function func.
   7 # CHECK-NEXT: Required properties: NoPHIs
   8 # CHECK-NEXT: Current properties: IsSSA, TracksLiveness{{$}}
   9 ---
  10 name:            func
  11 tracksRegLiveness: true
  12 body:             |
  13   bb.0:
  14     liveins: $vgpr0, $sgpr4_sgpr5, $sgpr6_sgpr7, $sgpr8_sgpr9, $sgpr10_sgpr11, $sgpr14, $sgpr15, $sgpr16
  15
  16     %0:sreg_32_xm0_xexec = IMPLICIT_DEF
  17     %1:sreg_64 = IMPLICIT_DEF
  18
  19   bb.1:
  20     S_CBRANCH_EXECZ %bb.3, implicit $exec
  21     S_BRANCH %bb.2
  22
  23   bb.2:
  24     %3:sreg_64 = IMPLICIT_DEF
  25     S_BRANCH %bb.4
  26
  27   bb.3:
  28     %4:sreg_64 = PHI undef %1, %bb.1, undef %3, %bb.4
  29     S_CBRANCH_EXECNZ %bb.5, implicit $exec
  30
  31   bb.4:
  32     S_BRANCH %bb.3
  33
  34   bb.5:
  35
  36 ...