diff options
Diffstat (limited to 'il.sig')
| -rw-r--r-- | il.sig | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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, |