llvm/test/CodeGen/AMDGPU/waitcnt-no-redundant.mir

   1 # RUN: llc -mtriple=amdgcn -verify-machineinstrs -run-pass si-insert-waitcnts -o - %s | FileCheck %s
   2
   3 # Check that the waitcnt pass does *not* insert a redundant waitcnt instr.
   4 # In this testcase, ensure that pass does not insert redundant S_WAITCNT 3952
   5
   6 ...
   7 # CHECK-LABEL: name: waitcnt-no-redundant
   8 # CHECK: S_WAITCNT 3952
   9 # CHECK-NEXT: FLAT_ATOMIC_CMPSWAP
  10 # CHECK-NEXT: S_WAITCNT 3952
  11 # CHECK-NEXT: BUFFER_WBINVL1
  12
  13 name: waitcnt-no-redundant
  14 body: |
  15   bb.0:
  16     renamable $vgpr0 = V_MOV_B32_e32 0, implicit $exec
  17
  18   bb.1:
  19     S_WAITCNT 3952
  20     FLAT_ATOMIC_CMPSWAP undef renamable $vgpr0_vgpr1, renamable $vgpr0_vgpr1, 0, 0, implicit $exec, implicit $flat_scr
  21     S_WAITCNT 3952
  22     BUFFER_WBINVL1 implicit $exec
  23     S_BRANCH %bb.1
  24
  25 ...
  26
  27 # Check that the waitcnt pass does *not* insert a waitcnt inst after S_BUFFER_LOAD.
  28 # WAR hazard does not apply here, because S_BUFFER_LOAD accesses invariant memory.
  29 ...
  30 # CHECK-LABEL: name: waitcnt-no-war-wait
  31 # CHECK: S_WAITCNT 0
  32 # CHECK-NEXT: S_BUFFER_LOAD_DWORD_IMM
  33 # CHECK-NEXT: TBUFFER_STORE_FORMAT_X_OFFEN_exact
  34 name: waitcnt-no-war-wait
  35 body: |
  36   bb.0:
  37     renamable $sgpr8 = S_BUFFER_LOAD_DWORD_IMM renamable $sgpr0_sgpr1_sgpr2_sgpr3, 276, 0 :: (dereferenceable invariant load (s32))
  38     TBUFFER_STORE_FORMAT_X_OFFEN_exact killed renamable $vgpr0, renamable $vgpr15, renamable $sgpr4_sgpr5_sgpr6_sgpr7, renamable $sgpr9, 0, 116, 1, 0, implicit $exec :: (dereferenceable store (s32), align 1, addrspace 7)
  39
  40 ...