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 5285, Thu Aug 10 16:50:56 2017 UTC revision 5286, Thu Aug 10 17:53:04 2017 UTC
# Line 2  Line 2 
2   *   *
3   * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)   * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)
4   *   *
5   * COPYRIGHT (c) 2015 The University of Chicago   * COPYRIGHT (c) 2017 The University of Chicago
6   * All rights reserved.   * All rights reserved.
7   *   *
8   * The CFG representation has different kinds of exits, depending on the   * The CFG representation has different kinds of exits, depending on the
# Line 17  Line 17 
17        | ACTIVE                  (* normal return from update method *)        | ACTIVE                  (* normal return from update method *)
18        | STABILIZE               (* stabilize in update method *)        | STABILIZE               (* stabilize in update method *)
19        | DIE                     (* die in update method *)        | DIE                     (* die in update method *)
20          | NEXTSTEP                (* continue in global update *)
21        | UNREACHABLE             (* dummy exit node that is unreachable *)        | UNREACHABLE             (* dummy exit node that is unreachable *)
22    
23      fun map f exit = (case exit      fun map f exit = (case exit
# Line 25  Line 26 
26              | ACTIVE => ACTIVE              | ACTIVE => ACTIVE
27              | STABILIZE => STABILIZE              | STABILIZE => STABILIZE
28              | DIE => DIE              | DIE => DIE
29                | NEXTSTEP => NEXTSTEP
30              | UNREACHABLE => UNREACHABLE              | UNREACHABLE => UNREACHABLE
31            (* end case *))            (* end case *))
32    
# Line 34  Line 36 
36              | ACTIVE => "ACTIVE"              | ACTIVE => "ACTIVE"
37              | STABILIZE => "STABILIZE"              | STABILIZE => "STABILIZE"
38              | DIE => "DIE"              | DIE => "DIE"
39                | NEXTSTEP => "NEXTSTEP"
40              | UNREACHABLE => "UNREACHABLE"              | UNREACHABLE => "UNREACHABLE"
41            (* end case *))            (* end case *))
42    

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