aco: don't always add logical edges from continue_break blocks to headers
Otherwise, code like this will be broken:
loop {
if (...) {
break;
} else {
break;
}
}
The continue_or_break block doesn't have any logical predecessors but it's
a logical predecessor of the header block. This liveness error breaks the
spiller in init_live_in_vars() (under "keep variables spilled on all
incoming paths") and eventually creates garbage reloads.
Fixes: 93c8ebfa
('aco: Initial commit of independent AMD compiler')
Signed-off-by: Rhys Perry <pendingchaos02@gmail.com>
Reviewed-by: Daniel Schürmann <daniel@schuermann.dev>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3257>
This commit is contained in:
parent
dba71de5c6
commit
d282a292ec
|
@ -7998,7 +7998,8 @@ static void visit_loop(isel_context *ctx, nir_loop *loop)
|
|||
add_linear_edge(block_idx, continue_block);
|
||||
add_linear_edge(continue_block->index, &ctx->program->blocks[loop_header_idx]);
|
||||
|
||||
add_logical_edge(block_idx, &ctx->program->blocks[loop_header_idx]);
|
||||
if (!ctx->cf_info.parent_loop.has_divergent_branch)
|
||||
add_logical_edge(block_idx, &ctx->program->blocks[loop_header_idx]);
|
||||
ctx->block = &ctx->program->blocks[block_idx];
|
||||
} else {
|
||||
ctx->block->kind |= (block_kind_continue | block_kind_uniform);
|
||||
|
|
Loading…
Reference in New Issue