llvm/test/CodeGen/AMDGPU/verify-constant-bus-violations.mir

   1 # RUN: not --crash llc -march=amdgcn -mcpu=gfx900 -run-pass machineverifier -o /dev/null %s 2>&1 | FileCheck -implicit-check-not="Bad machine code" -check-prefix=GFX9-ERR %s
   2 # RUN: not --crash llc -march=amdgcn -mcpu=gfx1010 -mattr=-wavefrontsize32,+wavefrontsize64 -run-pass machineverifier -o /dev/null %s 2>&1 | FileCheck -implicit-check-not="Bad machine code" -check-prefix=GFX10PLUS-ERR %s
   3 # RUN: not --crash llc -march=amdgcn -mcpu=gfx1100 -mattr=-wavefrontsize32,+wavefrontsize64 -run-pass machineverifier -o /dev/null %s 2>&1 | FileCheck -implicit-check-not="Bad machine code" -check-prefix=GFX10PLUS-ERR %s
   4
   5 # GFX9-ERR: *** Bad machine code: VOP* instruction violates constant bus restriction ***
   6 # GFX9-ERR: $vgpr0 = V_CNDMASK_B32_e64 0, $sgpr0, 0, -1, killed $sgpr0_sgpr1, implicit $exec
   7 # GFX9-ERR: *** Bad machine code: VOP* instruction violates constant bus restriction ***
   8 # GFX9-ERR: $vgpr0 = V_FMAAK_F32 $sgpr2, $vgpr0, 1077936128, implicit $mode, implicit $exec
   9 ---
  10 name:           sgpr_reuse_2sgpr
  11 liveins:
  12   - { reg: '$sgpr0_sgpr1', virtual-reg: '' }
  13 body:            |
  14   bb.0:
  15     liveins: $sgpr0_sgpr1, $sgpr2
  16     $vgpr0 = V_CNDMASK_B32_e64 0, $sgpr0, 0, -1, killed $sgpr0_sgpr1, implicit $exec
  17     $vgpr0 = V_FMAAK_F32 $sgpr2, $vgpr0, 1077936128, implicit $mode, implicit $exec
  18 ...
  19
  20 # GFX10PLUS-ERR: *** Bad machine code: VOP* instruction violates constant bus restriction ***
  21 # GFX10PLUS-ERR: $vgpr0 = V_CNDMASK_B32_e64 0, $sgpr0, 0, $sgpr2, killed $sgpr0_sgpr1, implicit $exec
  22 # GFX10PLUS-ERR: *** Bad machine code: VOP2/VOP3 instruction uses more than one literal ***
  23 # GFX10PLUS-ERR: $vgpr0 = V_FMAAK_F32 1077936128, $vgpr0, 0, implicit $mode, implicit $exec
  24 ---
  25 name:           sgpr_reuse_3sgpr
  26 liveins:
  27   - { reg: '$sgpr0_sgpr1', virtual-reg: '' }
  28   - { reg: '$sgpr2', virtual-reg: '' }
  29 body:            |
  30   bb.0:
  31     liveins: $sgpr0_sgpr1, $sgpr2
  32     $vgpr0 = V_CNDMASK_B32_e64 0, $sgpr0, 0, $sgpr2, killed $sgpr0_sgpr1, implicit $exec
  33     $vgpr0 = V_FMAAK_F32 1077936128, $vgpr0, 0, implicit $mode, implicit $exec
  34     $vgpr0 = V_FMAAK_F32 $sgpr2, $vgpr0, 1077936128, implicit $mode, implicit $exec
  35 ...