From 4fc6339f04958150c538bf97bf721f58e0084ffb Mon Sep 17 00:00:00 2001
From: lemon <lsof@mailbox.org>
Date: Thu, 23 Oct 2025 19:30:45 +0200
Subject: ir bugfixes

---
 ir/cfg.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'ir/cfg.c')

diff --git a/ir/cfg.c b/ir/cfg.c
index d9aa409..df428d1 100644
--- a/ir/cfg.c
+++ b/ir/cfg.c
@@ -24,8 +24,11 @@ sortrpo(struct function *fn)
    fn->entry->id = 0;
    porec(&rpo, fn->entry);
    ndead = rpo - rpobuf;
-   for (struct block *blk = fn->entry; ndead > 0; blk = blk->lnext) {
+   for (struct block *blk = fn->entry->lprev, *next; ndead > 0; blk = next) {
+      next = blk->lprev;
       if (!wasvisited(blk)) {
+         for (int i = 0; i < blk->npred; ++i)
+            assert(!wasvisited(blkpred(blk, i)));
          blk->lnext = blk->lprev = NULL;
          freeblk(fn, blk);
          --ndead;
-- 
cgit v1.2.3