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

SCM Repository

[diderot] Diff of /trunk/src/compiler/high-il/high-il.sml
ViewVC logotype

Diff of /trunk/src/compiler/high-il/high-il.sml

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

revision 195, Mon Aug 2 19:09:04 2010 UTC revision 197, Mon Aug 2 20:51:47 2010 UTC
# Line 58  Line 58 
58        | FloorToInt        | FloorToInt
59        | Kernel of Kernel.kernel        | Kernel of Kernel.kernel
60        | LoadImage of ImageInfo.info        | LoadImage of ImageInfo.info
61          | Convolve
62        | Inside        | Inside
63        | Field of FieldDef.field_def        | Field of FieldDef.field_def
64        | AddField        | AddField
# Line 99  Line 100 
100        | arity FloorToInt = 1        | arity FloorToInt = 1
101        | arity (Kernel _) = 0        | arity (Kernel _) = 0
102        | arity (LoadImage _) = 1        | arity (LoadImage _) = 1
103          | arity Convolve = 2
104        | arity Inside = 2        | arity Inside = 2
105        | arity (Field _) = 0        | arity (Field _) = 0
106        | arity AddField = 2        | arity AddField = 2
# Line 140  Line 142 
142        | same (FloorToInt, FloorToInt) = true        | same (FloorToInt, FloorToInt) = true
143        | same (Kernel a, Kernel b) = Kernel.same(a, b)        | same (Kernel a, Kernel b) = Kernel.same(a, b)
144        | same (LoadImage a, LoadImage b) = ImageInfo.same(a, b)        | same (LoadImage a, LoadImage b) = ImageInfo.same(a, b)
145          | same (Convolve, Convolve) = true
146        | same (Inside, Inside) = true        | same (Inside, Inside) = true
147        | same (Field a, Field b) = FieldDef.same(a, b)        | same (Field a, Field b) = FieldDef.same(a, b)
148        | same (AddField, AddField) = true        | same (AddField, AddField) = true
# Line 182  Line 185 
185        | hash FloorToInt = 0w127        | hash FloorToInt = 0w127
186        | hash (Kernel a) = 0w131 + Kernel.hash a        | hash (Kernel a) = 0w131 + Kernel.hash a
187        | hash (LoadImage a) = 0w137 + ImageInfo.hash a        | hash (LoadImage a) = 0w137 + ImageInfo.hash a
188        | hash Inside = 0w139        | hash Convolve = 0w139
189        | hash (Field a) = 0w149 + FieldDef.hash a        | hash Inside = 0w149
190        | hash AddField = 0w151        | hash (Field a) = 0w151 + FieldDef.hash a
191        | hash ScaleField = 0w157        | hash AddField = 0w157
192        | hash NegField = 0w163        | hash ScaleField = 0w163
193        | hash DiffField = 0w167        | hash NegField = 0w167
194        | hash Probe = 0w173        | hash DiffField = 0w173
195        | hash (Transform a) = 0w179 + ImageInfo.hash a        | hash Probe = 0w179
196          | hash (Transform a) = 0w181 + ImageInfo.hash a
197    
198      fun toString (Add a) = concat["Add(", tyToString a, ")"]      fun toString (Add a) = concat["Add(", tyToString a, ")"]
199        | toString (Sub a) = concat["Sub(", tyToString a, ")"]        | toString (Sub a) = concat["Sub(", tyToString a, ")"]
# Line 223  Line 227 
227        | toString FloorToInt = "FloorToInt"        | toString FloorToInt = "FloorToInt"
228        | toString (Kernel a) = concat["Kernel(", Kernel.toString a, ")"]        | toString (Kernel a) = concat["Kernel(", Kernel.toString a, ")"]
229        | toString (LoadImage a) = concat["LoadImage(", ImageInfo.toString a, ")"]        | toString (LoadImage a) = concat["LoadImage(", ImageInfo.toString a, ")"]
230          | toString Convolve = "Convolve"
231        | toString Inside = "Inside"        | toString Inside = "Inside"
232        | toString (Field a) = concat["Field(", FieldDef.toString a, ")"]        | toString (Field a) = concat["Field(", FieldDef.toString a, ")"]
233        | toString AddField = "AddField"        | toString AddField = "AddField"

Legend:
Removed from v.195  
changed lines
  Added in v.197

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