x86 instruction selection for some IR ops

1 files changed, 3 insertions, 1 deletions

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,