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

SCM Repository

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

Diff of /branches/charisee/src/compiler/low-il/low-il.sml

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

revision 510, Tue Feb 8 16:12:38 2011 UTC revision 511, Tue Feb 8 17:01:43 2011 UTC
# Line 57  Line 57 
57        | RoundToInt of int        | RoundToInt of int
58        | CeilToInt of int        | CeilToInt of int
59        | FloorToInt of int        | FloorToInt of int
60        | VoxelAddress of ImageInfo.info        | ImageAddress of ImageInfo.info
61        | LoadVoxels of RawTypes.ty * int        | LoadVoxels of RawTypes.ty * int
62        | PosToImgSpace of ImageInfo.info        | PosToImgSpace of ImageInfo.info
63        | GradToWorldSpace of ImageInfo.info        | GradToWorldSpace of ImageInfo.info
# Line 98  Line 98 
98        | arity (RoundToInt _) = 1        | arity (RoundToInt _) = 1
99        | arity (CeilToInt _) = 1        | arity (CeilToInt _) = 1
100        | arity (FloorToInt _) = 1        | arity (FloorToInt _) = 1
101        | arity (VoxelAddress _) = ~1        | arity (ImageAddress _) = 0
102        | arity (LoadVoxels _) = 1        | arity (LoadVoxels _) = 1
103        | arity (PosToImgSpace _) = 1        | arity (PosToImgSpace _) = 1
104        | arity (GradToWorldSpace _) = 1        | arity (GradToWorldSpace _) = 1
# Line 139  Line 139 
139        | same (RoundToInt(a0), RoundToInt(b0)) = sameint(a0, b0)        | same (RoundToInt(a0), RoundToInt(b0)) = sameint(a0, b0)
140        | same (CeilToInt(a0), CeilToInt(b0)) = sameint(a0, b0)        | same (CeilToInt(a0), CeilToInt(b0)) = sameint(a0, b0)
141        | same (FloorToInt(a0), FloorToInt(b0)) = sameint(a0, b0)        | same (FloorToInt(a0), FloorToInt(b0)) = sameint(a0, b0)
142        | same (VoxelAddress(a0), VoxelAddress(b0)) = ImageInfo.same(a0, b0)        | same (ImageAddress(a0), ImageAddress(b0)) = ImageInfo.same(a0, b0)
143        | same (LoadVoxels(a0,a1), LoadVoxels(b0,b1)) = RawTypes.same(a0, b0) andalso sameint(a1, b1)        | same (LoadVoxels(a0,a1), LoadVoxels(b0,b1)) = RawTypes.same(a0, b0) andalso sameint(a1, b1)
144        | same (PosToImgSpace(a0), PosToImgSpace(b0)) = ImageInfo.same(a0, b0)        | same (PosToImgSpace(a0), PosToImgSpace(b0)) = ImageInfo.same(a0, b0)
145        | same (GradToWorldSpace(a0), GradToWorldSpace(b0)) = ImageInfo.same(a0, b0)        | same (GradToWorldSpace(a0), GradToWorldSpace(b0)) = ImageInfo.same(a0, b0)
# Line 181  Line 181 
181        | hash (RoundToInt(a0)) = 0w127 + hashint a0        | hash (RoundToInt(a0)) = 0w127 + hashint a0
182        | hash (CeilToInt(a0)) = 0w131 + hashint a0        | hash (CeilToInt(a0)) = 0w131 + hashint a0
183        | hash (FloorToInt(a0)) = 0w137 + hashint a0        | hash (FloorToInt(a0)) = 0w137 + hashint a0
184        | hash (VoxelAddress(a0)) = 0w139 + ImageInfo.hash a0        | hash (ImageAddress(a0)) = 0w139 + ImageInfo.hash a0
185        | hash (LoadVoxels(a0,a1)) = 0w149 + RawTypes.hash a0 + hashint a1        | hash (LoadVoxels(a0,a1)) = 0w149 + RawTypes.hash a0 + hashint a1
186        | hash (PosToImgSpace(a0)) = 0w151 + ImageInfo.hash a0        | hash (PosToImgSpace(a0)) = 0w151 + ImageInfo.hash a0
187        | hash (GradToWorldSpace(a0)) = 0w157 + ImageInfo.hash a0        | hash (GradToWorldSpace(a0)) = 0w157 + ImageInfo.hash a0
# Line 222  Line 222 
222        | toString (RoundToInt(a0)) = concat["RoundToInt<", intToString a0, ">"]        | toString (RoundToInt(a0)) = concat["RoundToInt<", intToString a0, ">"]
223        | toString (CeilToInt(a0)) = concat["CeilToInt<", intToString a0, ">"]        | toString (CeilToInt(a0)) = concat["CeilToInt<", intToString a0, ">"]
224        | toString (FloorToInt(a0)) = concat["FloorToInt<", intToString a0, ">"]        | toString (FloorToInt(a0)) = concat["FloorToInt<", intToString a0, ">"]
225        | toString (VoxelAddress(a0)) = concat["VoxelAddress<", ImageInfo.toString a0, ">"]        | toString (ImageAddress(a0)) = concat["ImageAddress<", ImageInfo.toString a0, ">"]
226        | toString (LoadVoxels(a0,a1)) = concat["LoadVoxels<", RawTypes.toString a0, ",", intToString a1, ">"]        | toString (LoadVoxels(a0,a1)) = concat["LoadVoxels<", RawTypes.toString a0, ",", intToString a1, ">"]
227        | toString (PosToImgSpace(a0)) = concat["PosToImgSpace<", ImageInfo.toString a0, ">"]        | toString (PosToImgSpace(a0)) = concat["PosToImgSpace<", ImageInfo.toString a0, ">"]
228        | toString (GradToWorldSpace(a0)) = concat["GradToWorldSpace<", ImageInfo.toString a0, ">"]        | toString (GradToWorldSpace(a0)) = concat["GradToWorldSpace<", ImageInfo.toString a0, ">"]

Legend:
Removed from v.510  
changed lines
  Added in v.511

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