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

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

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

revision 1016, Fri Apr 29 21:59:23 2011 UTC revision 1017, Sun May 1 03:06:05 2011 UTC
# Line 149  Line 149 
149              DstIL.CFG{entry = entry, exit = exit}              DstIL.CFG{entry = entry, exit = exit}
150            end            end
151    
152      fun translate (SrcIL.Program{globals, globalInit, initially, strands}) = let      fun translate (SrcIL.Program{globalInit, initially, strands}) = let
153            val env = E{            val env = E{
154                    ndMap = Stamp.Tbl.mkTable (256, Fail "ndMap"),                    ndMap = Stamp.Tbl.mkTable (256, Fail "ndMap"),
155                    vMap = VTbl.mkTable (256, Fail "env")                    vMap = VTbl.mkTable (256, Fail "env")
# Line 171  Line 171 
171                        iters = iters                        iters = iters
172                      }                      }
173                  end                  end
174            fun transMethod state (SrcIL.Method{name, stateIn, stateOut, body}) = let            fun transMethod state (SrcIL.Method{name, stateIn, body}) = let
175                  val stateIn = renameList (env, stateIn)                  val stateIn = renameList (env, stateIn)
176                  in                  in
177                    ListPair.app                    ListPair.app
# Line 180  Line 180 
180                    DstIL.Method{                    DstIL.Method{
181                        name = name,                        name = name,
182                        stateIn = stateIn,                        stateIn = stateIn,
                       stateOut = renameList (env, stateOut),  
183                        body = translateCFG (env, body)                        body = translateCFG (env, body)
184                      }                      }
185                  end                  end
# Line 198  Line 197 
197                      }                      }
198                  end                  end
199            val prog = DstIL.Program{            val prog = DstIL.Program{
                   globals = renameList (env, globals),  
200                    globalInit = translateCFG (env, globalInit),                    globalInit = translateCFG (env, globalInit),
201                    initially = transInitially initially,                    initially = transInitially initially,
202                    strands = List.map transStrand strands                    strands = List.map transStrand strands

Legend:
Removed from v.1016  
changed lines
  Added in v.1017

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