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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/IL/ssa-fn.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/IL/ssa-fn.sml

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

revision 505, Thu Feb 3 17:03:20 2011 UTC revision 506, Thu Feb 3 17:07:21 2011 UTC
# Line 407  Line 407 
407                  | EXIT{pred} => pred := nd                  | EXIT{pred} => pred := nd
408                (* end case *))                (* end case *))
409          fun preds (nd as ND{kind, ...}) = (case kind          fun preds (nd as ND{kind, ...}) = (case kind
410                 of NULL => raise Fail("preds on NULL node "^toString nd)                 of NULL => [] (*raise Fail("preds on NULL node "^toString nd)*)
411                  | ENTRY _ => []                  | ENTRY _ => []
412                  | JOIN{preds, ...} => !preds                  | JOIN{preds, ...} => !preds
413                  | COND{pred, ...} => [!pred]                  | COND{pred, ...} => [!pred]
# Line 443  Line 443 
443                  | EXIT _ => raise Fail("setSucc on EXIT node "^toString nd0)                  | EXIT _ => raise Fail("setSucc on EXIT node "^toString nd0)
444                (* end case *))                (* end case *))
445          fun succs (nd as ND{kind, ...}) = (case kind          fun succs (nd as ND{kind, ...}) = (case kind
446                 of NULL => raise Fail("succs on NULL node "^toString nd)                 of NULL => [] (*raise Fail("succs on NULL node "^toString nd)*)
447                  | ENTRY{succ} => [!succ]                  | ENTRY{succ} => [!succ]
448                  | JOIN{succ, ...} => [!succ]                  | JOIN{succ, ...} => [!succ]
449                  | COND{trueBranch, falseBranch, ...} => [!trueBranch, !falseBranch]                  | COND{trueBranch, falseBranch, ...} => [!trueBranch, !falseBranch]

Legend:
Removed from v.505  
changed lines
  Added in v.506

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