40 lines · plain
1# RUN: llc -mtriple=amdgcn -verify-machineinstrs -run-pass si-insert-waitcnts -o - %s | FileCheck %s2 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 39525 6...7# CHECK-LABEL: name: waitcnt-no-redundant8# CHECK: FLAT_ATOMIC_CMPSWAP9# CHECK-NEXT: S_WAITCNT 395210# CHECK-NEXT: BUFFER_WBINVL111 12name: waitcnt-no-redundant13body: |14 bb.0:15 renamable $vgpr0 = V_MOV_B32_e32 0, implicit $exec16 17 bb.1:18 S_WAITCNT 395219 FLAT_ATOMIC_CMPSWAP undef renamable $vgpr0_vgpr1, renamable $vgpr0_vgpr1, 0, 0, implicit $exec, implicit $flat_scr20 S_WAITCNT 395221 BUFFER_WBINVL1 implicit $exec22 S_BRANCH %bb.123 24...25 26# Check that the waitcnt pass does *not* insert a waitcnt inst after S_BUFFER_LOAD.27# WAR hazard does not apply here, because S_BUFFER_LOAD accesses invariant memory.28...29# CHECK-LABEL: name: waitcnt-no-war-wait30# CHECK: S_WAITCNT 031# CHECK-NEXT: S_BUFFER_LOAD_DWORD_IMM32# CHECK-NEXT: TBUFFER_STORE_FORMAT_X_OFFEN_exact33name: waitcnt-no-war-wait34body: |35 bb.0:36 renamable $sgpr8 = S_BUFFER_LOAD_DWORD_IMM renamable $sgpr0_sgpr1_sgpr2_sgpr3, 276, 0 :: (dereferenceable invariant load (s32))37 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)38 39...40