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 620, Mon Mar 14 13:46:59 2011 UTC revision 621, Mon Mar 14 14:10:52 2011 UTC
# Line 144  Line 144 
144                    ndMap = Stamp.Tbl.mkTable (256, Fail "ndMap"),                    ndMap = Stamp.Tbl.mkTable (256, Fail "ndMap"),
145                    vMap = VTbl.mkTable (256, Fail "env")                    vMap = VTbl.mkTable (256, Fail "env")
146                  }                  }
147            fun transInitially (SrcIL.Initially{isArray, create=(argInit, strand, args), iters}) = let            fun transInitially (SrcIL.Initially{isArray, rangeInit, iters, create}) = let
148                  fun trIter (cfg, param, lo, hi) = let                  val (argInit, strand, args) = create
149                        val cfg = translateCFG (env, cfg)                  fun trIter (param, lo, hi) = let
150                        val param = rename env param                        val param = rename env param
151                        in                        in
152                          DstIL.Var.setBinding(param, DstIL.VB_PARAM);                          DstIL.Var.setBinding(param, DstIL.VB_PARAM);
153                          (cfg, param, rename env lo, rename env hi)                          (param, rename env lo, rename env hi)
154                        end                        end
155                  val iters = List.map trIter iters                  val iters = List.map trIter iters
                 val argInit = translateCFG(env, argInit)  
156                  in                  in
157                    DstIL.Initially{                    DstIL.Initially{
158                        isArray = isArray,                        isArray = isArray,
159                        create = (argInit, strand, renameList(env, args)),                        rangeInit = translateCFG (env, rangeInit),
160                          create = (translateCFG (env, argInit), strand, renameList(env, args)),
161                        iters = iters                        iters = iters
162                      }                      }
163                  end                  end

Legend:
Removed from v.620  
changed lines
  Added in v.621

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