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 2081, Mon Nov 5 23:26:06 2012 UTC revision 2083, Thu Nov 8 18:42:05 2012 UTC
# Line 79  Line 79 
79              trueBranch : node ref,              trueBranch : node ref,
80              falseBranch : node ref              falseBranch : node ref
81            }            }
82          | FOREACH of {
83            pred : node ref,
84            cond : var,
85            phis: phi list ref,
86            stmBranch: node ref,
87            varStrandName: string ref,
88            shouldReplace: bool ref,
89            stmBranchDone: bool ref,
90            succ : node ref
91          }
92        | COM of  {                       (* comment *)        | COM of  {                       (* comment *)
93              pred : node ref,              pred : node ref,
94              text : string list,              text : string list,
# Line 116  Line 126 
126        = STATE of state_var              (* read strand state variable *)        = STATE of state_var              (* read strand state variable *)
127        | VAR of var        | VAR of var
128        | LIT of Literal.literal        | LIT of Literal.literal
129          | SELECTOR of var * Atom.atom
130        | OP of Op.rator * var list        | OP of Op.rator * var list
131        | APPLY of MathFuns.name * var list (* basis function application *)        | APPLY of MathFuns.name * var list (* basis function application *)
132        | CONS of Ty.ty * var list        (* tensor/sequence-value construction *)        | CONS of Ty.ty * var list        (* tensor/sequence-value construction *)
# Line 263  Line 274 
274          val hasSucc : node -> bool          val hasSucc : node -> bool
275          val succs : node -> node list          val succs : node -> node list
276          val setSucc : node * node -> unit          val setSucc : node * node -> unit
277        val setStmBranch : node * node -> unit   (* set statement branch succesor for FOREACH node *)
278          val setTrueBranch : node * node -> unit  (* set trueBranch successor for COND node *)          val setTrueBranch : node * node -> unit  (* set trueBranch successor for COND node *)
279          val setFalseBranch : node * node -> unit (* set falseBranch successor for COND node *)          val setFalseBranch : node * node -> unit (* set falseBranch successor for COND node *)
280          val addEdge : node * node -> unit          val addEdge : node * node -> unit
# Line 274  Line 286 
286          val mkENTRY : unit -> node          val mkENTRY : unit -> node
287          val mkJOIN : (var * var list) list -> node          val mkJOIN : (var * var list) list -> node
288          val mkCOND : {cond : var, trueBranch : node, falseBranch : node} -> node          val mkCOND : {cond : var, trueBranch : node, falseBranch : node} -> node
289        val mkFOREACH : {cond: var, stmBranch: node, sName : string, phis:(var * var list) list} -> node
290          val mkCOM : string list -> node          val mkCOM : string list -> node
291          val mkASSIGN : assign -> node          val mkASSIGN : assign -> node
292          val mkMASSIGN : massign -> node          val mkMASSIGN : massign -> node

Legend:
Removed from v.2081  
changed lines
  Added in v.2083

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