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

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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