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

SCM Repository

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

Diff of /branches/pure-cfg/src/compiler/low-il/low-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 49  Line 49 
49        | Select of ty * int        | Select of ty * int
50        | Norm of ty        | Norm of ty
51        | Normalize of int        | Normalize of int
52        | Scale of int        | Scale of ty
53        | CL        | CL
54        | PrincipleEvec of ty        | PrincipleEvec of ty
55        | Identity of int        | Identity of int
# Line 141  Line 141 
141        | 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)
142        | same (Norm(a0), Norm(b0)) = samety(a0, b0)        | same (Norm(a0), Norm(b0)) = samety(a0, b0)
143        | same (Normalize(a0), Normalize(b0)) = sameint(a0, b0)        | same (Normalize(a0), Normalize(b0)) = sameint(a0, b0)
144        | same (Scale(a0), Scale(b0)) = sameint(a0, b0)        | same (Scale(a0), Scale(b0)) = samety(a0, b0)
145        | same (CL, CL) = true        | same (CL, CL) = true
146        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)
147        | same (Identity(a0), Identity(b0)) = sameint(a0, b0)        | same (Identity(a0), Identity(b0)) = sameint(a0, b0)
# Line 188  Line 188 
188        | hash (Select(a0,a1)) = 0w83 + hashty a0 + hashint a1        | hash (Select(a0,a1)) = 0w83 + hashty a0 + hashint a1
189        | hash (Norm(a0)) = 0w89 + hashty a0        | hash (Norm(a0)) = 0w89 + hashty a0
190        | hash (Normalize(a0)) = 0w97 + hashint a0        | hash (Normalize(a0)) = 0w97 + hashint a0
191        | hash (Scale(a0)) = 0w101 + hashint a0        | hash (Scale(a0)) = 0w101 + hashty a0
192        | hash CL = 0w103        | hash CL = 0w103
193        | hash (PrincipleEvec(a0)) = 0w107 + hashty a0        | hash (PrincipleEvec(a0)) = 0w107 + hashty a0
194        | hash (Identity(a0)) = 0w109 + hashint a0        | hash (Identity(a0)) = 0w109 + hashint a0
# Line 234  Line 234 
234        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]
235        | toString (Norm(a0)) = concat["Norm<", tyToString a0, ">"]        | toString (Norm(a0)) = concat["Norm<", tyToString a0, ">"]
236        | toString (Normalize(a0)) = concat["Normalize<", intToString a0, ">"]        | toString (Normalize(a0)) = concat["Normalize<", intToString a0, ">"]
237        | toString (Scale(a0)) = concat["Scale<", intToString a0, ">"]        | toString (Scale(a0)) = concat["Scale<", tyToString a0, ">"]
238        | toString CL = "CL"        | toString CL = "CL"
239        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]
240        | 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