From 89cbdbe9e4cb6f142154292cac462e2d130d912a Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sat, 9 Aug 2025 20:10:47 +0200 Subject: x86 instruction selection for some IR ops --- il.sig | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'il.sig') diff --git a/il.sig b/il.sig index 5f4c56d..2450011 100644 --- a/il.sig +++ b/il.sig @@ -53,7 +53,7 @@ signature IL = sig | IrJmp of label | IrRet of vreg option - | IrAlloc of vreg * word + | IrAlloc of vreg * word * int option | IrCopy of vreg * label * word | IrFcall of vreg * vreg * vreg list @@ -75,6 +75,8 @@ signature IL = sig t: regType } + val Pwc: (vregClass, word, 'a, 'b, 'c) a2printer + datatype funcInfo = Fi of { name: int, paramNum: int, -- cgit v1.2.3