llvm/test/MachineVerifier/register-killed-inside-loop.mir

   1 # FIXME: This should fail the verifier
   2 # XFAIL: *
   3 # REQUIRES: amdgpu-registered-target
   4 # RUN: not --crash llc -o - -mtriple=amdgcn-amd-amdhsa -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
   5
   6 # %1 is live out of %bb.1 through the loop edge, and therefore the kill flag is invalid.
   7
   8 # CHECK: *** Bad machine code: Virtual register killed in block, but needed live out. ***
   9
  10 ---
  11 name:            kill_flag_in_loop
  12 body:             |
  13   bb.0:
  14     liveins: $sgpr0, $vgpr0_vgpr1
  15     successors: %bb.1(0x80000000)
  16
  17     %0:sreg_32 = COPY $sgpr0
  18     %1:sreg_32 = S_AND_B32 1, killed %0, implicit-def dead $scc
  19
  20   bb.1:
  21     successors: %bb.2(0x40000000), %bb.1(0x40000000)
  22
  23     S_CMP_EQ_I32 killed %1:sreg_32, 1, implicit-def $scc
  24     S_CBRANCH_SCC0 %bb.2, implicit $scc
  25     S_BRANCH %bb.1
  26
  27   bb.2:
  28     successors: %bb.3(0x80000000)
  29
  30   bb.3:
  31     S_ENDPGM 0
  32
  33 ...