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 4348, Tue Aug 2 15:48:33 2016 UTC revision 4349, Tue Aug 2 18:14:48 2016 UTC
# Line 119  Line 119 
119        | Concat of ty        | Concat of ty
120        | Range        | Range
121        | Length of ty        | Length of ty
122        | SphereQuery of ty * ty        | SphereQuery of int * ty
123        | Sqrt        | Sqrt
124        | Cos        | Cos
125        | ArcCos        | ArcCos
# Line 368  Line 368 
368        | same (Concat(a0), Concat(b0)) = samety(a0, b0)        | same (Concat(a0), Concat(b0)) = samety(a0, b0)
369        | same (Range, Range) = true        | same (Range, Range) = true
370        | same (Length(a0), Length(b0)) = samety(a0, b0)        | same (Length(a0), Length(b0)) = samety(a0, b0)
371        | same (SphereQuery(a0,a1), SphereQuery(b0,b1)) = samety(a0, b0) andalso samety(a1, b1)        | same (SphereQuery(a0,a1), SphereQuery(b0,b1)) = sameint(a0, b0) andalso samety(a1, b1)
372        | same (Sqrt, Sqrt) = true        | same (Sqrt, Sqrt) = true
373        | same (Cos, Cos) = true        | same (Cos, Cos) = true
374        | same (ArcCos, ArcCos) = true        | same (ArcCos, ArcCos) = true
# Line 450  Line 450 
450        | hash (Concat(a0)) = 0w277 + hashty a0        | hash (Concat(a0)) = 0w277 + hashty a0
451        | hash Range = 0w281        | hash Range = 0w281
452        | hash (Length(a0)) = 0w283 + hashty a0        | hash (Length(a0)) = 0w283 + hashty a0
453        | hash (SphereQuery(a0,a1)) = 0w293 + hashty a0 + hashty a1        | hash (SphereQuery(a0,a1)) = 0w293 + hashint a0 + hashty a1
454        | hash Sqrt = 0w307        | hash Sqrt = 0w307
455        | hash Cos = 0w311        | hash Cos = 0w311
456        | hash ArcCos = 0w313        | hash ArcCos = 0w313
# Line 531  Line 531 
531        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]
532        | toString Range = "Range"        | toString Range = "Range"
533        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]
534        | toString (SphereQuery(a0,a1)) = concat["SphereQuery<", tyToString a0, ",", tyToString a1, ">"]        | toString (SphereQuery(a0,a1)) = concat["SphereQuery<", intToString a0, ",", tyToString a1, ">"]
535        | toString Sqrt = "Sqrt"        | toString Sqrt = "Sqrt"
536        | toString Cos = "Cos"        | toString Cos = "Cos"
537        | toString ArcCos = "ArcCos"        | toString ArcCos = "ArcCos"

Legend:
Removed from v.4348  
changed lines
  Added in v.4349

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