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 851, Tue Apr 19 15:52:07 2011 UTC revision 852, Tue Apr 19 16:33:09 2011 UTC
# Line 65  Line 65 
65        | Trunc of int        | Trunc of int
66        | IntToReal        | IntToReal
67        | RealToInt of int        | RealToInt of int
68        | VoxelAddress of ImageInfo.info        | VoxelAddress of ImageInfo.info * int
69        | LoadVoxels of ImageInfo.info * int        | LoadVoxels of ImageInfo.info * int
70        | PosToImgSpace of ImageInfo.info        | PosToImgSpace of ImageInfo.info
71        | GradToWorldSpace of ImageInfo.info        | GradToWorldSpace of ImageInfo.info
# Line 159  Line 159 
159        | same (Trunc(a0), Trunc(b0)) = sameint(a0, b0)        | same (Trunc(a0), Trunc(b0)) = sameint(a0, b0)
160        | same (IntToReal, IntToReal) = true        | same (IntToReal, IntToReal) = true
161        | same (RealToInt(a0), RealToInt(b0)) = sameint(a0, b0)        | same (RealToInt(a0), RealToInt(b0)) = sameint(a0, b0)
162        | same (VoxelAddress(a0), VoxelAddress(b0)) = ImageInfo.same(a0, b0)        | same (VoxelAddress(a0,a1), VoxelAddress(b0,b1)) = ImageInfo.same(a0, b0) andalso sameint(a1, b1)
163        | same (LoadVoxels(a0,a1), LoadVoxels(b0,b1)) = ImageInfo.same(a0, b0) andalso sameint(a1, b1)        | same (LoadVoxels(a0,a1), LoadVoxels(b0,b1)) = ImageInfo.same(a0, b0) andalso sameint(a1, b1)
164        | same (PosToImgSpace(a0), PosToImgSpace(b0)) = ImageInfo.same(a0, b0)        | same (PosToImgSpace(a0), PosToImgSpace(b0)) = ImageInfo.same(a0, b0)
165        | same (GradToWorldSpace(a0), GradToWorldSpace(b0)) = ImageInfo.same(a0, b0)        | same (GradToWorldSpace(a0), GradToWorldSpace(b0)) = ImageInfo.same(a0, b0)
# Line 207  Line 207 
207        | hash (Trunc(a0)) = 0w151 + hashint a0        | hash (Trunc(a0)) = 0w151 + hashint a0
208        | hash IntToReal = 0w157        | hash IntToReal = 0w157
209        | hash (RealToInt(a0)) = 0w163 + hashint a0        | hash (RealToInt(a0)) = 0w163 + hashint a0
210        | hash (VoxelAddress(a0)) = 0w167 + ImageInfo.hash a0        | hash (VoxelAddress(a0,a1)) = 0w167 + ImageInfo.hash a0 + hashint a1
211        | hash (LoadVoxels(a0,a1)) = 0w173 + ImageInfo.hash a0 + hashint a1        | hash (LoadVoxels(a0,a1)) = 0w173 + ImageInfo.hash a0 + hashint a1
212        | hash (PosToImgSpace(a0)) = 0w179 + ImageInfo.hash a0        | hash (PosToImgSpace(a0)) = 0w179 + ImageInfo.hash a0
213        | hash (GradToWorldSpace(a0)) = 0w181 + ImageInfo.hash a0        | hash (GradToWorldSpace(a0)) = 0w181 + ImageInfo.hash a0
# Line 254  Line 254 
254        | toString (Trunc(a0)) = concat["Trunc<", intToString a0, ">"]        | toString (Trunc(a0)) = concat["Trunc<", intToString a0, ">"]
255        | toString IntToReal = "IntToReal"        | toString IntToReal = "IntToReal"
256        | toString (RealToInt(a0)) = concat["RealToInt<", intToString a0, ">"]        | toString (RealToInt(a0)) = concat["RealToInt<", intToString a0, ">"]
257        | toString (VoxelAddress(a0)) = concat["VoxelAddress<", ImageInfo.toString a0, ">"]        | toString (VoxelAddress(a0,a1)) = concat["VoxelAddress<", ImageInfo.toString a0, ",", intToString a1, ">"]
258        | toString (LoadVoxels(a0,a1)) = concat["LoadVoxels<", ImageInfo.toString a0, ",", intToString a1, ">"]        | toString (LoadVoxels(a0,a1)) = concat["LoadVoxels<", ImageInfo.toString a0, ",", intToString a1, ">"]
259        | toString (PosToImgSpace(a0)) = concat["PosToImgSpace<", ImageInfo.toString a0, ">"]        | toString (PosToImgSpace(a0)) = concat["PosToImgSpace<", ImageInfo.toString a0, ">"]
260        | toString (GradToWorldSpace(a0)) = concat["GradToWorldSpace<", ImageInfo.toString a0, ">"]        | toString (GradToWorldSpace(a0)) = concat["GradToWorldSpace<", ImageInfo.toString a0, ">"]

Legend:
Removed from v.851  
changed lines
  Added in v.852

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