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

SCM Repository

[diderot] Annotation of /branches/vis12/src/compiler/c-util/gen-inputs.sml
ViewVC logotype

Annotation of /branches/vis12/src/compiler/c-util/gen-inputs.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1774 - (view) (download)

1 : jhr 1774 (* gen-inputs.sml
2 :     *
3 :     * COPYRIGHT (c) 2012 The Diderot Project (http://diderot-language.cs.uchicago.edu)
4 :     * All rights reserved.
5 :     *)
6 :    
7 :     structure GenInputs : sig
8 :    
9 :     val genRegisterInputs : TargetUtil.target_desc * (TreeIL.Ty.ty * string) list -> CLang.decl
10 :    
11 :     end = struct
12 :    
13 :     structure CL = CLang
14 :     structure N = CNames
15 :    
16 :     fun genRegisterInputs (tgt : TargetUtil.target_desc, inputs) = let
17 :     val prefix = #namespace tgt
18 :     (* the world pointer type *)
19 :     val worldPtrTy = CL.T_Ptr(CL.T_Named(prefix ^ "World_t"))
20 :     in
21 :     CL.D_Func(
22 :     [], CL.voidTy, N.registerOpts,
23 :     [CL.PARAM([], worldPtrTy, "wrld"), CL.PARAM([], CL.T_Ptr(CL.T_Named N.optionsTy), "opts")],
24 :     (* FIXME: fill in the code! *)
25 :     CL.mkBlock[])
26 :     end
27 :    
28 :     end

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