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

SCM Repository

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

Diff of /branches/vis15/src/compiler/cfg-ir/ssa-sig.sml

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

revision 3836, Mon May 9 15:30:25 2016 UTC revision 3837, Mon May 9 16:38:09 2016 UTC
# Line 162  Line 162 
162          id : Stamp.stamp,               (* variable's unique ID *)          id : Stamp.stamp,               (* variable's unique ID *)
163          name : string,                  (* variable's name *)          name : string,                  (* variable's name *)
164          ty : Ty.ty,                     (* variable's type *)          ty : Ty.ty,                     (* variable's type *)
165            xty : APITypes.t option,        (* the variable's external type (for inputs and outputs) *)
166          kind : global_kind,             (* the variable kind *)          kind : global_kind,             (* the variable kind *)
167          updated : bool,                 (* true if the global variable is modified in the *)          updated : bool,                 (* true if the global variable is modified in the *)
168                                          (* global-update code *)                                          (* global-update code *)
# Line 178  Line 179 
179          id : Stamp.stamp,               (* variable's unique ID *)          id : Stamp.stamp,               (* variable's unique ID *)
180          name : string,                  (* variable's name *)          name : string,                  (* variable's name *)
181          ty : Ty.ty,                     (* variable's type *)          ty : Ty.ty,                     (* variable's type *)
182          output : bool,                  (* true for output variables *)          xty : APITypes.t option,        (* the variable's external type (for outputs) *)
183          props : PropList.holder          props : PropList.holder
184        }        }
185    
# Line 225  Line 226 
226    
227    (* operations on global variables *)    (* operations on global variables *)
228      structure GlobalVar : sig      structure GlobalVar : sig
229        (* `new (kind, isUpdated, name, ty)` creates a new global variable *)        (* `new (kind, isUpdated, name, ty, apiTy)` creates a new global variable *)
230          val new : global_kind * bool * string * Ty.ty -> global_var          val new : global_kind * bool * string * Ty.ty * APITypes.t option -> global_var
231          val name : global_var -> string          val name : global_var -> string
232          val uniqueName : global_var -> string          val uniqueName : global_var -> string
233          val ty : global_var -> Ty.ty          val ty : global_var -> Ty.ty
234            val apiType : global_var -> APITypes.t option
235          val kind : global_var -> global_kind          val kind : global_var -> global_kind
236          val isUpdated : global_var -> bool          val isUpdated : global_var -> bool
237          val bindingOf : global_var -> var option          val bindingOf : global_var -> var option
# Line 259  Line 261 
261    
262    (* operations on strand-state variables *)    (* operations on strand-state variables *)
263      structure StateVar : sig      structure StateVar : sig
264          val new : bool * string * Ty.ty -> state_var          val new : string * Ty.ty * APITypes.t option -> state_var
265          val name : state_var -> string          val name : state_var -> string
266          val ty : state_var -> Ty.ty          val ty : state_var -> Ty.ty
267            val apiType : state_var -> APITypes.t option
268          val isOutput : state_var -> bool          val isOutput : state_var -> bool
269          val same : state_var * state_var -> bool          val same : state_var * state_var -> bool
270          val compare : state_var * state_var -> order          val compare : state_var * state_var -> order

Legend:
Removed from v.3836  
changed lines
  Added in v.3837

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