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/optmem.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ir/optmem.c')

diff --git a/ir/optmem.c b/ir/optmem.c
index d28ea53..3f5852b 100644
--- a/ir/optmem.c
+++ b/ir/optmem.c
@@ -225,7 +225,6 @@ cmpuse(const void *a, const void *b)
    return blkfindins(blk, ua->u) - blkfindins(blk, ub->u);
 }
 
-/* require use, blkid; keeps use */
 void
 mem2reg(struct function *fn)
 {
@@ -233,6 +232,8 @@ mem2reg(struct function *fn)
    struct ssabuilder sb = { .nblk = fn->nblk };
    struct block *blk;
 
+   FREQUIRE(FNUSE);
+
    if (fn->nblk <= 64 * arraylength(bsbuf[0])) {
       sb.sealed = bsbuf[0];
       sb.marked = bsbuf[1];
-- 
cgit v1.2.3