From 87f9753fb776a1fa6e59baef759e4687fb9a1ac7 Mon Sep 17 00:00:00 2001
From: lemon <lsof@mailbox.org>
Date: Fri, 21 Nov 2025 17:07:28 +0100
Subject: ir: barebones IR passes checked contracts

---
 ir/cfg.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'ir/cfg.c')

diff --git a/ir/cfg.c b/ir/cfg.c
index e79dc63..758fa4e 100644
--- a/ir/cfg.c
+++ b/ir/cfg.c
@@ -10,6 +10,7 @@ porec(struct block ***rpo, struct block *b)
    *--*rpo = b;
 }
 
+/* also blkid */
 void
 sortrpo(struct function *fn)
 {
@@ -47,6 +48,8 @@ sortrpo(struct function *fn)
    }
    fn->entry->lprev = rpo[-1];
    rpo[-1]->lnext = fn->entry;
+
+   fn->prop |= FNBLKID | FNRPO;
 }
 
 /* vim:set ts=3 sw=3 expandtab: */
-- 
cgit v1.2.3