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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/high-il/high-il.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/high-il/high-il.sml

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

revision 1031, Sun May 1 17:39:05 2011 UTC revision 1032, Sun May 1 17:39:37 2011 UTC
# Line 81  Line 81 
81        | Field of int        | Field of int
82        | Probe of ty * ty        | Probe of ty * ty
83        | AddField        | AddField
84          | SubField
85        | ScaleField        | ScaleField
86        | NegField        | NegField
87        | DiffField        | DiffField
# Line 131  Line 132 
132        | arity (Field _) = 2        | arity (Field _) = 2
133        | arity (Probe _) = 2        | arity (Probe _) = 2
134        | arity AddField = 2        | arity AddField = 2
135          | arity SubField = 2
136        | arity ScaleField = 2        | arity ScaleField = 2
137        | arity NegField = 1        | arity NegField = 1
138        | arity DiffField = 1        | arity DiffField = 1
# Line 181  Line 183 
183        | same (Field(a0), Field(b0)) = sameint(a0, b0)        | same (Field(a0), Field(b0)) = sameint(a0, b0)
184        | same (Probe(a0,a1), Probe(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)        | same (Probe(a0,a1), Probe(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)
185        | same (AddField, AddField) = true        | same (AddField, AddField) = true
186          | same (SubField, SubField) = true
187        | same (ScaleField, ScaleField) = true        | same (ScaleField, ScaleField) = true
188        | same (NegField, NegField) = true        | same (NegField, NegField) = true
189        | same (DiffField, DiffField) = true        | same (DiffField, DiffField) = true
# Line 232  Line 235 
235        | hash (Field(a0)) = 0w191 + hashint a0        | hash (Field(a0)) = 0w191 + hashint a0
236        | hash (Probe(a0,a1)) = 0w193 + hashty a0 + hashty a1        | hash (Probe(a0,a1)) = 0w193 + hashty a0 + hashty a1
237        | hash AddField = 0w197        | hash AddField = 0w197
238        | hash ScaleField = 0w199        | hash SubField = 0w199
239        | hash NegField = 0w211        | hash ScaleField = 0w211
240        | hash DiffField = 0w223        | hash NegField = 0w223
241        | hash (Input(a0,a1)) = 0w227 + hashty a0 + hashstring a1        | hash DiffField = 0w227
242        | hash (InputWithDefault(a0,a1)) = 0w229 + hashty a0 + hashstring a1        | hash (Input(a0,a1)) = 0w229 + hashty a0 + hashstring a1
243          | hash (InputWithDefault(a0,a1)) = 0w233 + hashty a0 + hashstring a1
244    
245      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]
246        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]
# Line 282  Line 286 
286        | toString (Field(a0)) = concat["Field<", intToString a0, ">"]        | toString (Field(a0)) = concat["Field<", intToString a0, ">"]
287        | toString (Probe(a0,a1)) = concat["Probe<", tyToString a0, ",", tyToString a1, ">"]        | toString (Probe(a0,a1)) = concat["Probe<", tyToString a0, ",", tyToString a1, ">"]
288        | toString AddField = "AddField"        | toString AddField = "AddField"
289          | toString SubField = "SubField"
290        | toString ScaleField = "ScaleField"        | toString ScaleField = "ScaleField"
291        | toString NegField = "NegField"        | toString NegField = "NegField"
292        | toString DiffField = "DiffField"        | toString DiffField = "DiffField"

Legend:
Removed from v.1031  
changed lines
  Added in v.1032

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