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

SCM Repository

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

Diff of /branches/vis15/src/compiler/low-ir/low-ir.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 97  Line 97 
97        | Concat of ty        | Concat of ty
98        | Range        | Range
99        | Length of ty        | Length of ty
100        | SphereQuery of ty * ty        | SphereQuery of int * ty
101        | Sqrt        | Sqrt
102        | Cos        | Cos
103        | ArcCos        | ArcCos
# Line 335  Line 335 
335        | same (Concat(a0), Concat(b0)) = samety(a0, b0)        | same (Concat(a0), Concat(b0)) = samety(a0, b0)
336        | same (Range, Range) = true        | same (Range, Range) = true
337        | same (Length(a0), Length(b0)) = samety(a0, b0)        | same (Length(a0), Length(b0)) = samety(a0, b0)
338        | 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)
339        | same (Sqrt, Sqrt) = true        | same (Sqrt, Sqrt) = true
340        | same (Cos, Cos) = true        | same (Cos, Cos) = true
341        | same (ArcCos, ArcCos) = true        | same (ArcCos, ArcCos) = true
# Line 413  Line 413 
413        | hash (Concat(a0)) = 0w223 + hashty a0        | hash (Concat(a0)) = 0w223 + hashty a0
414        | hash Range = 0w227        | hash Range = 0w227
415        | hash (Length(a0)) = 0w229 + hashty a0        | hash (Length(a0)) = 0w229 + hashty a0
416        | hash (SphereQuery(a0,a1)) = 0w233 + hashty a0 + hashty a1        | hash (SphereQuery(a0,a1)) = 0w233 + hashint a0 + hashty a1
417        | hash Sqrt = 0w239        | hash Sqrt = 0w239
418        | hash Cos = 0w241        | hash Cos = 0w241
419        | hash ArcCos = 0w251        | hash ArcCos = 0w251
# Line 490  Line 490 
490        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]
491        | toString Range = "Range"        | toString Range = "Range"
492        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]
493        | toString (SphereQuery(a0,a1)) = concat["SphereQuery<", tyToString a0, ",", tyToString a1, ">"]        | toString (SphereQuery(a0,a1)) = concat["SphereQuery<", intToString a0, ",", tyToString a1, ">"]
494        | toString Sqrt = "Sqrt"        | toString Sqrt = "Sqrt"
495        | toString Cos = "Cos"        | toString Cos = "Cos"
496        | 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