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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/tree-ir/tree-ir.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/tree-ir/tree-ir.sml

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

revision 3750, Wed Apr 13 07:35:23 2016 UTC revision 3828, Thu May 5 19:55:46 2016 UTC
# Line 12  Line 12 
12  structure TreeIR =  structure TreeIR =
13    struct    struct
14    
15      structure Op = LowOps      structure Op = TreeOps
16      structure Ty = TreeTypes      structure Ty = TreeTypes
17    
18      datatype program = Program of {      datatype program = Program of {
# Line 49  Line 49 
49    
50      and stm      and stm
51        = S_Comment of string list        = S_Comment of string list
52        | S_Assign of var list * exp        | S_Unpack of var list * exp      (* unpack vector pieces into local variables *)
53          | S_Assign of var * exp
54        | S_GAssign of global_var * exp        | S_GAssign of global_var * exp
55        | S_IfThen of exp * block        | S_IfThen of exp * block
56        | S_IfThenElse of exp * block * block        | S_IfThenElse of exp * block * block
57        | S_Foreach of var * exp * block        | S_Foreach of var * exp * block
58      (* special Diderot forms *)      (* special Diderot forms *)
59        | S_LoadNrrd of var * Ty.ty * string        | S_LoadNrrd of var * string
60        | S_Input of global_var * string * string option * exp option (* get input *)        | S_Input of global_var * string * string option * exp option (* get input *)
61        | S_InputNrrd of global_var * string * string option * string option (* get image/seq input *)        | S_InputNrrd of global_var * string * string option * string option (* get image/seq input *)
62        | S_New of Atom.atom * exp list   (* new strand creation *)        | S_New of Atom.atom * exp list   (* new strand creation *)
63        | S_Save of state_var list * exp  (* save strand state *)        | S_Save of state_var * exp  (* save strand state *)
64        | S_Exit of exp list        | S_Exit of exp list
65          | S_Print of Ty.t list * exp list
66      (* return functions for methods *)      (* return functions for methods *)
67        | S_Active        | S_Active
68        | S_Stabilize        | S_Stabilize
# Line 72  Line 74 
74        | E_Var of var        | E_Var of var
75        | E_Lit of Literal.t        | E_Lit of Literal.t
76        | E_Op of Op.rator * exp list        | E_Op of Op.rator * exp list
77        | E_Cons of Ty.ty * exp list        | E_Cons of exp list * Ty.t
78        | E_Seq of Ty.ty * exp list        | E_Seq of exp list * Ty.t
79          | E_Pack of exp list              (* pack vector pieces into composite vector value *)
80          | E_Select of exp * int           (* select vector piece of composite vector value *)
81    
82      and global_var = GV of {      and global_var = GV of {
83          name : string,          (* name (should be unique) *)          name : string,          (* name (should be unique) *)
84          ty : Ty.ty,             (* type *)          ty : Ty.t,                      (* type *)
85            xty : APITypes.t option,        (* external type (for inputs and outputs) *)
86          input : bool            (* is an input variable *)          input : bool            (* is an input variable *)
87        }        }
88    
89      and state_var = SV of {      and state_var = SV of {
90          name : string,          (* name (should be unique) *)          name : string,          (* name (should be unique) *)
91          ty : Ty.ty,             (* type *)          ty : Ty.t,                      (* type *)
92          varying : bool,         (* varies over the lifetime of the strand *)          varying : bool,         (* varies over the lifetime of the strand *)
93          output : bool           (* is the output value of the strand *)          output : bool           (* is the output value of the strand *)
94        }        }
# Line 91  Line 96 
96      and var = V of {      and var = V of {
97          name : string,                  (* name (should be unique) *)          name : string,                  (* name (should be unique) *)
98          id : Stamp.stamp,               (* unique ID *)          id : Stamp.stamp,               (* unique ID *)
99          ty : Ty.ty                      (* type *)          ty : Ty.t                       (* type *)
100        }        }
101    
102      withtype input = global_var Inputs.input      withtype input = global_var Inputs.input
103    
104      structure GlobalVar : sig      structure GlobalVar : sig
105          val name : global_var -> string          val name : global_var -> string
106          val ty : global_var -> Ty.ty          val ty : global_var -> Ty.t
107          val isInput : global_var -> bool          val isInput : global_var -> bool
108          val toString : global_var -> string          val toString : global_var -> string
109        end = struct        end = struct
# Line 110  Line 115 
115    
116      structure StateVar : sig      structure StateVar : sig
117          val name : state_var -> string          val name : state_var -> string
118          val ty : state_var -> Ty.ty          val ty : state_var -> Ty.t
119          val isOutput : state_var -> bool          val isOutput : state_var -> bool
120          val isVarying : state_var -> bool          val isVarying : state_var -> bool
121          val toString : state_var -> string          val toString : state_var -> string
# Line 124  Line 129 
129    
130      structure Var : sig      structure Var : sig
131    
132          val new : string * Ty.ty -> var          val new : string * Ty.t -> var
133          val name : var -> string          val name : var -> string
134          val toString : var -> string          val toString : var -> string
135          val ty : var -> Ty.ty          val ty : var -> Ty.t
136    
137            structure Set : ORD_SET where type Key.ord_key = var
138          structure Map : ORD_MAP where type Key.ord_key = var          structure Map : ORD_MAP where type Key.ord_key = var
139    
140        end = struct        end = struct
# Line 147  Line 153 
153                fun compare (V{id=a, ...}, V{id=b, ...}) = Stamp.compare(a, b)                fun compare (V{id=a, ...}, V{id=b, ...}) = Stamp.compare(a, b)
154              end              end
155          in          in
156            structure Set = RedBlackSetFn (VarOrd)
157          structure Map = RedBlackMapFn (VarOrd)          structure Map = RedBlackMapFn (VarOrd)
158          end (* local *)          end (* local *)
159        end        end

Legend:
Removed from v.3750  
changed lines
  Added in v.3828

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