diff options
Diffstat (limited to 'linker.sml')
| -rw-r--r-- | linker.sml | 17 |
1 files changed, 16 insertions, 1 deletions
@@ -47,7 +47,6 @@ struct fun writeValue w (Syntax.VVar v) = writeVar w v | writeValue w (Syntax.VLabel l) = writeInt w (getOpt (IntMap.lookup l m, 0)) | writeValue w (Syntax.VInt i) = writeInt w i - | writeValue w (Syntax.VString _) = raise Fail "I don't support strings yet" in case oper of Syntax.OAlloc (r, v) => @@ -108,6 +107,22 @@ struct writeValue w condition ; writeValue w (Syntax.VLabel label)) | Syntax.OLabel _ => () + | Syntax.ORead (r, ptr, off, len) => + (makeOpcode w 14 (isConst off) (isConst len) ; + writeVar w r ; + writeVar w ptr ; + writeValue w off ; + writeValue w len) + | Syntax.OWrite (ptr, off, len) => + (makeOpcode w 15 (isConst off) (isConst len) ; + writeVar w ptr ; + writeValue w off ; + writeValue w len) + | Syntax.OWriteErr (ptr, off, len) => + (makeOpcode w 16 (isConst off) (isConst len) ; + writeVar w ptr ; + writeValue w off ; + writeValue w len) end fun link (program : Syntax.opcode list) : Word8Vector.vector = |
