summaryrefslogtreecommitdiff
path: root/il.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-08 19:07:58 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-08 19:07:58 +0200
commita417225089fd78d53d73ad63cd79f57d1a4a8ff1 (patch)
treed9da68b0414fdaf08ddccbae20bd0e2977cdca25 /il.sig
parentb0cb85edf2b60f6f0909355db717376f435ab312 (diff)
Register allocation
Diffstat (limited to 'il.sig')
-rw-r--r--il.sig3
1 files changed, 2 insertions, 1 deletions
diff --git a/il.sig b/il.sig
index 745f72f..5f4c56d 100644
--- a/il.sig
+++ b/il.sig
@@ -77,9 +77,10 @@ signature IL = sig
datatype funcInfo = Fi of {
name: int,
+ paramNum: int,
localBound: int,
vregs: regInfo D.t,
- ops: (irIns option) D.t,
+ ops: (irIns option * (label * label) option) D.t,
labels: int option D.t
}