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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/c-target/c-target.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/c-target/c-target.sml

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

revision 1044, Mon May 2 03:05:12 2011 UTC revision 1153, Sat May 7 19:12:57 2011 UTC
# Line 65  Line 65 
65    (* TreeIL to target translations *)    (* TreeIL to target translations *)
66      structure Tr =      structure Tr =
67        struct        struct
68            fun fragment (ENV{info, vMap, scope}, blk) = let
69                  val (vMap, stms) = ToC.trFragment (vMap, blk)
70                  in
71                    (ENV{info=info, vMap=vMap, scope=scope}, stms)
72                  end
73          fun saveState cxt stateVars (env, args, stm) = (          fun saveState cxt stateVars (env, args, stm) = (
74                ListPair.foldrEq                ListPair.foldrEq
75                  (fn (x, e, stms) => ToC.trAssign(env, x, e)@stms)                  (fn (x, e, stms) => ToC.trAssign(env, x, e)@stms)
# Line 150  Line 155 
155          fun initially {          fun initially {
156                prog = Prog{strands, initially, ...},                prog = Prog{strands, initially, ...},
157                isArray : bool,                isArray : bool,
158                iterPrefix : stm,                iterPrefix : stm list,
159                iters : (var * exp * exp) list,                iters : (var * exp * exp) list,
160                createPrefix : stm,                createPrefix : stm list,
161                strand : Atom.atom,                strand : Atom.atom,
162                args : exp list                args : exp list
163              } = let              } = let
               val iterPrefix = (case iterPrefix  
                      of CL.S_Block stms => stms  
                       | stm => [stm]  
                     (* end case *))  
               val createPrefix = (case createPrefix  
                      of CL.S_Block stms => stms  
                       | stm => [stm]  
                     (* end case *))  
164                val name = Atom.toString strand                val name = Atom.toString strand
165                val nDims = List.length iters                val nDims = List.length iters
166                val worldTy = CL.T_Ptr(CL.T_Named RN.worldTy)                val worldTy = CL.T_Ptr(CL.T_Named RN.worldTy)

Legend:
Removed from v.1044  
changed lines
  Added in v.1153

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