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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/IL/ssa-fn.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/IL/ssa-fn.sml

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

revision 528, Sun Feb 13 03:05:35 2011 UTC revision 529, Mon Feb 14 15:03:54 2011 UTC
# Line 84  Line 84 
84    
85      and var_bind      and var_bind
86        = VB_NONE        = VB_NONE
87        | VB_RHS of rhs        | VB_RHS of rhs                   (* defined by an assignment (includes globals) *)
88        | VB_PHI of var list        | VB_PHI of var list              (* defined by a phi node *)
89        | VB_PARAM        | VB_PARAM                        (* parameter to a strand *)
90        | VB_STATE_VAR        | VB_STATE_VAR                    (* use of a strand state variable *)
91    
92      withtype assign = (var * rhs)      withtype assign = (var * rhs)
93           and phi = (var * var list)           and phi = (var * var list)

Legend:
Removed from v.528  
changed lines
  Added in v.529

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