diff options
| author | 2025-11-21 17:07:28 +0100 | |
|---|---|---|
| committer | 2025-11-21 17:35:55 +0100 | |
| commit | 87f9753fb776a1fa6e59baef759e4687fb9a1ac7 (patch) | |
| tree | 192e36f06ac1bda63c3dceced36cb9c8562ca713 /ir/optmem.c | |
| parent | 821adf9e5c962c97e46f3a215c876bc10916e302 (diff) | |
ir: barebones IR passes checked contracts
Diffstat (limited to 'ir/optmem.c')
| -rw-r--r-- | ir/optmem.c | 3 |
1 files changed, 2 insertions, 1 deletions
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]; |