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/ssa-fn.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cfg-ir/ssa-fn.sml

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

revision 3522, Sun Dec 20 14:20:20 2015 UTC revision 3527, Tue Dec 22 16:44:18 2015 UTC
# Line 26  Line 26 
26    
27    (***** CFG *****)    (***** CFG *****)
28    
29        datatype global_kind = datatype GlobalVarKind.t
30    
31      datatype cfg = CFG of {      datatype cfg = CFG of {
32          entry : node,   (* the entry node of a graph; not necessarily an ENTRY node *)          entry : node,   (* the entry node of a graph; not necessarily an ENTRY node *)
33          exit : node     (* the exit node of a graph; not necessarily an EXIT node. *)          exit : node     (* the exit node of a graph; not necessarily an EXIT node. *)
# Line 143  Line 145 
145          props : PropList.holder          props : PropList.holder
146        }        }
147    
     and global_kind = ConstVar | InputVar | GlobalVar  
   
148    (***** strand state variables *****)    (***** strand state variables *****)
149      and state_var = SV of {      and state_var = SV of {
150          id : Stamp.stamp,               (* variable's unique ID *)          id : Stamp.stamp,               (* variable's unique ID *)

Legend:
Removed from v.3522  
changed lines
  Added in v.3527

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