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

SCM Repository

[diderot] Diff of /branches/lamont/src/compiler/IL/value-numbering-fn.sml
ViewVC logotype

Diff of /branches/lamont/src/compiler/IL/value-numbering-fn.sml

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

revision 2203, Mon Feb 25 05:15:24 2013 UTC revision 2221, Wed Feb 27 17:22:08 2013 UTC
# Line 327  Line 327 
327      fun transform prog = let      fun transform prog = let
328            val IL.Program{props, globalInit, globalBlock, initially, strands} = prog            val IL.Program{props, globalInit, globalBlock, initially, strands} = prog
329            val {cfg=globalInit, rename} = transformCFG' ([], [], globalInit)            val {cfg=globalInit, rename} = transformCFG' ([], [], globalInit)
330        val {cfg=globalBlock, rename} = transformCFG' ([], rename, globalBlock)            val globals = (IL.CFG.liveAtExit globalInit)
331            val globals = (IL.CFG.liveAtExit globalInit) @(IL.CFG.liveAtExit globalBlock)        val {cfg=globalBlock, rename} = transformCFG' (globals, rename, globalBlock)
332          val globals = (IL.CFG.liveAtExit globalBlock)
333    
334          (* transform the strand initialization code *)          (* transform the strand initialization code *)
335            val initially = if List.null rename            val initially = if List.null rename

Legend:
Removed from v.2203  
changed lines
  Added in v.2221

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