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

SCM Repository

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

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

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

revision 831, Sun Apr 17 19:42:25 2011 UTC revision 832, Sun Apr 17 19:54:58 2011 UTC
# Line 52  Line 52 
52        | Select of ty * int        | Select of ty * int
53        | Norm of ty        | Norm of ty
54        | Normalize of int        | Normalize of int
55        | Scale of int        | Scale of ty
56        | CL        | CL
57        | PrincipleEvec of ty        | PrincipleEvec of ty
58        | Identity of int        | Identity of int
# Line 146  Line 146 
146        | same (Select(a0,a1), Select(b0,b1)) = samety(a0, b0) andalso sameint(a1, b1)        | same (Select(a0,a1), Select(b0,b1)) = samety(a0, b0) andalso sameint(a1, b1)
147        | same (Norm(a0), Norm(b0)) = samety(a0, b0)        | same (Norm(a0), Norm(b0)) = samety(a0, b0)
148        | same (Normalize(a0), Normalize(b0)) = sameint(a0, b0)        | same (Normalize(a0), Normalize(b0)) = sameint(a0, b0)
149        | same (Scale(a0), Scale(b0)) = sameint(a0, b0)        | same (Scale(a0), Scale(b0)) = samety(a0, b0)
150        | same (CL, CL) = true        | same (CL, CL) = true
151        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)
152        | same (Identity(a0), Identity(b0)) = sameint(a0, b0)        | same (Identity(a0), Identity(b0)) = sameint(a0, b0)
# Line 194  Line 194 
194        | hash (Select(a0,a1)) = 0w83 + hashty a0 + hashint a1        | hash (Select(a0,a1)) = 0w83 + hashty a0 + hashint a1
195        | hash (Norm(a0)) = 0w89 + hashty a0        | hash (Norm(a0)) = 0w89 + hashty a0
196        | hash (Normalize(a0)) = 0w97 + hashint a0        | hash (Normalize(a0)) = 0w97 + hashint a0
197        | hash (Scale(a0)) = 0w101 + hashint a0        | hash (Scale(a0)) = 0w101 + hashty a0
198        | hash CL = 0w103        | hash CL = 0w103
199        | hash (PrincipleEvec(a0)) = 0w107 + hashty a0        | hash (PrincipleEvec(a0)) = 0w107 + hashty a0
200        | hash (Identity(a0)) = 0w109 + hashint a0        | hash (Identity(a0)) = 0w109 + hashint a0
# Line 241  Line 241 
241        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]
242        | toString (Norm(a0)) = concat["Norm<", tyToString a0, ">"]        | toString (Norm(a0)) = concat["Norm<", tyToString a0, ">"]
243        | toString (Normalize(a0)) = concat["Normalize<", intToString a0, ">"]        | toString (Normalize(a0)) = concat["Normalize<", intToString a0, ">"]
244        | toString (Scale(a0)) = concat["Scale<", intToString a0, ">"]        | toString (Scale(a0)) = concat["Scale<", tyToString a0, ">"]
245        | toString CL = "CL"        | toString CL = "CL"
246        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]
247        | toString (Identity(a0)) = concat["Identity<", intToString a0, ">"]        | toString (Identity(a0)) = concat["Identity<", intToString a0, ">"]

Legend:
Removed from v.831  
changed lines
  Added in v.832

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