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

SCM Repository

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

Diff of /trunk/src/compiler/IL/ssa-fn.sml

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

revision 367, Thu Sep 30 21:20:13 2010 UTC revision 392, Thu Oct 14 15:34:28 2010 UTC
# Line 10  Line 10 
10  signature SSA =  signature SSA =
11    sig    sig
12    
13      structure Op : OPERATORS      structure Ty : SSA_TYPES
14        structure Op : OPERATORS where type ty = Ty.ty
15    
16    (***** CFG *****)    (***** CFG *****)
17    
# Line 96  Line 97 
97      and var_bind      and var_bind
98        = VB_NONE        = VB_NONE
99        | VB_RHS of rhs        | VB_RHS of rhs
100          | VB_PHI of var list
101          | VB_PARAM
102        | VB_STATE_VAR        | VB_STATE_VAR
103    
104      withtype assign = (var * rhs)      withtype assign = (var * rhs)
# Line 228  Line 231 
231    
232    end    end
233    
234  functor SSAFn (Op : OPERATORS) : SSA =  functor SSAFn (
   struct  
235    
236        structure Ty : SSA_TYPES
237        structure Op : OPERATORS where type ty = Ty.ty
238    
239      ) : SSA = struct
240    
241        structure Ty = Ty
242      structure Op = Op      structure Op = Op
243    
244      datatype node = ND of {      datatype node = ND of {
# Line 315  Line 323 
323      and var_bind      and var_bind
324        = VB_NONE        = VB_NONE
325        | VB_RHS of rhs        | VB_RHS of rhs
326          | VB_PHI of var list
327          | VB_PARAM
328        | VB_STATE_VAR        | VB_STATE_VAR
329    
330      withtype assign = (var * rhs)      withtype assign = (var * rhs)

Legend:
Removed from v.367  
changed lines
  Added in v.392

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