From: Matt Arsenault Date: Fri, 7 Jun 2019 00:14:55 +0000 (+0000) Subject: AMDGPU: Don't count mask branch pseudo towards skip threshold X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=64267da8c68e9fa5d62eaa59b318755b20a213f9;p=llvm AMDGPU: Don't count mask branch pseudo towards skip threshold git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@362761 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Target/AMDGPU/SIInsertSkips.cpp b/lib/Target/AMDGPU/SIInsertSkips.cpp index 507c686e1cf..759e28e431f 100644 --- a/lib/Target/AMDGPU/SIInsertSkips.cpp +++ b/lib/Target/AMDGPU/SIInsertSkips.cpp @@ -92,15 +92,13 @@ INITIALIZE_PASS(SIInsertSkips, DEBUG_TYPE, char &llvm::SIInsertSkipsPassID = SIInsertSkips::ID; -static bool opcodeEmitsNoInsts(unsigned Opc) { - switch (Opc) { - case TargetOpcode::IMPLICIT_DEF: - case TargetOpcode::KILL: - case TargetOpcode::BUNDLE: - case TargetOpcode::CFI_INSTRUCTION: - case TargetOpcode::EH_LABEL: - case TargetOpcode::GC_LABEL: - case TargetOpcode::DBG_VALUE: +static bool opcodeEmitsNoInsts(const MachineInstr &MI) { + if (MI.isMetaInstruction()) + return true; + + // Handle target specific opcodes. + switch (MI.getOpcode()) { + case AMDGPU::SI_MASK_BRANCH: return true; default: return false; @@ -118,7 +116,7 @@ bool SIInsertSkips::shouldSkip(const MachineBasicBlock &From, for (MachineBasicBlock::const_iterator I = MBB.begin(), E = MBB.end(); NumInstr < SkipThreshold && I != E; ++I) { - if (opcodeEmitsNoInsts(I->getOpcode())) + if (opcodeEmitsNoInsts(*I)) continue; // FIXME: Since this is required for correctness, this should be inserted diff --git a/test/CodeGen/AMDGPU/insert-skips-ignored-insts.mir b/test/CodeGen/AMDGPU/insert-skips-ignored-insts.mir new file mode 100644 index 00000000000..7da59df5d80 --- /dev/null +++ b/test/CodeGen/AMDGPU/insert-skips-ignored-insts.mir @@ -0,0 +1,54 @@ +# RUN: llc -mtriple=amdgcn-amd-amdhsa -run-pass si-insert-skips -amdgpu-skip-threshold=2 %s -o - | FileCheck %s + +--- + +# CHECK-LABEL: name: no_count_mask_branch_pseudo +# CHECK: $vgpr1 = V_MOV_B32_e32 7, implicit $exec +# CHECK-NEXT: SI_MASK_BRANCH +# CHECK-NOT: S_CBRANCH_EXECZ +name: no_count_mask_branch_pseudo +body: | + bb.0: + successors: %bb.1 + + $vgpr1 = V_MOV_B32_e32 7, implicit $exec + SI_MASK_BRANCH %bb.2, implicit $exec + + bb.1: + successors: %bb.2 + $vgpr0 = V_MOV_B32_e32 0, implicit $exec + SI_MASK_BRANCH %bb.3, implicit $exec + + bb.2: + $vgpr0 = V_MOV_B32_e32 1, implicit $exec + + bb.3: + S_ENDPGM 0 +... + +--- + +# CHECK-LABEL: name: no_count_dbg_value +# CHECK: $vgpr1 = V_MOV_B32_e32 7, implicit $exec +# CHECK-NEXT: SI_MASK_BRANCH +# CHECK-NOT: S_CBRANCH_EXECZ +name: no_count_dbg_value +body: | + bb.0: + successors: %bb.1 + + $vgpr1 = V_MOV_B32_e32 7, implicit $exec + SI_MASK_BRANCH %bb.2, implicit $exec + + bb.1: + successors: %bb.2 + $vgpr0 = V_MOV_B32_e32 0, implicit $exec + DBG_VALUE + + bb.2: + $vgpr0 = V_MOV_B32_e32 1, implicit $exec + + bb.3: + S_ENDPGM 0 +... +