Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/low-to-tree/low-to-tree.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/low-to-tree/low-to-tree.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 5285, Thu Aug 10 16:50:56 2017 UTC revision 5286, Thu Aug 10 17:53:04 2017 UTC
# Line 902  Line 902 
902                          | (NONE, ExitKind.RETURN(SOME x)) => let                          | (NONE, ExitKind.RETURN(SOME x)) => let
903                              val (e', stms) = singleArg env (x, stms)                              val (e', stms) = singleArg env (x, stms)
904                              in                              in
905                                join (ifStk, T.S_Return e' :: stms, k)                                join (ifStk, T.S_Return(SOME e') :: stms, k)
906                              end                              end
907                          | (NONE, ExitKind.ACTIVE) => join (ifStk, T.S_Active :: stms, k)                          | (NONE, ExitKind.ACTIVE) => join (ifStk, T.S_Active :: stms, k)
908                          | (NONE, ExitKind.STABILIZE) => let                          | (NONE, ExitKind.STABILIZE) => let
# Line 911  Line 911 
911                                join (ifStk, stms, k)                                join (ifStk, stms, k)
912                              end                              end
913                          | (NONE, ExitKind.DIE) => join (ifStk, T.S_Die :: stms, k)                          | (NONE, ExitKind.DIE) => join (ifStk, T.S_Die :: stms, k)
914                            | (NONE, ExitKind.NEXTSTEP) => join (ifStk, T.S_Return NONE :: stms, k)
915                          | (NONE, ExitKind.UNREACHABLE) => join (ifStk, stms, k)                          | (NONE, ExitKind.UNREACHABLE) => join (ifStk, stms, k)
916                          | (SOME nd, ExitKind.RETURN NONE) => doNode (nd, ifStk, stms)                          | (SOME nd, ExitKind.RETURN NONE) => doNode (nd, ifStk, stms)
917                          | (SOME nd, ExitKind.RETURN(SOME x)) => let                          | (SOME nd, ExitKind.RETURN(SOME x)) => let
918                              val (e', stms) = singleArg env (x, stms)                              val (e', stms) = singleArg env (x, stms)
919                              in                              in
920                                doNode (nd, ifStk, T.S_Return e' :: stms)                                doNode (nd, ifStk, T.S_Return(SOME e') :: stms)
921                              end                              end
922                          | (SOME nd, ExitKind.ACTIVE) => doNode (nd, ifStk, T.S_Active :: stms)                          | (SOME nd, ExitKind.ACTIVE) => doNode (nd, ifStk, T.S_Active :: stms)
923                          | (SOME nd, ExitKind.STABILIZE) => doNode (nd, ifStk, T.S_Stabilize :: stms)                          | (SOME nd, ExitKind.STABILIZE) => doNode (nd, ifStk, T.S_Stabilize :: stms)
924                          | (SOME nd, ExitKind.DIE) => doNode (nd, ifStk, T.S_Die :: stms)                          | (SOME nd, ExitKind.DIE) => doNode (nd, ifStk, T.S_Die :: stms)
925                            | (SOME nd, ExitKind.NEXTSTEP) => doNode (nd, ifStk, T.S_Return NONE :: stms)
926                          | (SOME nd, ExitKind.UNREACHABLE) => doNode (nd, ifStk, stms)                          | (SOME nd, ExitKind.UNREACHABLE) => doNode (nd, ifStk, stms)
927                        (* end case *))                        (* end case *))
928                  (* end case *))                  (* end case *))

Legend:
Removed from v.5285  
changed lines
  Added in v.5286

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0