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

Parent Directory | Revision Log | 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"

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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