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

SCM Repository

[diderot] Diff of /branches/vis12-cl/src/compiler/c-util/tree-to-c.sml
ViewVC logotype

Diff of /branches/vis12-cl/src/compiler/c-util/tree-to-c.sml

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

revision 1958, Tue Jul 10 13:01:03 2012 UTC revision 2009, Fri Oct 5 17:58:18 2012 UTC
# Line 223  Line 223 
223                  CL.mkApply(N.toImageSpace(ImageInfo.dim info), [img, pos])                  CL.mkApply(N.toImageSpace(ImageInfo.dim info), [img, pos])
224              | (Op.TensorToWorldSpace(info, ty), [v, x]) =>              | (Op.TensorToWorldSpace(info, ty), [v, x]) =>
225                  CL.mkApply(N.toWorldSpace ty, [v, x])                  CL.mkApply(N.toWorldSpace ty, [v, x])
226    (* DEPRECATED
227              | (Op.LoadImage info, [a]) =>              | (Op.LoadImage info, [a]) =>
228                  raise Fail("impossible " ^ Op.toString rator)                  raise Fail("impossible " ^ Op.toString rator)
229    *)
230              | (Op.Inside(info, s), [pos, img]) =>              | (Op.Inside(info, s), [pos, img]) =>
231                  CL.mkApply(N.inside(ImageInfo.dim info), [pos, img, intExp s])                  CL.mkApply(N.inside(ImageInfo.dim info), [pos, img, intExp s])
232              | (Op.Input(ty, desc, name), []) =>              | (Op.Input(ty, desc, name), []) =>
# Line 507  Line 509 
509            val env = trLocals (env, locals)            val env = trLocals (env, locals)
510            fun trStmt (env, stm) = (case stm            fun trStmt (env, stm) = (case stm
511                   of IL.S_Comment text => [CL.mkComment text]                   of IL.S_Comment text => [CL.mkComment text]
512    (*
513                    | IL.S_LoadImage(lhs, dim, name) => checkSts (fn sts => let                    | IL.S_LoadImage(lhs, dim, name) => checkSts (fn sts => let
514                        val lhs = VarToC.lvalueVar (env, lhs)                        val lhs = VarToC.lvalueVar (env, lhs)
515                        val imgTy = CL.T_Named(N.imageTy dim)                        val imgTy = CL.T_Named(N.imageTy dim)
# Line 519  Line 522 
522                                addrOf lhs                                addrOf lhs
523                              ]))))                              ]))))
524                        ] end)                        ] end)
525    *)
526                      | IL.S_InputImage _ => [] (* FIXME *)
527                      | IL.S_InputSeq _ => [] (* FIXME *)
528                    | _ => []                    | _ => []
529                  (* end case *))                  (* end case *))
530            val stms = List.foldr (fn (stm, stms) => trStmt(env, stm)@stms) [] body            val stms = List.foldr (fn (stm, stms) => trStmt(env, stm)@stms) [] body
# Line 547  Line 553 
553                    | IL.S_Save([x], exp) => trAssign (env, VarToC.lvalueStateVar x, exp)                    | IL.S_Save([x], exp) => trAssign (env, VarToC.lvalueStateVar x, exp)
554                    | IL.S_Save(xs, exp) =>                    | IL.S_Save(xs, exp) =>
555                        trMultiAssign (env, List.map VarToC.lvalueStateVar xs, exp)                        trMultiAssign (env, List.map VarToC.lvalueStateVar xs, exp)
556    (* DEPRECATED
557                    | IL.S_LoadImage(lhs, dim, name) => checkSts (fn sts => let                    | IL.S_LoadImage(lhs, dim, name) => checkSts (fn sts => let
558                        val lhs = VarToC.lvalueVar (env, lhs)                        val lhs = VarToC.lvalueVar (env, lhs)
559                        val name = trExp(env, name)                        val name = trExp(env, name)
# Line 560  Line 567 
567                                name, addrOf lhs                                name, addrOf lhs
568                              ]))))                              ]))))
569                        ] end)                        ] end)
570    *)
571                    | IL.S_Input(_, _, _, NONE) => []                    | IL.S_Input(_, _, _, NONE) => []
572                    | IL.S_Input(lhs, name, _, SOME dflt) => [                    | IL.S_Input(lhs, name, _, SOME dflt) => [
573                          CL.mkAssign(VarToC.lvalueVar(env, lhs), trExp(env, dflt))                          CL.mkAssign(VarToC.lvalueVar(env, lhs), trExp(env, dflt))
574                        ]                        ]
575                      | IL.S_InputImage _ => []
576                      | IL.S_InputSeq _ => []
577                    | IL.S_Exit args => []                    | IL.S_Exit args => []
578                    | IL.S_Active => [CL.mkReturn(SOME(CL.mkVar N.kActive))]                    | IL.S_Active => [CL.mkReturn(SOME(CL.mkVar N.kActive))]
579                    | IL.S_Stabilize => [CL.mkReturn(SOME(CL.mkVar N.kStabilize))]                    | IL.S_Stabilize => [CL.mkReturn(SOME(CL.mkVar N.kStabilize))]

Legend:
Removed from v.1958  
changed lines
  Added in v.2009

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