diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-11 16:23:42 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-11 16:23:42 +0200 |
| commit | 47ce22ee86ad9fb329585e7d9ae2052772248c95 (patch) | |
| tree | db983bdf1f48338f87603249db4b93fa5d846653 /il.sig | |
| parent | 69cf1be454c7caae026107e645c5343365b1be19 (diff) | |
IrJmpc
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, |