llvm/test/tools/llvm-reduce/mir/instr-reduce-dead-def.mir

   1 # REQUIRES: amdgpu-registered-target
   2 # RUN: llvm-reduce -abort-on-invalid-reduction -simplify-mir --delta-passes=instructions -mtriple=amdgcn-amd-amdhsa --test FileCheck --test-arg --check-prefix=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t 2> %t.log
   3 # RUN: FileCheck --check-prefix=RESULT %s < %t
   4
   5 # CHECK-INTERESTINGNESS-LABEL: name: dead_def
   6 # CHECK-INTERESTINGNESS: S_ENDPGM
   7
   8 # Make sure no IMPLICIT_DEF is introduced for dead operands.
   9 # RESULT: bb.0
  10 # RESULT-NEXT: S_ENDPGM
  11
  12 ---
  13 name: dead_def
  14 tracksRegLiveness: true
  15 body:             |
  16   bb.0:
  17     S_WAITCNT 0
  18     dead %0:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
  19     S_ENDPGM 0
  20 ...
  21
  22 # CHECK-INTERESTINGNESS-LABEL: name: prev_def_rc_is_dead
  23 # CHECK-INTERESTINGNESS: V_MOV_B32_e32
  24 # CHECK-INTERESTINGNESS: V_MOV_B32_e32
  25 # CHECK-INTERESTINGNESS: V_MOV_B32_e32
  26
  27 # RESULT: %0:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
  28 # RESULT-NEXT: dead %1:vgpr_32 = V_MOV_B32_e32 %0, implicit $exec
  29 # RESULT-NEXT: %2:vgpr_32 = V_MOV_B32_e32 %0, implicit $exec
  30 ---
  31 name: prev_def_rc_is_dead
  32 tracksRegLiveness: true
  33 body:             |
  34   bb.0:
  35     S_WAITCNT 0
  36     %0:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
  37     dead %1:vgpr_32 = V_MOV_B32_e32 %0, implicit $exec
  38     %2:vgpr_32 = V_MOV_B32_e32 %0, implicit $exec
  39     S_ENDPGM 0, implicit %2
  40 ...