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
13name: waitcnt-no-redundant
14body: |
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
34name: waitcnt-no-war-wait
35body: |
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, 0, implicit $exec :: (dereferenceable store (s32) into custom "BufferResource", align 1, addrspace 4)
39
40...
41