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

# SCM Repository

[diderot] Diff of /trunk/src/compiler/high-il/high-il.sml
 [diderot] / trunk / src / compiler / high-il / high-il.sml

# Diff of /trunk/src/compiler/high-il/high-il.sml

revision 1443, Mon Jul 11 10:36:10 2011 UTC revision 1444, Mon Jul 11 12:11:53 2011 UTC
# Line 64  Line 64
64        | Norm of ty        | Norm of ty
65        | Normalize of ty        | Normalize of ty
66        | Scale of ty        | Scale of ty
| CL
67        | PrincipleEvec of ty        | PrincipleEvec of ty
68        | Identity of int        | Identity of int
69        | Zero of ty        | Zero of ty
# Line 116  Line 115
115        | arity (Norm _) = 1        | arity (Norm _) = 1
116        | arity (Normalize _) = 1        | arity (Normalize _) = 1
117        | arity (Scale _) = 2        | arity (Scale _) = 2
| arity CL = 1
118        | arity (PrincipleEvec _) = 2        | arity (PrincipleEvec _) = 2
119        | arity (Identity _) = 0        | arity (Identity _) = 0
120        | arity (Zero _) = 0        | arity (Zero _) = 0
# Line 168  Line 166
166        | same (Norm(a0), Norm(b0)) = samety(a0, b0)        | same (Norm(a0), Norm(b0)) = samety(a0, b0)
167        | same (Normalize(a0), Normalize(b0)) = samety(a0, b0)        | same (Normalize(a0), Normalize(b0)) = samety(a0, b0)
168        | same (Scale(a0), Scale(b0)) = samety(a0, b0)        | same (Scale(a0), Scale(b0)) = samety(a0, b0)
| same (CL, CL) = true
169        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)
170        | same (Identity(a0), Identity(b0)) = sameint(a0, b0)        | same (Identity(a0), Identity(b0)) = sameint(a0, b0)
171        | same (Zero(a0), Zero(b0)) = samety(a0, b0)        | same (Zero(a0), Zero(b0)) = samety(a0, b0)
# Line 221  Line 218
218        | hash (Norm(a0)) = 0w101 + hashty a0        | hash (Norm(a0)) = 0w101 + hashty a0
219        | hash (Normalize(a0)) = 0w103 + hashty a0        | hash (Normalize(a0)) = 0w103 + hashty a0
220        | hash (Scale(a0)) = 0w107 + hashty a0        | hash (Scale(a0)) = 0w107 + hashty a0
221        | hash CL = 0w109        | hash (PrincipleEvec(a0)) = 0w109 + hashty a0
222        | hash (PrincipleEvec(a0)) = 0w113 + hashty a0        | hash (Identity(a0)) = 0w113 + hashint a0
223        | hash (Identity(a0)) = 0w127 + hashint a0        | hash (Zero(a0)) = 0w127 + hashty a0
224        | hash (Zero(a0)) = 0w131 + hashty a0        | hash (Trace(a0)) = 0w131 + hashty a0
225        | hash (Trace(a0)) = 0w137 + hashty a0        | hash (Slice(a0,a1)) = 0w137 + hashty a0 + hashmask a1
226        | hash (Slice(a0,a1)) = 0w139 + hashty a0 + hashmask a1        | hash (Subscript(a0)) = 0w139 + hashty a0
227        | hash (Subscript(a0)) = 0w149 + hashty a0        | hash IntToReal = 0w149
228        | hash IntToReal = 0w151        | hash TruncToInt = 0w151
229        | hash TruncToInt = 0w157        | hash RoundToInt = 0w157
230        | hash RoundToInt = 0w163        | hash CeilToInt = 0w163
231        | hash CeilToInt = 0w167        | hash FloorToInt = 0w167
232        | hash FloorToInt = 0w173        | hash (Kernel(a0,a1)) = 0w173 + Kernel.hash a0 + hashint a1
233        | hash (Kernel(a0,a1)) = 0w179 + Kernel.hash a0 + hashint a1        | hash (LoadImage(a0)) = 0w179 + ImageInfo.hash a0
234        | hash (LoadImage(a0)) = 0w181 + ImageInfo.hash a0        | hash (Inside(a0)) = 0w181 + hashint a0
235        | hash (Inside(a0)) = 0w191 + hashint a0        | hash (Field(a0)) = 0w191 + hashint a0
236        | hash (Field(a0)) = 0w193 + hashint a0        | hash (Probe(a0,a1)) = 0w193 + hashty a0 + hashty a1
237        | hash (Probe(a0,a1)) = 0w197 + hashty a0 + hashty a1        | hash AddField = 0w197
238        | hash AddField = 0w199        | hash SubField = 0w199
239        | hash SubField = 0w211        | hash ScaleField = 0w211
240        | hash ScaleField = 0w223        | hash NegField = 0w223
241        | hash NegField = 0w227        | hash DiffField = 0w227
242        | hash DiffField = 0w229        | hash (Input(a0,a1,a2)) = 0w229 + hashty a0 + hashstring a1 + hashstring a2
243        | hash (Input(a0,a1,a2)) = 0w233 + hashty a0 + hashstring a1 + hashstring a2        | hash (InputWithDefault(a0,a1,a2)) = 0w233 + hashty a0 + hashstring a1 + hashstring a2
| hash (InputWithDefault(a0,a1,a2)) = 0w239 + hashty a0 + hashstring a1 + hashstring a2
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 273  Line 269
269        | toString (Norm(a0)) = concat["Norm<", tyToString a0, ">"]        | toString (Norm(a0)) = concat["Norm<", tyToString a0, ">"]
270        | toString (Normalize(a0)) = concat["Normalize<", tyToString a0, ">"]        | toString (Normalize(a0)) = concat["Normalize<", tyToString a0, ">"]
271        | toString (Scale(a0)) = concat["Scale<", tyToString a0, ">"]        | toString (Scale(a0)) = concat["Scale<", tyToString a0, ">"]
| toString CL = "CL"
272        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]
273        | toString (Identity(a0)) = concat["Identity<", intToString a0, ">"]        | toString (Identity(a0)) = concat["Identity<", intToString a0, ">"]
274        | toString (Zero(a0)) = concat["Zero<", tyToString a0, ">"]        | toString (Zero(a0)) = concat["Zero<", tyToString a0, ">"]

Legend:
 Removed from v.1443 changed lines Added in v.1444

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