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

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

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

revision 4341, Mon Aug 1 23:18:41 2016 UTC revision 4342, Tue Aug 2 13:44:43 2016 UTC
# Line 651  Line 651 
651            | setBodyEntry (nd, _) = raise Fail("setBodyEntry on " ^ toString nd)            | setBodyEntry (nd, _) = raise Fail("setBodyEntry on " ^ toString nd)
652          fun setBodyExit (ND{kind=FOREACH{bodyExit, ...}, ...}, nd) = bodyExit := nd          fun setBodyExit (ND{kind=FOREACH{bodyExit, ...}, ...}, nd) = bodyExit := nd
653            | setBodyExit (nd, _) = raise Fail("setBodyExit on " ^ toString nd)            | setBodyExit (nd, _) = raise Fail("setBodyExit on " ^ toString nd)
654            fun setPhis (ND{kind=JOIN{phis, ...}, ...}, phis') = phis := phis'
655              | setPhis (ND{kind=FOREACH{phis, ...}, ...}, phis') = phis := phis'
656              | setPhis (nd, _) = raise Fail("setPhis on " ^ toString nd)
657          fun setEdgeMask (ND{kind=JOIN{mask, ...}, ...}, mask') = mask := mask'          fun setEdgeMask (ND{kind=JOIN{mask, ...}, ...}, mask') = mask := mask'
658              | setEdgeMask (ND{kind=FOREACH{mask, ...}, ...}, mask') = mask := mask'
659            | setEdgeMask (nd, _) = raise Fail("setEdgeMask on " ^ toString nd)            | setEdgeMask (nd, _) = raise Fail("setEdgeMask on " ^ toString nd)
660          fun addEdge (nd1, nd2) = (          fun addEdge (nd1, nd2) = (
661                if hasSucc nd1                if hasSucc nd1

Legend:
Removed from v.4341  
changed lines
  Added in v.4342

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