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

SCM Repository

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

Diff of /branches/vis12/src/compiler/high-il/high-il.sml

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

revision 2971, Fri Mar 6 03:35:49 2015 UTC revision 2972, Fri Mar 6 14:57:49 2015 UTC
# Line 104  Line 104 
104        | Inside of int        | Inside of int
105        | Field of ty * ty        | Field of ty * ty
106        | Probe of ty * ty        | Probe of ty * ty
107          | ProbeWithCtl of ty * ty
108        | AddField        | AddField
109        | SubField        | SubField
110        | ScaleField        | ScaleField
# Line 177  Line 178 
178        | resultArity (Inside _) = 1        | resultArity (Inside _) = 1
179        | resultArity (Field _) = 1        | resultArity (Field _) = 1
180        | resultArity (Probe _) = 1        | resultArity (Probe _) = 1
181          | resultArity (ProbeWithCtl _) = 1
182        | resultArity AddField = 1        | resultArity AddField = 1
183        | resultArity SubField = 1        | resultArity SubField = 1
184        | resultArity ScaleField = 1        | resultArity ScaleField = 1
# Line 250  Line 252 
252        | arity (Inside _) = 2        | arity (Inside _) = 2
253        | arity (Field _) = 2        | arity (Field _) = 2
254        | arity (Probe _) = 2        | arity (Probe _) = 2
255          | arity (ProbeWithCtl _) = 2
256        | arity AddField = 2        | arity AddField = 2
257        | arity SubField = 2        | arity SubField = 2
258        | arity ScaleField = 2        | arity ScaleField = 2
# Line 332  Line 335 
335        | same (Inside(a0), Inside(b0)) = sameint(a0, b0)        | same (Inside(a0), Inside(b0)) = sameint(a0, b0)
336        | same (Field(a0,a1), Field(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)        | same (Field(a0,a1), Field(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)
337        | same (Probe(a0,a1), Probe(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)        | same (Probe(a0,a1), Probe(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)
338          | same (ProbeWithCtl(a0,a1), ProbeWithCtl(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)
339        | same (AddField, AddField) = true        | same (AddField, AddField) = true
340        | same (SubField, SubField) = true        | same (SubField, SubField) = true
341        | same (ScaleField, ScaleField) = true        | same (ScaleField, ScaleField) = true
# Line 406  Line 410 
410        | hash (Inside(a0)) = 0w251 + hashint a0        | hash (Inside(a0)) = 0w251 + hashint a0
411        | hash (Field(a0,a1)) = 0w257 + hashty a0 + hashty a1        | hash (Field(a0,a1)) = 0w257 + hashty a0 + hashty a1
412        | hash (Probe(a0,a1)) = 0w263 + hashty a0 + hashty a1        | hash (Probe(a0,a1)) = 0w263 + hashty a0 + hashty a1
413        | hash AddField = 0w269        | hash (ProbeWithCtl(a0,a1)) = 0w269 + hashty a0 + hashty a1
414        | hash SubField = 0w271        | hash AddField = 0w271
415        | hash ScaleField = 0w277        | hash SubField = 0w277
416        | hash OffsetField = 0w281        | hash ScaleField = 0w281
417        | hash NegField = 0w283        | hash OffsetField = 0w283
418        | hash DiffField = 0w293        | hash NegField = 0w293
419        | hash (CurlField(a0)) = 0w307 + hashint a0        | hash DiffField = 0w307
420        | hash (ImageDim(a0,a1)) = 0w311 + ImageInfo.hash a0 + hashint a1        | hash (CurlField(a0)) = 0w311 + hashint a0
421        | hash (BorderCtlValue(a0)) = 0w313 + ImageInfo.hash a0        | hash (ImageDim(a0,a1)) = 0w313 + ImageInfo.hash a0 + hashint a1
422        | hash (BorderCtlClamp(a0)) = 0w317 + ImageInfo.hash a0        | hash (BorderCtlValue(a0)) = 0w317 + ImageInfo.hash a0
423        | hash (BorderCtlMirror(a0)) = 0w331 + ImageInfo.hash a0        | hash (BorderCtlClamp(a0)) = 0w331 + ImageInfo.hash a0
424        | hash (BorderCtlWrap(a0)) = 0w337 + ImageInfo.hash a0        | hash (BorderCtlMirror(a0)) = 0w337 + ImageInfo.hash a0
425        | hash (LoadSeq(a0,a1)) = 0w347 + hashty a0 + hashstring a1        | hash (BorderCtlWrap(a0)) = 0w347 + ImageInfo.hash a0
426        | hash (LoadImage(a0,a1)) = 0w349 + hashty a0 + hashstring a1        | hash (LoadSeq(a0,a1)) = 0w349 + hashty a0 + hashstring a1
427        | hash (Input(a0)) = 0w353 + hashinput a0        | hash (LoadImage(a0,a1)) = 0w353 + hashty a0 + hashstring a1
428        | hash (InputWithDefault(a0)) = 0w359 + hashinput a0        | hash (Input(a0)) = 0w359 + hashinput a0
429        | hash (Print(a0)) = 0w367 + hashtys a0        | hash (InputWithDefault(a0)) = 0w367 + hashinput a0
430          | hash (Print(a0)) = 0w373 + hashtys a0
431    
432      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]
433        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]
# Line 479  Line 484 
484        | toString (Inside(a0)) = concat["Inside<", intToString a0, ">"]        | toString (Inside(a0)) = concat["Inside<", intToString a0, ">"]
485        | toString (Field(a0,a1)) = concat["Field<", tyToString a0, ",", tyToString a1, ">"]        | toString (Field(a0,a1)) = concat["Field<", tyToString a0, ",", tyToString a1, ">"]
486        | toString (Probe(a0,a1)) = concat["Probe<", tyToString a0, ",", tyToString a1, ">"]        | toString (Probe(a0,a1)) = concat["Probe<", tyToString a0, ",", tyToString a1, ">"]
487          | toString (ProbeWithCtl(a0,a1)) = concat["ProbeWithCtl<", tyToString a0, ",", tyToString a1, ">"]
488        | toString AddField = "AddField"        | toString AddField = "AddField"
489        | toString SubField = "SubField"        | toString SubField = "SubField"
490        | toString ScaleField = "ScaleField"        | toString ScaleField = "ScaleField"

Legend:
Removed from v.2971  
changed lines
  Added in v.2972

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