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-fn.sml
ViewVC logotype

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

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

revision 3538, Fri Dec 25 21:50:24 2015 UTC revision 3550, Wed Jan 6 15:51:57 2016 UTC
# Line 143  Line 143 
143          kind : global_kind,             (* the variable kind *)          kind : global_kind,             (* the variable kind *)
144          updated : bool,                 (* true if the global variable is modified in the *)          updated : bool,                 (* true if the global variable is modified in the *)
145                                          (* global-update code *)                                          (* global-update code *)
146            binding : var option ref,       (* the local variable used to define this global variable
147                                             * (i.e., in a GASSIGN node).  This field will be NONE
148                                             * for mutable variables.
149                                             *)
150          useCnt : int ref,               (* count of uses *)          useCnt : int ref,               (* count of uses *)
151          props : PropList.holder          props : PropList.holder
152        }        }
# Line 205  Line 209 
209                  ty = ty,                  ty = ty,
210                  kind = kind,                  kind = kind,
211                  updated = isUpdated,                  updated = isUpdated,
212                    binding = ref NONE,
213                  useCnt = ref 0,                  useCnt = ref 0,
214                  props = PropList.newHolder()                  props = PropList.newHolder()
215                }                }
# Line 212  Line 217 
217          fun uniqueName (GV{id, name, ...}) = name ^ Stamp.toString id          fun uniqueName (GV{id, name, ...}) = name ^ Stamp.toString id
218          fun kind (GV{kind, ...}) = kind          fun kind (GV{kind, ...}) = kind
219          fun isUpdated (GV{updated, ...}) = updated          fun isUpdated (GV{updated, ...}) = updated
220            fun bindingOf (GV{binding, ...}) = !binding
221            fun setBinding (GV{binding, ...}, x) = (binding := SOME x)
222          fun ty (GV{ty, ...}) = ty          fun ty (GV{ty, ...}) = ty
223          fun isInput (GV{kind=InputVar, ...}) = true          fun isInput (GV{kind=InputVar, ...}) = true
224            | isInput _ = false            | isInput _ = false

Legend:
Removed from v.3538  
changed lines
  Added in v.3550

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