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 3485, Sun Dec 6 13:48:48 2015 UTC revision 3501, Thu Dec 17 20:07:13 2015 UTC
# Line 480  Line 480 
480                  | ENTRY{succ} => succ := nd                  | ENTRY{succ} => succ := nd
481                  | JOIN{succ, ...} => succ := nd                  | JOIN{succ, ...} => succ := nd
482                  | COND _ => raise Fail("setSucc on COND node "^toString nd0)                  | COND _ => raise Fail("setSucc on COND node "^toString nd0)
483                  | FOREACH _ => raise Fail("setSucc on FOREACH node "^toString nd0)                  | FOREACH{succ, ...} => succ := nd
484                  | COM{succ, ...} => succ := nd                  | COM{succ, ...} => succ := nd
485                  | ASSIGN{succ, ...} => succ := nd                  | ASSIGN{succ, ...} => succ := nd
486                  | MASSIGN{succ, ...} => succ := nd                  | MASSIGN{succ, ...} => succ := nd
# Line 511  Line 511 
511            | setFalseBranch (nd, _) = raise Fail("setFalseBranch on " ^ toString nd)            | setFalseBranch (nd, _) = raise Fail("setFalseBranch on " ^ toString nd)
512          fun setBodyBranch (ND{kind=FOREACH{body, ...}, ...}, nd) = body := nd          fun setBodyBranch (ND{kind=FOREACH{body, ...}, ...}, nd) = body := nd
513            | setBodyBranch (nd, _) = raise Fail("setBodyBranch on " ^ toString nd)            | setBodyBranch (nd, _) = raise Fail("setBodyBranch on " ^ toString nd)
         fun setExitBranch (ND{kind=FOREACH{succ, ...}, ...}, nd) = succ := nd  
           | setExitBranch (nd, _) = raise Fail("setExitBranch on " ^ toString nd)  
514          fun setEdgeMask (ND{kind=JOIN{mask, ...}, ...}, mask') = mask := mask'          fun setEdgeMask (ND{kind=JOIN{mask, ...}, ...}, mask') = mask := mask'
515            | setEdgeMask (nd, _) = raise Fail("setEdgeMask on " ^ toString nd)            | setEdgeMask (nd, _) = raise Fail("setEdgeMask on " ^ toString nd)
516          fun addEdge (nd1, nd2) = (          fun addEdge (nd1, nd2) = (

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

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