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 761, Thu Apr 7 19:46:09 2011 UTC revision 762, Thu Apr 7 19:57:34 2011 UTC
# Line 53  Line 53 
53        | InvScale of int        | InvScale of int
54        | CL        | CL
55        | PrincipleEvec of ty        | PrincipleEvec of ty
56          | Identity of int
57        | Trace of int        | Trace of int
58        | Subscript of ty        | Subscript of ty
59        | Ceiling of int        | Ceiling of int
# Line 96  Line 97 
97        | arity (InvScale _) = 2        | arity (InvScale _) = 2
98        | arity CL = 1        | arity CL = 1
99        | arity (PrincipleEvec _) = 2        | arity (PrincipleEvec _) = 2
100          | arity (Identity _) = 0
101        | arity (Trace _) = 1        | arity (Trace _) = 1
102        | arity (Subscript _) = 2        | arity (Subscript _) = 2
103        | arity (Ceiling _) = 1        | arity (Ceiling _) = 1
# Line 139  Line 141 
141        | same (InvScale(a0), InvScale(b0)) = sameint(a0, b0)        | same (InvScale(a0), InvScale(b0)) = sameint(a0, b0)
142        | same (CL, CL) = true        | same (CL, CL) = true
143        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)
144          | same (Identity(a0), Identity(b0)) = sameint(a0, b0)
145        | same (Trace(a0), Trace(b0)) = sameint(a0, b0)        | same (Trace(a0), Trace(b0)) = sameint(a0, b0)
146        | same (Subscript(a0), Subscript(b0)) = samety(a0, b0)        | same (Subscript(a0), Subscript(b0)) = samety(a0, b0)
147        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)
# Line 183  Line 186 
186        | hash (InvScale(a0)) = 0w89 + hashint a0        | hash (InvScale(a0)) = 0w89 + hashint a0
187        | hash CL = 0w97        | hash CL = 0w97
188        | hash (PrincipleEvec(a0)) = 0w101 + hashty a0        | hash (PrincipleEvec(a0)) = 0w101 + hashty a0
189        | hash (Trace(a0)) = 0w103 + hashint a0        | hash (Identity(a0)) = 0w103 + hashint a0
190        | hash (Subscript(a0)) = 0w107 + hashty a0        | hash (Trace(a0)) = 0w107 + hashint a0
191        | hash (Ceiling(a0)) = 0w109 + hashint a0        | hash (Subscript(a0)) = 0w109 + hashty a0
192        | hash (Floor(a0)) = 0w113 + hashint a0        | hash (Ceiling(a0)) = 0w113 + hashint a0
193        | hash (Round(a0)) = 0w127 + hashint a0        | hash (Floor(a0)) = 0w127 + hashint a0
194        | hash (Trunc(a0)) = 0w131 + hashint a0        | hash (Round(a0)) = 0w131 + hashint a0
195        | hash IntToReal = 0w137        | hash (Trunc(a0)) = 0w137 + hashint a0
196        | hash (RealToInt(a0)) = 0w139 + hashint a0        | hash IntToReal = 0w139
197        | hash (VoxelAddress(a0)) = 0w149 + ImageInfo.hash a0        | hash (RealToInt(a0)) = 0w149 + hashint a0
198        | hash (LoadVoxels(a0,a1)) = 0w151 + ImageInfo.hash a0 + hashint a1        | hash (VoxelAddress(a0)) = 0w151 + ImageInfo.hash a0
199        | hash (PosToImgSpace(a0)) = 0w157 + ImageInfo.hash a0        | hash (LoadVoxels(a0,a1)) = 0w157 + ImageInfo.hash a0 + hashint a1
200        | hash (GradToWorldSpace(a0)) = 0w163 + ImageInfo.hash a0        | hash (PosToImgSpace(a0)) = 0w163 + ImageInfo.hash a0
201        | hash (EvalKernel(a0,a1,a2)) = 0w167 + hashint a0 + Kernel.hash a1 + hashint a2        | hash (GradToWorldSpace(a0)) = 0w167 + ImageInfo.hash a0
202        | hash (LoadImage(a0)) = 0w173 + ImageInfo.hash a0        | hash (EvalKernel(a0,a1,a2)) = 0w173 + hashint a0 + Kernel.hash a1 + hashint a2
203        | hash (Inside(a0,a1)) = 0w179 + ImageInfo.hash a0 + hashint a1        | hash (LoadImage(a0)) = 0w179 + ImageInfo.hash a0
204        | hash (Input(a0,a1)) = 0w181 + hashty a0 + hashstring a1        | hash (Inside(a0,a1)) = 0w181 + ImageInfo.hash a0 + hashint a1
205        | hash (InputWithDefault(a0,a1)) = 0w191 + hashty a0 + hashstring a1        | hash (Input(a0,a1)) = 0w191 + hashty a0 + hashstring a1
206          | hash (InputWithDefault(a0,a1)) = 0w193 + hashty a0 + hashstring a1
207    
208      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]
209        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]
# Line 226  Line 230 
230        | toString (InvScale(a0)) = concat["InvScale<", intToString a0, ">"]        | toString (InvScale(a0)) = concat["InvScale<", intToString a0, ">"]
231        | toString CL = "CL"        | toString CL = "CL"
232        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]
233          | toString (Identity(a0)) = concat["Identity<", intToString a0, ">"]
234        | toString (Trace(a0)) = concat["Trace<", intToString a0, ">"]        | toString (Trace(a0)) = concat["Trace<", intToString a0, ">"]
235        | toString (Subscript(a0)) = concat["Subscript<", tyToString a0, ">"]        | toString (Subscript(a0)) = concat["Subscript<", tyToString a0, ">"]
236        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]

Legend:
Removed from v.761  
changed lines
  Added in v.762

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