AlexIndustrial/mesa
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

agx: speed-up dce

Browse Source 
Follows aco changes, there shouldn't be any loop header phis that are
dead code (as nir_opt_dce ensure that)

Signed-off-by: Mary Guillemard <mary@mary.zone>
Signed-off-by: Alyssa Rosenzweig <alyssa@rosenzweig.io>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/29179>
This commit is contained in:
Mary Guillemard
2024-05-08 13:26:13 +02:00
committed by Marge Bot
parent 5b03e7bab3
commit 1c8aab388c
1 changed files with 23 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
src/asahi/compiler/agx_dce.c
View File

@@ -5,24 +5,30 @@
#include "agx_compiler.h"
/* SSA-based scalar dead code elimination */
/**
* SSA-based scalar dead code elimination.
* This pass assumes that no loop header phis are dead.
*/
void
agx_dce(agx_context *ctx, bool partial)
{
bool progress;
do {
progress = false;
BITSET_WORD *seen = calloc(BITSET_WORDS(ctx->alloc), sizeof(BITSET_WORD));
BITSET_WORD *seen = calloc(BITSET_WORDS(ctx->alloc), sizeof(BITSET_WORD));
agx_foreach_instr_global(ctx, I) {
agx_foreach_ssa_src(I, s) {
BITSET_SET(seen, I->src[s].value);
agx_foreach_block(ctx, block) {
if (block->loop_header) {
agx_foreach_phi_in_block(block, I) {
agx_foreach_ssa_src(I, s) {
BITSET_SET(seen, I->src[s].value);
}
}
}
}
agx_foreach_block_rev(ctx, block) {
agx_foreach_instr_in_block_safe_rev(block, I) {
if (block->loop_header && I->op == AGX_OPCODE_PHI)
break;
agx_foreach_instr_global_safe_rev(ctx, I) {
bool needed = false;
agx_foreach_ssa_dest(I, d) {
@@ -35,16 +41,18 @@ agx_dce(agx_context *ctx, bool partial)
needed = true;
} else if (partial) {
I->dest[d] = agx_null();
progress = true;
}
}
if (!needed && agx_opcodes_info[I->op].can_eliminate) {
agx_remove_instruction(I);
progress = true;
} else {
agx_foreach_ssa_src(I, s) {
BITSET_SET(seen, I->src[s].value);
}
}
}
}
free(seen);
} while (progress);
free(seen);
}