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

Diff of /branches/pure-cfg/src/compiler/IL/census-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 30  Line 30 
30                    | _ => ()                    | _ => ()
31                  (* end case *))                  (* end case *))
32          (* clear the counts of the initially code *)          (* clear the counts of the initially code *)
33            fun clearInitially (IL.Initially{create, iters, ...}) = let            fun clearInitially (IL.Initially{rangeInit, iters, create, ...}) = let
34                  fun clearIter (cfg, param, lo, hi) = (                  fun clearIter (param, lo, hi) = clearVar param
                       IL.CFG.apply clearNode cfg;  
                       clearVar param)  
35                  in                  in
36                      IL.CFG.apply clearNode rangeInit;
37                    List.app clearIter iters;                    List.app clearIter iters;
38                    IL.CFG.apply clearNode (#1 create)                    IL.CFG.apply clearNode (#1 create)
39                  end                  end
# Line 74  Line 73 
73                    | _ => ()                    | _ => ()
74                  (* end case *))                  (* end case *))
75          (* increment the counts of variables used in the initially code *)          (* increment the counts of variables used in the initially code *)
76            fun incInitially (IL.Initially{create, iters, ...}) = let            fun incInitially (IL.Initially{create, rangeInit, iters, ...}) = let
77                  fun incIter (cfg, param, lo, hi) = (                  fun incIter (param, lo, hi) = (
                       IL.CFG.apply incNode cfg;  
78                        setBinding (param, IL.VB_PARAM);  (* QUESTION: should there be a special kind for this? *)                        setBinding (param, IL.VB_PARAM);  (* QUESTION: should there be a special kind for this? *)
79                        inc lo; inc hi)                        inc lo; inc hi)
80                  in                  in
81                      IL.CFG.apply incNode rangeInit;
82                    List.app incIter iters;                    List.app incIter iters;
83                    IL.CFG.apply incNode (#1 create);                    IL.CFG.apply incNode (#1 create);
84                    List.app inc (#3 create)                    List.app inc (#3 create)

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