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 2023, Wed Oct 10 12:27:13 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 _, []) => raise Fail("impossible " ^ Op.toString rator)
                 raise Fail("impossible " ^ Op.toString rator)  
             | (Op.InputWithDefault(ty, desc, name), [a]) =>  
                 raise Fail("impossible " ^ Op.toString rator)  
233              | _ => raise Fail(concat[              | _ => raise Fail(concat[
234                    "unknown or incorrect operator ", Op.toString rator                    "unknown or incorrect operator ", Op.toString rator
235                  ])                  ])
# Line 507  Line 506 
506            val env = trLocals (env, locals)            val env = trLocals (env, locals)
507            fun trStmt (env, stm) = (case stm            fun trStmt (env, stm) = (case stm
508                   of IL.S_Comment text => [CL.mkComment text]                   of IL.S_Comment text => [CL.mkComment text]
509    (*
510                    | IL.S_LoadImage(lhs, dim, name) => checkSts (fn sts => let                    | IL.S_LoadImage(lhs, dim, name) => checkSts (fn sts => let
511                        val lhs = VarToC.lvalueVar (env, lhs)                        val lhs = VarToC.lvalueVar (env, lhs)
512                        val imgTy = CL.T_Named(N.imageTy dim)                        val imgTy = CL.T_Named(N.imageTy dim)
# Line 519  Line 519 
519                                addrOf lhs                                addrOf lhs
520                              ]))))                              ]))))
521                        ] end)                        ] end)
522    *)
523                      | IL.S_InputNrrd _ => [] (* FIXME *)
524                    | _ => []                    | _ => []
525                  (* end case *))                  (* end case *))
526            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 549 
549                    | IL.S_Save([x], exp) => trAssign (env, VarToC.lvalueStateVar x, exp)                    | IL.S_Save([x], exp) => trAssign (env, VarToC.lvalueStateVar x, exp)
550                    | IL.S_Save(xs, exp) =>                    | IL.S_Save(xs, exp) =>
551                        trMultiAssign (env, List.map VarToC.lvalueStateVar xs, exp)                        trMultiAssign (env, List.map VarToC.lvalueStateVar xs, exp)
552    (* DEPRECATED
553                    | IL.S_LoadImage(lhs, dim, name) => checkSts (fn sts => let                    | IL.S_LoadImage(lhs, dim, name) => checkSts (fn sts => let
554                        val lhs = VarToC.lvalueVar (env, lhs)                        val lhs = VarToC.lvalueVar (env, lhs)
555                        val name = trExp(env, name)                        val name = trExp(env, name)
# Line 560  Line 563 
563                                name, addrOf lhs                                name, addrOf lhs
564                              ]))))                              ]))))
565                        ] end)                        ] end)
566    *)
567                    | IL.S_Input(_, _, _, NONE) => []                    | IL.S_Input(_, _, _, NONE) => []
568                    | IL.S_Input(lhs, name, _, SOME dflt) => [                    | IL.S_Input(lhs, name, _, SOME dflt) => [
569                          CL.mkAssign(VarToC.lvalueVar(env, lhs), trExp(env, dflt))                          CL.mkAssign(VarToC.lvalueVar(env, lhs), trExp(env, dflt))
570                        ]                        ]
571                      | IL.S_InputNrrd _ => []
572                    | IL.S_Exit args => []                    | IL.S_Exit args => []
573                    | IL.S_Active => [CL.mkReturn(SOME(CL.mkVar N.kActive))]                    | IL.S_Active => [CL.mkReturn(SOME(CL.mkVar N.kActive))]
574                    | 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.2023

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