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

SCM Repository

[diderot] Diff of /branches/lamont/src/compiler/IL/ssa-sig.sml
ViewVC logotype

Diff of /branches/lamont/src/compiler/IL/ssa-sig.sml

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

revision 2098, Mon Nov 26 17:14:36 2012 UTC revision 2298, Fri Mar 15 22:18:22 2013 UTC
# Line 123  Line 123 
123            }            }
124    
125      and strand_set      and strand_set
126        = SS_Active        = SS_All
127        | SS_Stable        | SS_Stable
128        | SS_Dead        | SS_Active
   
     and reduction  
       = R_Max  
       | R_Min  
       | R_Or  
       | R_And  
       | R_Xor  
       | R_Product  
       | R_Sum  
129    
130      and rhs      and rhs
131        = STATE of state_var              (* read strand state variable *)        = STATE of state_var              (* read strand state variable *)
132        | VAR of var        | VAR of var
133        | LIT of Literal.literal        | LIT of Literal.literal
134        | SELECTOR of var * Atom.atom        | SELECTOR of var * Atom.atom
135        | REDUCTION of reduction * strand_set list * var * var        | STRAND_SET of strand_set list
136        | OP of Op.rator * var list        | OP of Op.rator * var list
137        | APPLY of MathFuns.name * var list (* basis function application *)        | APPLY of MathFuns.name * var list (* basis function application *)
138        | CONS of Ty.ty * var list        (* tensor/sequence-value construction *)        | CONS of Ty.ty * var list        (* tensor/sequence-value construction *)
# Line 175  Line 166 
166      datatype program = Program of {      datatype program = Program of {
167          props : StrandUtil.program_prop list,          props : StrandUtil.program_prop list,
168          globalInit : cfg,          globalInit : cfg,
169            globalBlock : cfg,
170          initially : initially,          initially : initially,
171          strands : strand list          strands : strand list
172        }        }
# Line 359  Line 351 
351    
352    (* operations on RHS expressions *)    (* operations on RHS expressions *)
353      structure RHS : sig      structure RHS : sig
354      val reductionSame: reduction * reduction -> bool        (*  val reductionSame : reduction * reduction -> bool *)
355    (* FIXME: why are these strand_set functions defined here? *)
356      val strandSetSame: strand_set list * strand_set list -> bool      val strandSetSame: strand_set list * strand_set list -> bool
357      val reductionToString: reduction -> string       (*   val reductionToString: reduction -> string *)
358      val toStringSets: strand_set list -> string list      val toStringSets: strand_set list -> string list
359          val toString : rhs -> string          val toString : rhs -> string
360          val vars : rhs -> var list          val vars : rhs -> var list

Legend:
Removed from v.2098  
changed lines
  Added in v.2298

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