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

SCM Repository

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

Diff of /branches/vis15/src/compiler/mid-ir/mid-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 81  Line 81 
81        | Concat of ty        | Concat of ty
82        | Range        | Range
83        | Length of ty        | Length of ty
84        | SphereQuery of ty * ty        | SphereQuery of int * ty
85        | Ceiling of int        | Ceiling of int
86        | Floor of int        | Floor of int
87        | Round of int        | Round of int
# Line 268  Line 268 
268        | same (Concat(a0), Concat(b0)) = samety(a0, b0)        | same (Concat(a0), Concat(b0)) = samety(a0, b0)
269        | same (Range, Range) = true        | same (Range, Range) = true
270        | same (Length(a0), Length(b0)) = samety(a0, b0)        | same (Length(a0), Length(b0)) = samety(a0, b0)
271        | 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)
272        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)
273        | same (Floor(a0), Floor(b0)) = sameint(a0, b0)        | same (Floor(a0), Floor(b0)) = sameint(a0, b0)
274        | same (Round(a0), Round(b0)) = sameint(a0, b0)        | same (Round(a0), Round(b0)) = sameint(a0, b0)
# Line 329  Line 329 
329        | hash (Concat(a0)) = 0w131 + hashty a0        | hash (Concat(a0)) = 0w131 + hashty a0
330        | hash Range = 0w137        | hash Range = 0w137
331        | hash (Length(a0)) = 0w139 + hashty a0        | hash (Length(a0)) = 0w139 + hashty a0
332        | hash (SphereQuery(a0,a1)) = 0w149 + hashty a0 + hashty a1        | hash (SphereQuery(a0,a1)) = 0w149 + hashint a0 + hashty a1
333        | hash (Ceiling(a0)) = 0w151 + hashint a0        | hash (Ceiling(a0)) = 0w151 + hashint a0
334        | hash (Floor(a0)) = 0w157 + hashint a0        | hash (Floor(a0)) = 0w157 + hashint a0
335        | hash (Round(a0)) = 0w163 + hashint a0        | hash (Round(a0)) = 0w163 + hashint a0
# Line 389  Line 389 
389        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]
390        | toString Range = "Range"        | toString Range = "Range"
391        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]
392        | toString (SphereQuery(a0,a1)) = concat["SphereQuery<", tyToString a0, ",", tyToString a1, ">"]        | toString (SphereQuery(a0,a1)) = concat["SphereQuery<", intToString a0, ",", tyToString a1, ">"]
393        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]
394        | toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]        | toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]
395        | toString (Round(a0)) = concat["Round<", intToString a0, ">"]        | toString (Round(a0)) = concat["Round<", intToString a0, ">"]

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