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

SCM Repository

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

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

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

revision 532, Mon Feb 14 20:26:41 2011 UTC revision 533, Mon Feb 14 22:56:45 2011 UTC
# Line 28  Line 28 
28      val realTy : ty      val realTy : ty
29      val vecTy : int -> ty      val vecTy : int -> ty
30      val ivecTy : int -> ty      val ivecTy : int -> ty
31        val stringTy : ty
32    
33      val newProgram : unit -> program      val newProgram : unit -> program
34    
# Line 36  Line 37 
37     *)     *)
38      val generate : string * program -> unit      val generate : string * program -> unit
39    
40      (* register the global initialization part of a program *)
41        val globalInit : program * stm -> unit
42    
43      val defineStrand : program * string -> strand      val defineStrand : program * string -> strand
44    
45      structure Var : sig      structure Var : sig
# Line 56  Line 60 
60          val floatLit : FloatLit.float -> exp          val floatLit : FloatLit.float -> exp
61          val stringLit : string -> exp          val stringLit : string -> exp
62          val boolLit : bool -> exp          val boolLit : bool -> exp
       (* vector construction *)  
         val vector : exp list -> exp  
63        (* select from a vector *)        (* select from a vector *)
64          val select : int * exp -> exp          val select : int * exp -> exp
65        (* vector (and scalar) arithmetic *)        (* vector (and scalar) arithmetic *)
# Line 114  Line 116 
116          val block : stm list -> stm          val block : stm list -> stm
117          val ifthen : exp * stm -> stm          val ifthen : exp * stm -> stm
118          val ifthenelse : exp * stm * stm -> stm          val ifthenelse : exp * stm * stm -> stm
119          (* special Diderot forms *)
120            val cons : var * exp list -> stm
121            val loadImage : var * int * exp -> stm list
122            val input : var * string * exp option -> stm list
123          val die : unit -> stm          val die : unit -> stm
124          val stabilize : unit -> stm          val stabilize : unit -> stm
125        end        end

Legend:
Removed from v.532  
changed lines
  Added in v.533

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