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 3060, Fri Mar 13 22:12:44 2015 UTC revision 3138, Thu Mar 26 16:27:35 2015 UTC
# Line 86  Line 86 
86        | Prepend of ty        | Prepend of ty
87        | Concat of ty        | Concat of ty
88        | Sqrt        | Sqrt
89          | Cosine
90          | ArcCosine
91          | Sine
92          | ArcSine
93        | Ceiling of int        | Ceiling of int
94        | Floor of int        | Floor of int
95        | Round of int        | Round of int
# Line 153  Line 157 
157        | resultArity (Prepend _) = 2        | resultArity (Prepend _) = 2
158        | resultArity (Concat _) = 2        | resultArity (Concat _) = 2
159        | resultArity Sqrt = 1        | resultArity Sqrt = 1
160          | resultArity Cosine = 1
161          | resultArity ArcCosine = 1
162          | resultArity Sine = 1
163          | resultArity ArcSine = 1
164        | resultArity (Ceiling _) = 1        | resultArity (Ceiling _) = 1
165        | resultArity (Floor _) = 1        | resultArity (Floor _) = 1
166        | resultArity (Round _) = 1        | resultArity (Round _) = 1
# Line 220  Line 228 
228        | arity (Prepend _) = 1        | arity (Prepend _) = 1
229        | arity (Concat _) = 1        | arity (Concat _) = 1
230        | arity Sqrt = 1        | arity Sqrt = 1
231          | arity Cosine = 1
232          | arity ArcCosine = 1
233          | arity Sine = 1
234          | arity ArcSine = 1
235        | arity (Ceiling _) = 1        | arity (Ceiling _) = 1
236        | arity (Floor _) = 1        | arity (Floor _) = 1
237        | arity (Round _) = 1        | arity (Round _) = 1
# Line 295  Line 307 
307        | same (Prepend(a0), Prepend(b0)) = samety(a0, b0)        | same (Prepend(a0), Prepend(b0)) = samety(a0, b0)
308        | same (Concat(a0), Concat(b0)) = samety(a0, b0)        | same (Concat(a0), Concat(b0)) = samety(a0, b0)
309        | same (Sqrt, Sqrt) = true        | same (Sqrt, Sqrt) = true
310          | same (Cosine, Cosine) = true
311          | same (ArcCosine, ArcCosine) = true
312          | same (Sine, Sine) = true
313          | same (ArcSine, ArcSine) = true
314        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)
315        | same (Floor(a0), Floor(b0)) = sameint(a0, b0)        | same (Floor(a0), Floor(b0)) = sameint(a0, b0)
316        | same (Round(a0), Round(b0)) = sameint(a0, b0)        | same (Round(a0), Round(b0)) = sameint(a0, b0)
# Line 363  Line 379 
379        | hash (Prepend(a0)) = 0w199 + hashty a0        | hash (Prepend(a0)) = 0w199 + hashty a0
380        | hash (Concat(a0)) = 0w211 + hashty a0        | hash (Concat(a0)) = 0w211 + hashty a0
381        | hash Sqrt = 0w223        | hash Sqrt = 0w223
382        | hash (Ceiling(a0)) = 0w227 + hashint a0        | hash Cosine = 0w227
383        | hash (Floor(a0)) = 0w229 + hashint a0        | hash ArcCosine = 0w229
384        | hash (Round(a0)) = 0w233 + hashint a0        | hash Sine = 0w233
385        | hash (Trunc(a0)) = 0w239 + hashint a0        | hash ArcSine = 0w239
386        | hash IntToReal = 0w241        | hash (Ceiling(a0)) = 0w241 + hashint a0
387        | hash (RealToInt(a0)) = 0w251 + hashint a0        | hash (Floor(a0)) = 0w251 + hashint a0
388        | hash (Transform(a0)) = 0w257 + ImageInfo.hash a0        | hash (Round(a0)) = 0w257 + hashint a0
389        | hash (Translate(a0)) = 0w263 + ImageInfo.hash a0        | hash (Trunc(a0)) = 0w263 + hashint a0
390        | hash (Kernel(a0,a1)) = 0w269 + Kernel.hash a0 + hashint a1        | hash IntToReal = 0w269
391        | hash (ImageAddress(a0)) = 0w271 + ImageInfo.hash a0        | hash (RealToInt(a0)) = 0w271 + hashint a0
392        | hash (LoadVoxels(a0,a1)) = 0w277 + ImageInfo.hash a0 + hashint a1        | hash (Transform(a0)) = 0w277 + ImageInfo.hash a0
393        | hash (Inside(a0,a1)) = 0w281 + ImageInfo.hash a0 + hashint a1        | hash (Translate(a0)) = 0w281 + ImageInfo.hash a0
394        | hash (imgAddr(a0,a1,a2)) = 0w283 + ImageInfo.hash a0 + hashty a1 + hashint a2        | hash (Kernel(a0,a1)) = 0w283 + Kernel.hash a0 + hashint a1
395        | hash (imgLoad(a0,a1,a2)) = 0w293 + ImageInfo.hash a0 + hashint a1 + hashint a2        | hash (ImageAddress(a0)) = 0w293 + ImageInfo.hash a0
396        | hash (baseAddr(a0)) = 0w307 + ImageInfo.hash a0        | hash (LoadVoxels(a0,a1)) = 0w307 + ImageInfo.hash a0 + hashint a1
397        | hash (LoadSeq(a0,a1)) = 0w311 + hashty a0 + hashstring a1        | hash (Inside(a0,a1)) = 0w311 + ImageInfo.hash a0 + hashint a1
398        | hash (LoadImage(a0,a1,a2)) = 0w313 + hashty a0 + hashstring a1 + ImageInfo.hash a2        | hash (imgAddr(a0,a1,a2)) = 0w313 + ImageInfo.hash a0 + hashty a1 + hashint a2
399        | hash (Input(a0)) = 0w317 + hashinput a0        | hash (imgLoad(a0,a1,a2)) = 0w317 + ImageInfo.hash a0 + hashint a1 + hashint a2
400        | hash (Print(a0)) = 0w331 + hashtys a0        | hash (baseAddr(a0)) = 0w331 + ImageInfo.hash a0
401          | hash (LoadSeq(a0,a1)) = 0w337 + hashty a0 + hashstring a1
402          | hash (LoadImage(a0,a1,a2)) = 0w347 + hashty a0 + hashstring a1 + ImageInfo.hash a2
403          | hash (Input(a0)) = 0w349 + hashinput a0
404          | hash (Print(a0)) = 0w353 + hashtys a0
405    
406      fun toString IAdd = "IAdd"      fun toString IAdd = "IAdd"
407        | toString ISub = "ISub"        | toString ISub = "ISub"
# Line 430  Line 450 
450        | toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]        | toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]
451        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]
452        | toString Sqrt = "Sqrt"        | toString Sqrt = "Sqrt"
453          | toString Cosine = "Cosine"
454          | toString ArcCosine = "ArcCosine"
455          | toString Sine = "Sine"
456          | toString ArcSine = "ArcSine"
457        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]
458        | toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]        | toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]
459        | toString (Round(a0)) = concat["Round<", intToString a0, ">"]        | toString (Round(a0)) = concat["Round<", intToString a0, ">"]

Legend:
Removed from v.3060  
changed lines
  Added in v.3138

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