From 47ce22ee86ad9fb329585e7d9ae2052772248c95 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Mon, 11 Aug 2025 16:23:42 +0200
Subject: IrJmpc

---
 il.sig | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'il.sig')

diff --git a/il.sig b/il.sig
index 4705c1b..4c9e3a6 100644
--- a/il.sig
+++ b/il.sig
@@ -43,6 +43,7 @@ signature IL = sig
     | IrLoad of vreg * vreg * accessClass (* %1 <- [%2] *)
     | IrStore of vreg * vreg * accessClass (* [%1] <- %2 *)
 
+    | IrJmpc of cmpOp * vreg * vreg * label
     | IrJz of vreg * label
     | IrJnz of vreg * label
     | IrJmp of label
@@ -73,6 +74,9 @@ signature IL = sig
 
   val Pwc: (vregClass, word, 'a, 'b, 'c) a2printer
   val Pac: (accessClass, 'a, 'b, 'c) a1printer
+  val Pl: (label, 'a, 'b, 'c) a1printer
+
+  val wrapTo8: word -> word
 
   datatype funcInfo = Fi of {
     name: int,
-- 
cgit v1.2.3