mesa/src/amd/compiler/aco_dead_code_analysis.cpp
Daniel Schürmann dce695b24f aco: refactor and speed-up dead code analysis
Assuming that no loop header phis are dead code,
we can perform the dead code analysis in a single iteration.

Totals from 25 (0.03% of 79330) affected shaders: (GFX11)

MaxWaves: 664 -> 662 (-0.30%)
Instrs: 487618 -> 488822 (+0.25%)
CodeSize: 2451548 -> 2459756 (+0.33%)
VGPRs: 1296 -> 1332 (+2.78%)
Latency: 2337256 -> 2338098 (+0.04%); split: -0.00%, +0.04%
InvThroughput: 560682 -> 576158 (+2.76%)
VClause: 15782 -> 15790 (+0.05%)
Copies: 37905 -> 38731 (+2.18%)
PreVGPRs: 1124 -> 1156 (+2.85%)
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/26901>
2024-01-08 09:43:53 +00:00

88 lines
2.6 KiB
C++

/*
* Copyright © 2019 Valve Corporation
*
* Permission is hereby granted, free of charge, to any person obtaining a
* copy of this software and associated documentation files (the "Software"),
* to deal in the Software without restriction, including without limitation
* the rights to use, copy, modify, merge, publish, distribute, sublicense,
* and/or sell copies of the Software, and to permit persons to whom the
* Software is furnished to do so, subject to the following conditions:
*
* The above copyright notice and this permission notice (including the next
* paragraph) shall be included in all copies or substantial portions of the
* Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
* IN THE SOFTWARE.
*
*/
#include "aco_ir.h"
#include <algorithm>
#include <vector>
/*
* Implements an analysis pass to determine the number of uses
* for each SSA-definition.
*
* This pass assumes that no loop header phis are dead code.
*/
namespace aco {
namespace {
void
process_loop_header_phis(std::vector<uint16_t>& uses, Block& block)
{
for (aco_ptr<Instruction>& instr : block.instructions) {
if (!is_phi(instr))
return;
for (const Operand& op : instr->operands) {
if (op.isTemp())
uses[op.tempId()]++;
}
}
}
void
process_block(std::vector<uint16_t>& uses, Block& block)
{
for (auto it = block.instructions.rbegin(); it != block.instructions.rend(); it++) {
aco_ptr<Instruction>& instr = *it;
if ((block.kind & block_kind_loop_header) && is_phi(instr))
break;
if (!is_dead(uses, instr.get())) {
for (const Operand& op : instr->operands) {
if (op.isTemp())
uses[op.tempId()]++;
}
}
}
}
} /* end namespace */
std::vector<uint16_t>
dead_code_analysis(Program* program)
{
std::vector<uint16_t> uses(program->peekAllocationId());
for (Block& block : program->blocks) {
if (block.kind & block_kind_loop_header)
process_loop_header_phis(uses, block);
}
for (auto it = program->blocks.rbegin(); it != program->blocks.rend(); it++)
process_block(uses, *it);
return uses;
}
} // namespace aco