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

SCM Repository

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

Diff of /branches/vis15/src/compiler/tree-ir/tree-ops.sml

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

revision 4411, Fri Aug 12 18:28:57 2016 UTC revision 4412, Sun Aug 14 19:54:48 2016 UTC
# Line 114  Line 114 
114        | Select of ty * int        | Select of ty * int
115        | Subscript of ty        | Subscript of ty
116        | MkDynamic of ty * int        | MkDynamic of ty * int
117        | Append of ty        | Append of ty * ty
118        | Prepend of ty        | Prepend of ty * ty
119        | Concat of ty        | Concat of ty
120        | Range        | Range
121        | Length of ty        | Length of ty
# Line 366  Line 366 
366        | same (Select(a0,a1), Select(b0,b1)) = samety(a0, b0) andalso sameint(a1, b1)        | same (Select(a0,a1), Select(b0,b1)) = samety(a0, b0) andalso sameint(a1, b1)
367        | same (Subscript(a0), Subscript(b0)) = samety(a0, b0)        | same (Subscript(a0), Subscript(b0)) = samety(a0, b0)
368        | same (MkDynamic(a0,a1), MkDynamic(b0,b1)) = samety(a0, b0) andalso sameint(a1, b1)        | same (MkDynamic(a0,a1), MkDynamic(b0,b1)) = samety(a0, b0) andalso sameint(a1, b1)
369        | same (Append(a0), Append(b0)) = samety(a0, b0)        | same (Append(a0,a1), Append(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)
370        | same (Prepend(a0), Prepend(b0)) = samety(a0, b0)        | same (Prepend(a0,a1), Prepend(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)
371        | same (Concat(a0), Concat(b0)) = samety(a0, b0)        | same (Concat(a0), Concat(b0)) = samety(a0, b0)
372        | same (Range, Range) = true        | same (Range, Range) = true
373        | same (Length(a0), Length(b0)) = samety(a0, b0)        | same (Length(a0), Length(b0)) = samety(a0, b0)
# Line 449  Line 449 
449        | hash (Select(a0,a1)) = 0w251 + hashty a0 + hashint a1        | hash (Select(a0,a1)) = 0w251 + hashty a0 + hashint a1
450        | hash (Subscript(a0)) = 0w257 + hashty a0        | hash (Subscript(a0)) = 0w257 + hashty a0
451        | hash (MkDynamic(a0,a1)) = 0w263 + hashty a0 + hashint a1        | hash (MkDynamic(a0,a1)) = 0w263 + hashty a0 + hashint a1
452        | hash (Append(a0)) = 0w269 + hashty a0        | hash (Append(a0,a1)) = 0w269 + hashty a0 + hashty a1
453        | hash (Prepend(a0)) = 0w271 + hashty a0        | hash (Prepend(a0,a1)) = 0w271 + hashty a0 + hashty a1
454        | hash (Concat(a0)) = 0w277 + hashty a0        | hash (Concat(a0)) = 0w277 + hashty a0
455        | hash Range = 0w281        | hash Range = 0w281
456        | hash (Length(a0)) = 0w283 + hashty a0        | hash (Length(a0)) = 0w283 + hashty a0
# Line 531  Line 531 
531        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]
532        | toString (Subscript(a0)) = concat["Subscript<", tyToString a0, ">"]        | toString (Subscript(a0)) = concat["Subscript<", tyToString a0, ">"]
533        | toString (MkDynamic(a0,a1)) = concat["MkDynamic<", tyToString a0, ",", intToString a1, ">"]        | toString (MkDynamic(a0,a1)) = concat["MkDynamic<", tyToString a0, ",", intToString a1, ">"]
534        | toString (Append(a0)) = concat["Append<", tyToString a0, ">"]        | toString (Append(a0,a1)) = concat["Append<", tyToString a0, ",", tyToString a1, ">"]
535        | toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]        | toString (Prepend(a0,a1)) = concat["Prepend<", tyToString a0, ",", tyToString a1, ">"]
536        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]
537        | toString Range = "Range"        | toString Range = "Range"
538        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]

Legend:
Removed from v.4411  
changed lines
  Added in v.4412

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