llvm/test/MachineVerifier/verifier-ec-subreg-liveness.mir

   1 # RUN: llc -mtriple amdgcn-amd-amdhsa -run-pass=liveintervals,pipeliner -verify-machineinstrs -o - %s | FileCheck %s
   2 # REQUIRES: amdgpu-registered-target
   3
   4 # This test checks that the verifier doesn't crash on early clobbered subreg arguments.
   5
   6 ---
   7 name:            sub0
   8 tracksRegLiveness: true
   9 body:             |
  10   bb.0:
  11     liveins: $vgpr0_vgpr1
  12
  13     ; CHECK-NOT: *** Bad machine code: Inconsistent valno->def ***
  14     INLINEASM &"", 0 /* attdialect */,  1835019 /* regdef-ec:VGPR_32 */, def undef early-clobber %0.sub0:vreg_64, 1835018 /* regdef:VGPR_32 */, def undef %0.sub1:vreg_64
  15     FLAT_STORE_DWORDX2 $vgpr0_vgpr1, %0, 0, 0, implicit $exec, implicit $flat_scr :: (store (s64))
  16     S_ENDPGM 0
  17
  18 ...
  19 ---
  20 name:            sub1
  21 tracksRegLiveness: true
  22 body:             |
  23   bb.0:
  24     liveins: $vgpr0_vgpr1
  25
  26     ; CHECK-NOT: *** Bad machine code: Inconsistent valno->def ***
  27     INLINEASM &"", 0 /* attdialect */, 1835018 /* regdef:VGPR_32 */, def undef %0.sub0:vreg_64, 1835019 /* regdef-ec:VGPR_32 */, def undef early-clobber %0.sub1:vreg_64
  28     FLAT_STORE_DWORDX2 $vgpr0_vgpr1, %0, 0, 0, implicit $exec, implicit $flat_scr :: (store (s64))
  29     S_ENDPGM 0
  30
  31 ...