diff options
Diffstat (limited to 'codegen.sml')
| -rw-r--r-- | codegen.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/codegen.sml b/codegen.sml index 9dbee51..67b2d30 100644 --- a/codegen.sml +++ b/codegen.sml @@ -169,6 +169,12 @@ struct @ Syntax.OLabel trueLabel :: go k1 end + | Syntax.CPrimop (Syntax.PRead, [Syntax.VVar ptr, off, len], [res], [k]) => + Syntax.ORead (translate res, translate ptr, translateVal off, translateVal len) :: go k + | Syntax.CPrimop (Syntax.PWrite, [Syntax.VVar ptr, off, len], _, [k]) => + Syntax.OWrite (translate ptr, translateVal off, translateVal len) :: go k + | Syntax.CPrimop (Syntax.PWriteErr, [Syntax.VVar ptr, off, len], _, [k]) => + Syntax.OWriteErr (translate ptr, translateVal off, translateVal len) :: go k | _ => raise Fail ("malformed CPS:\n" ^ Syntax.cexpToString expr) in go expr end |