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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/high-ir/high-ir.sml
[diderot] / branches / vis15 / src / compiler / high-ir / high-ir.sml  
ViewVC logotype

Diff of /branches/vis15/src/compiler/high-ir/high-ir.sml

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

revision 4627, Sat Sep 24 19:34:36 2016 UTC revision 4628, Sat Sep 24 20:13:22 2016 UTC
# Line 93  Line 93 
93        | BorderCtlWrap of ImageInfo.t        | BorderCtlWrap of ImageInfo.t
94        | LoadSeq of ty * string        | LoadSeq of ty * string
95        | LoadImage of ty * string        | LoadImage of ty * string
96          | KillAll
97        | StabilizeAll        | StabilizeAll
98        | Print of tys        | Print of tys
99        | MathFn of MathFns.t        | MathFn of MathFns.t
# Line 148  Line 149 
149        | resultArity (BorderCtlWrap _) = 1        | resultArity (BorderCtlWrap _) = 1
150        | resultArity (LoadSeq _) = 1        | resultArity (LoadSeq _) = 1
151        | resultArity (LoadImage _) = 1        | resultArity (LoadImage _) = 1
152          | resultArity KillAll = 0
153        | resultArity StabilizeAll = 0        | resultArity StabilizeAll = 0
154        | resultArity (Print _) = 0        | resultArity (Print _) = 0
155        | resultArity (MathFn _) = 1        | resultArity (MathFn _) = 1
# Line 203  Line 205 
205        | arity (BorderCtlWrap _) = 1        | arity (BorderCtlWrap _) = 1
206        | arity (LoadSeq _) = 0        | arity (LoadSeq _) = 0
207        | arity (LoadImage _) = 0        | arity (LoadImage _) = 0
208          | arity KillAll = 0
209        | arity StabilizeAll = 0        | arity StabilizeAll = 0
210        | arity (Print _) = ~1        | arity (Print _) = ~1
211        | arity (MathFn _) = ~1        | arity (MathFn _) = ~1
# Line 211  Line 214 
214        | isPure (Append _) = false        | isPure (Append _) = false
215        | isPure (Prepend _) = false        | isPure (Prepend _) = false
216        | isPure (Concat _) = false        | isPure (Concat _) = false
217          | isPure KillAll = false
218        | isPure StabilizeAll = false        | isPure StabilizeAll = false
219        | isPure (Print _) = false        | isPure (Print _) = false
220        | isPure _ = true        | isPure _ = true
# Line 266  Line 270 
270        | same (BorderCtlWrap(a0), BorderCtlWrap(b0)) = ImageInfo.same(a0, b0)        | same (BorderCtlWrap(a0), BorderCtlWrap(b0)) = ImageInfo.same(a0, b0)
271        | same (LoadSeq(a0,a1), LoadSeq(b0,b1)) = samety(a0, b0) andalso samestring(a1, b1)        | same (LoadSeq(a0,a1), LoadSeq(b0,b1)) = samety(a0, b0) andalso samestring(a1, b1)
272        | same (LoadImage(a0,a1), LoadImage(b0,b1)) = samety(a0, b0) andalso samestring(a1, b1)        | same (LoadImage(a0,a1), LoadImage(b0,b1)) = samety(a0, b0) andalso samestring(a1, b1)
273          | same (KillAll, KillAll) = true
274        | same (StabilizeAll, StabilizeAll) = true        | same (StabilizeAll, StabilizeAll) = true
275        | same (Print(a0), Print(b0)) = sametys(a0, b0)        | same (Print(a0), Print(b0)) = sametys(a0, b0)
276        | same (MathFn(a0), MathFn(b0)) = MathFns.same(a0, b0)        | same (MathFn(a0), MathFn(b0)) = MathFns.same(a0, b0)
# Line 322  Line 327 
327        | hash (BorderCtlWrap(a0)) = 0w229 + ImageInfo.hash a0        | hash (BorderCtlWrap(a0)) = 0w229 + ImageInfo.hash a0
328        | hash (LoadSeq(a0,a1)) = 0w233 + hashty a0 + hashstring a1        | hash (LoadSeq(a0,a1)) = 0w233 + hashty a0 + hashstring a1
329        | hash (LoadImage(a0,a1)) = 0w239 + hashty a0 + hashstring a1        | hash (LoadImage(a0,a1)) = 0w239 + hashty a0 + hashstring a1
330        | hash StabilizeAll = 0w241        | hash KillAll = 0w241
331        | hash (Print(a0)) = 0w251 + hashtys a0        | hash StabilizeAll = 0w251
332        | hash (MathFn(a0)) = 0w257 + MathFns.hash a0        | hash (Print(a0)) = 0w257 + hashtys a0
333          | hash (MathFn(a0)) = 0w263 + MathFns.hash a0
334    
335      fun toString IAdd = "IAdd"      fun toString IAdd = "IAdd"
336        | toString ISub = "ISub"        | toString ISub = "ISub"
# Line 377  Line 383 
383        | toString (BorderCtlWrap(a0)) = concat["BorderCtlWrap<", ImageInfo.toString a0, ">"]        | toString (BorderCtlWrap(a0)) = concat["BorderCtlWrap<", ImageInfo.toString a0, ">"]
384        | toString (LoadSeq(a0,a1)) = concat["LoadSeq<", tyToString a0, ",", stringToString a1, ">"]        | toString (LoadSeq(a0,a1)) = concat["LoadSeq<", tyToString a0, ",", stringToString a1, ">"]
385        | toString (LoadImage(a0,a1)) = concat["LoadImage<", tyToString a0, ",", stringToString a1, ">"]        | toString (LoadImage(a0,a1)) = concat["LoadImage<", tyToString a0, ",", stringToString a1, ">"]
386          | toString KillAll = "KillAll"
387        | toString StabilizeAll = "StabilizeAll"        | toString StabilizeAll = "StabilizeAll"
388        | toString (Print(a0)) = concat["Print<", tysToString a0, ">"]        | toString (Print(a0)) = concat["Print<", tysToString a0, ">"]
389        | toString (MathFn(a0)) = concat["MathFn<", MathFns.toString a0, ">"]        | toString (MathFn(a0)) = concat["MathFn<", MathFns.toString a0, ">"]
Legend:
Removed from v.4627  
changed lines
  Added in v.4628
root@smlnj-gforge.cs.uchicago.edu
 ViewVC Help
Powered by ViewVC 1.0.0  
Powered By FusionForge