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 682, Thu Mar 24 00:08:08 2011 UTC revision 683, Thu Mar 24 00:42:27 2011 UTC
# Line 53  Line 53 
53        | InvScale of int        | InvScale of int
54        | CL        | CL
55        | PrincipleEvec of ty        | PrincipleEvec of ty
56          | Trace of int
57        | Subscript of ty        | Subscript of ty
58        | Ceiling of int        | Ceiling of int
59        | Floor of int        | Floor of int
# Line 95  Line 96 
96        | arity (InvScale _) = 2        | arity (InvScale _) = 2
97        | arity CL = 1        | arity CL = 1
98        | arity (PrincipleEvec _) = 2        | arity (PrincipleEvec _) = 2
99          | arity (Trace _) = 1
100        | arity (Subscript _) = 2        | arity (Subscript _) = 2
101        | arity (Ceiling _) = 1        | arity (Ceiling _) = 1
102        | arity (Floor _) = 1        | arity (Floor _) = 1
# Line 137  Line 139 
139        | same (InvScale(a0), InvScale(b0)) = sameint(a0, b0)        | same (InvScale(a0), InvScale(b0)) = sameint(a0, b0)
140        | same (CL, CL) = true        | same (CL, CL) = true
141        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)
142          | same (Trace(a0), Trace(b0)) = sameint(a0, b0)
143        | same (Subscript(a0), Subscript(b0)) = samety(a0, b0)        | same (Subscript(a0), Subscript(b0)) = samety(a0, b0)
144        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)
145        | same (Floor(a0), Floor(b0)) = sameint(a0, b0)        | same (Floor(a0), Floor(b0)) = sameint(a0, b0)
# Line 180  Line 183 
183        | hash (InvScale(a0)) = 0w89 + hashint a0        | hash (InvScale(a0)) = 0w89 + hashint a0
184        | hash CL = 0w97        | hash CL = 0w97
185        | hash (PrincipleEvec(a0)) = 0w101 + hashty a0        | hash (PrincipleEvec(a0)) = 0w101 + hashty a0
186        | hash (Subscript(a0)) = 0w103 + hashty a0        | hash (Trace(a0)) = 0w103 + hashint a0
187        | hash (Ceiling(a0)) = 0w107 + hashint a0        | hash (Subscript(a0)) = 0w107 + hashty a0
188        | hash (Floor(a0)) = 0w109 + hashint a0        | hash (Ceiling(a0)) = 0w109 + hashint a0
189        | hash (Round(a0)) = 0w113 + hashint a0        | hash (Floor(a0)) = 0w113 + hashint a0
190        | hash (Trunc(a0)) = 0w127 + hashint a0        | hash (Round(a0)) = 0w127 + hashint a0
191        | hash IntToReal = 0w131        | hash (Trunc(a0)) = 0w131 + hashint a0
192        | hash (RealToInt(a0)) = 0w137 + hashint a0        | hash IntToReal = 0w137
193        | hash (VoxelAddress(a0)) = 0w139 + ImageInfo.hash a0        | hash (RealToInt(a0)) = 0w139 + hashint a0
194        | hash (LoadVoxels(a0,a1)) = 0w149 + ImageInfo.hash a0 + hashint a1        | hash (VoxelAddress(a0)) = 0w149 + ImageInfo.hash a0
195        | hash (PosToImgSpace(a0)) = 0w151 + ImageInfo.hash a0        | hash (LoadVoxels(a0,a1)) = 0w151 + ImageInfo.hash a0 + hashint a1
196        | hash (GradToWorldSpace(a0)) = 0w157 + ImageInfo.hash a0        | hash (PosToImgSpace(a0)) = 0w157 + ImageInfo.hash a0
197        | hash (EvalKernel(a0,a1,a2)) = 0w163 + hashint a0 + Kernel.hash a1 + hashint a2        | hash (GradToWorldSpace(a0)) = 0w163 + ImageInfo.hash a0
198        | hash (LoadImage(a0)) = 0w167 + ImageInfo.hash a0        | hash (EvalKernel(a0,a1,a2)) = 0w167 + hashint a0 + Kernel.hash a1 + hashint a2
199        | hash (Inside(a0,a1)) = 0w173 + ImageInfo.hash a0 + hashint a1        | hash (LoadImage(a0)) = 0w173 + ImageInfo.hash a0
200        | hash (Input(a0,a1)) = 0w179 + hashty a0 + hashstring a1        | hash (Inside(a0,a1)) = 0w179 + ImageInfo.hash a0 + hashint a1
201        | hash (InputWithDefault(a0,a1)) = 0w181 + hashty a0 + hashstring a1        | hash (Input(a0,a1)) = 0w181 + hashty a0 + hashstring a1
202          | hash (InputWithDefault(a0,a1)) = 0w191 + hashty a0 + hashstring a1
203    
204      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]
205        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]
# Line 222  Line 226 
226        | toString (InvScale(a0)) = concat["InvScale<", intToString a0, ">"]        | toString (InvScale(a0)) = concat["InvScale<", intToString a0, ">"]
227        | toString CL = "CL"        | toString CL = "CL"
228        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]
229          | toString (Trace(a0)) = concat["Trace<", intToString a0, ">"]
230        | toString (Subscript(a0)) = concat["Subscript<", tyToString a0, ">"]        | toString (Subscript(a0)) = concat["Subscript<", tyToString a0, ">"]
231        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]
232        | toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]        | toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]

Legend:
Removed from v.682  
changed lines
  Added in v.683

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