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

SCM Repository

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

Diff of /trunk/src/compiler/simplify/lift.sml

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

revision 435, Tue Oct 19 13:14:20 2010 UTC revision 511, Tue Feb 8 17:01:43 2011 UTC
# Line 11  Line 11 
11   *      2) evaluate eagerly, with the proviso that if the lhs is not static, then   *      2) evaluate eagerly, with the proviso that if the lhs is not static, then
12   *         only evaluate if the rhs is static and the operation is supported   *         only evaluate if the rhs is static and the operation is supported
13   *      3) reduce code   *      3) reduce code
14   * This evaluation process could be extended to the body of the actors too.   * This evaluation process could be extended to the body of the strands too.
15   *)   *)
16    
17  structure Lift : sig  structure Lift : sig
# Line 120  Line 120 
120              S.Block(doBlock blk)              S.Block(doBlock blk)
121            end            end
122    
123      fun transform (prog as S.Program{globals, globalInit, actors}) = let      fun transform (prog as S.Program{globals, globalInit, strands}) = let
124            val statics = findStatics globalInit            val statics = findStatics globalInit
125            val staticEnv = Eval.evalStatics (statics, globalInit)            val staticEnv = Eval.evalStatics (statics, globalInit)
126            val globalInit = reduce (staticEnv, globalInit)            val globalInit = reduce (staticEnv, globalInit)
# Line 128  Line 128 
128              S.Program{              S.Program{
129                  globals = globals,                  globals = globals,
130                  globalInit = globalInit,                  globalInit = globalInit,
131                  actors = actors                  strands = strands
132                }                }
133            end            end
134    

Legend:
Removed from v.435  
changed lines
  Added in v.511

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