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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/cfg-ir/exit-kind.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cfg-ir/exit-kind.sml

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

revision 3470, Mon Nov 30 17:51:33 2015 UTC revision 3485, Sun Dec 6 13:48:48 2015 UTC
# Line 15  Line 15 
15      datatype kind      datatype kind
16        = FRAGMENT                (* exit node in a CFG fragment that is going to be embedded in *)        = FRAGMENT                (* exit node in a CFG fragment that is going to be embedded in *)
17                                  (* other code *)                                  (* other code *)
       | SINIT                   (* strand initialization *)  
18        | RETURN                  (* return from function/method *)        | RETURN                  (* return from function/method *)
19        | ACTIVE                  (* normal return from update method *)        | ACTIVE                  (* normal return from update method *)
20        | STABILIZE               (* stabilize in update method *)        | STABILIZE               (* stabilize in update method *)
# Line 23  Line 22 
22        | UNREACHABLE             (* dummy exit node that is unreachable *)        | UNREACHABLE             (* dummy exit node that is unreachable *)
23    
24      fun toString FRAGMENT = "FRAGMENT"      fun toString FRAGMENT = "FRAGMENT"
       | toString SINIT = "SINIT"  
25        | toString RETURN = "RETURN"        | toString RETURN = "RETURN"
26        | toString ACTIVE = "ACTIVE"        | toString ACTIVE = "ACTIVE"
27        | toString STABILIZE = "STABILIZE"        | toString STABILIZE = "STABILIZE"

Legend:
Removed from v.3470  
changed lines
  Added in v.3485

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