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-sig.sml
ViewVC logotype

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

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

revision 3501, Thu Dec 17 20:07:13 2015 UTC revision 3502, Thu Dec 17 23:13:35 2015 UTC
# Line 74  Line 74 
74            }            }
75        | FOREACH of {                    (* foreach-loop; this node combines aspects of the COND        | FOREACH of {                    (* foreach-loop; this node combines aspects of the COND
76                                           * and JOIN nodes. *)                                           * and JOIN nodes. *)
77              preds : node list ref,      (* the predecessors; the first item is the entry edge              pred : node ref,            (* the predecessor *)
                                          * and the others are the loop back edges. *)  
78              phis : phi list ref,        (* phi nodes (as in JOIN) *)              phis : phi list ref,        (* phi nodes (as in JOIN) *)
79              mask : bool list ref,       (* true for incoming fake edges *)              mask : bool list ref,       (* true for incoming fake edges *)
80              var : var,                  (* the loop variable *)              var : var,                  (* the loop variable *)
81              src : var,                  (* the source of values being iterated over *)              src : var,                  (* the source of values being iterated over *)
82              body : node ref,            (* the loop body *)              bodyEntry : node ref,       (* the loop body entry node *)
83                bodyExit : node ref,        (* the loop body exit node *)
84              succ : node ref             (* the loop-exit edge *)              succ : node ref             (* the loop-exit edge *)
85            }            }
86        | COM of  {                       (* comment *)        | COM of  {                       (* comment *)
# Line 367  Line 367 
367          val setSucc : node * node -> unit          val setSucc : node * node -> unit
368          val setTrueBranch : node * node -> unit  (* set trueBranch successor for COND node *)          val setTrueBranch : node * node -> unit  (* set trueBranch successor for COND node *)
369          val setFalseBranch : node * node -> unit (* set falseBranch successor for COND node *)          val setFalseBranch : node * node -> unit (* set falseBranch successor for COND node *)
370          val setBodyBranch : node * node -> unit  (* set body branch for FOREACH node *)          val setBodyEntry : node * node -> unit   (* set body entry edge for FOREACH node *)
371            val setBodyExit : node * node -> unit    (* set body exit edge for FOREACH node *)
372          val setEdgeMask : node * bool list -> unit (* set incoming edge mask for JOIN node *)          val setEdgeMask : node * bool list -> unit (* set incoming edge mask for JOIN node *)
373          val addEdge : node * node -> unit          val addEdge : node * node -> unit
374        (* replace the edge src-->oldDst by the edge src-->dst *)        (* replace the edge src-->oldDst by the edge src-->dst *)

Legend:
Removed from v.3501  
changed lines
  Added in v.3502

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