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 3839, Mon May 9 20:05:59 2016 UTC revision 3840, Mon May 9 20:42:08 2016 UTC
# Line 179  Line 179 
179          name : string,                  (* variable's name *)          name : string,                  (* variable's name *)
180          ty : Ty.ty,                     (* variable's type *)          ty : Ty.ty,                     (* variable's type *)
181          output : bool,                  (* true for output variables *)          output : bool,                  (* true for output variables *)
182            varying : bool,                 (* true for variables that are modified during super steps *)
183            shared : bool,                  (* true for variables that are read by other strands *)
184          props : PropList.holder          props : PropList.holder
185        }        }
186    
# 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        (* `new (isOutput, name, ty, isVarying, isShared)` creates a new state variable *)
265            val new : bool * string * Ty.ty * bool * bool -> state_var
266          val name : state_var -> string          val name : state_var -> string
267          val ty : state_var -> Ty.ty          val ty : state_var -> Ty.ty
268          val isOutput : state_var -> bool          val isOutput : state_var -> bool
269            val isVarying : state_var -> bool
270            val isShared : state_var -> bool
271          val same : state_var * state_var -> bool          val same : state_var * state_var -> bool
272          val compare : state_var * state_var -> order          val compare : state_var * state_var -> order
273          val hash : state_var -> word          val hash : state_var -> word

Legend:
Removed from v.3839  
changed lines
  Added in v.3840

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