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

SCM Repository

[diderot] Diff of /trunk/src/compiler/translate/translate.sml
ViewVC logotype

Diff of /trunk/src/compiler/translate/translate.sml

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

revision 1443, Mon Jul 11 10:36:10 2011 UTC revision 1444, Mon Jul 11 12:11:53 2011 UTC
# Line 313  Line 313 
313          (* add the entry/exit nodes *)          (* add the entry/exit nodes *)
314            val stateOut = List.map (lookup env) state            val stateOut = List.map (lookup env) state
315            val entry = IL.Node.mkENTRY ()            val entry = IL.Node.mkENTRY ()
316            val exit = IL.Node.mkACTIVE stateOut            val exit = (case name
317                     of MethodName.Update => IL.Node.mkACTIVE stateOut
318                      | MethodName.Stabilize => IL.Node.mkRETURN stateOut
319                    (* end case *))
320            in            in
321              if IL.CFG.isEmpty cfg              if IL.CFG.isEmpty cfg
322                then IL.Node.addEdge (entry, exit)                then IL.Node.addEdge (entry, exit)
# Line 329  Line 332 
332                  body = IL.CFG{entry = entry, exit = exit}                  body = IL.CFG{entry = entry, exit = exit}
333                }                }
334            end            end
335  (*DEBUG*)handle ex => (print(concat["error in cvtMethod(", Atom.toString name, ", ...)\n"]); raise ex)  (*DEBUG*)handle ex => (print(concat["error in cvtMethod(", MethodName.toString name, ", ...)\n"]); raise ex)
336    
337    (* convert the initially code *)    (* convert the initially code *)
338      fun cvtInitially (env, S.Initially{isArray, rangeInit, create, iters}) = let      fun cvtInitially (env, S.Initially{isArray, rangeInit, create, iters}) = let

Legend:
Removed from v.1443  
changed lines
  Added in v.1444

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