danog/ir
1
0
Fork 0
mirror of https://github.com/danog/ir.git synced 2025-01-21 13:11:16 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed support for fake contol edges between END and ENTRY

Browse Source
This commit is contained in:
Dmitry Stogov 2023-08-01 13:07:49 +03:00
parent 1d49fe6cc4
commit 9df73782ed
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
ir_dump.c
View File

@ -670,8 +670,19 @@ void ir_dump_codegen(const ir_ctx *ctx, FILE *f)
if (insn->op == IR_END || insn->op == IR_LOOP_END) {
uint32_t succ;
IR_ASSERT(bb->successors_count == 1);
succ = ctx->cfg_edges[bb->successors];
if (bb->successors_count == 1) {
succ = ctx->cfg_edges[bb->successors];
} else {
/* END may have a fake control edge to ENTRY */
IR_ASSERT(bb->successors_count == 2);
succ = ctx->cfg_edges[bb->successors];
if (ctx->ir_base[ctx->cfg_blocks[succ].start].op == IR_ENTRY) {
succ = ctx->cfg_edges[bb->successors + 1];
} else {
uint32_t fake_succ = ctx->cfg_edges[bb->successors + 1];
IR_ASSERT(ctx->ir_base[ctx->cfg_blocks[fake_succ].start].op == IR_ENTRY);
}
}
if (succ != b + 1) {
fprintf(f, "\t# GOTO BB%d\n", succ);
}