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

SCM Repository

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

Diff of /branches/vis15/src/compiler/high-ir/high-ir.sml

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

revision 3492, Thu Dec 10 22:28:29 2015 UTC revision 3493, Fri Dec 11 18:29:21 2015 UTC
# Line 74  Line 74 
74        | PrincipleEvec of ty        | PrincipleEvec of ty
75        | Eigen2x2        | Eigen2x2
76        | Eigen3x3        | Eigen3x3
77          | Zero of ty
78        | Slice of ty * mask        | Slice of ty * mask
79        | TensorSub of ty        | TensorSub of ty
80        | Select of ty * int        | Select of ty * int
# Line 133  Line 134 
134        | resultArity (PrincipleEvec _) = 1        | resultArity (PrincipleEvec _) = 1
135        | resultArity Eigen2x2 = 1        | resultArity Eigen2x2 = 1
136        | resultArity Eigen3x3 = 1        | resultArity Eigen3x3 = 1
137          | resultArity (Zero _) = 1
138        | resultArity (Slice _) = 1        | resultArity (Slice _) = 1
139        | resultArity (TensorSub _) = 1        | resultArity (TensorSub _) = 1
140        | resultArity (Select _) = 1        | resultArity (Select _) = 1
# Line 192  Line 194 
194        | arity (PrincipleEvec _) = 2        | arity (PrincipleEvec _) = 2
195        | arity Eigen2x2 = 1        | arity Eigen2x2 = 1
196        | arity Eigen3x3 = 1        | arity Eigen3x3 = 1
197          | arity (Zero _) = 0
198        | arity (Slice _) = 1        | arity (Slice _) = 1
199        | arity (TensorSub _) = ~1        | arity (TensorSub _) = ~1
200        | arity (Select _) = 1        | arity (Select _) = 1
# Line 260  Line 263 
263        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)        | same (PrincipleEvec(a0), PrincipleEvec(b0)) = samety(a0, b0)
264        | same (Eigen2x2, Eigen2x2) = true        | same (Eigen2x2, Eigen2x2) = true
265        | same (Eigen3x3, Eigen3x3) = true        | same (Eigen3x3, Eigen3x3) = true
266          | same (Zero(a0), Zero(b0)) = samety(a0, b0)
267        | same (Slice(a0,a1), Slice(b0,b1)) = samety(a0, b0) andalso samemask(a1, b1)        | same (Slice(a0,a1), Slice(b0,b1)) = samety(a0, b0) andalso samemask(a1, b1)
268        | same (TensorSub(a0), TensorSub(b0)) = samety(a0, b0)        | same (TensorSub(a0), TensorSub(b0)) = samety(a0, b0)
269        | 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)
# Line 320  Line 324 
324        | hash (PrincipleEvec(a0)) = 0w79 + hashty a0        | hash (PrincipleEvec(a0)) = 0w79 + hashty a0
325        | hash Eigen2x2 = 0w83        | hash Eigen2x2 = 0w83
326        | hash Eigen3x3 = 0w89        | hash Eigen3x3 = 0w89
327        | hash (Slice(a0,a1)) = 0w97 + hashty a0 + hashmask a1        | hash (Zero(a0)) = 0w97 + hashty a0
328        | hash (TensorSub(a0)) = 0w101 + hashty a0        | hash (Slice(a0,a1)) = 0w101 + hashty a0 + hashmask a1
329        | hash (Select(a0,a1)) = 0w103 + hashty a0 + hashint a1        | hash (TensorSub(a0)) = 0w103 + hashty a0
330        | hash (SeqSub(a0)) = 0w107 + hashty a0        | hash (Select(a0,a1)) = 0w107 + hashty a0 + hashint a1
331        | hash (MkDynamic(a0,a1)) = 0w109 + hashty a0 + hashint a1        | hash (SeqSub(a0)) = 0w109 + hashty a0
332        | hash (Append(a0)) = 0w113 + hashty a0        | hash (MkDynamic(a0,a1)) = 0w113 + hashty a0 + hashint a1
333        | hash (Prepend(a0)) = 0w127 + hashty a0        | hash (Append(a0)) = 0w127 + hashty a0
334        | hash (Concat(a0)) = 0w131 + hashty a0        | hash (Prepend(a0)) = 0w131 + hashty a0
335        | hash (SphereQuery(a0,a1)) = 0w137 + hashty a0 + hashty a1        | hash (Concat(a0)) = 0w137 + hashty a0
336        | hash (Length(a0)) = 0w139 + hashty a0        | hash (SphereQuery(a0,a1)) = 0w139 + hashty a0 + hashty a1
337        | hash IntToReal = 0w149        | hash (Length(a0)) = 0w149 + hashty a0
338        | hash TruncToInt = 0w151        | hash IntToReal = 0w151
339        | hash RoundToInt = 0w157        | hash TruncToInt = 0w157
340        | hash CeilToInt = 0w163        | hash RoundToInt = 0w163
341        | hash FloorToInt = 0w167        | hash CeilToInt = 0w167
342        | hash (R_All(a0)) = 0w173 + hashty a0        | hash FloorToInt = 0w173
343        | hash (R_Exists(a0)) = 0w179 + hashty a0        | hash (R_All(a0)) = 0w179 + hashty a0
344        | hash (R_Max(a0)) = 0w181 + hashty a0        | hash (R_Exists(a0)) = 0w181 + hashty a0
345        | hash (R_Min(a0)) = 0w191 + hashty a0        | hash (R_Max(a0)) = 0w191 + hashty a0
346        | hash (R_Sum(a0)) = 0w193 + hashty a0        | hash (R_Min(a0)) = 0w193 + hashty a0
347        | hash (R_Product(a0)) = 0w197 + hashty a0        | hash (R_Sum(a0)) = 0w197 + hashty a0
348        | hash (R_Mean(a0)) = 0w199 + hashty a0        | hash (R_Product(a0)) = 0w199 + hashty a0
349        | hash (R_Variance(a0)) = 0w211 + hashty a0        | hash (R_Mean(a0)) = 0w211 + hashty a0
350        | hash (Kernel(a0,a1)) = 0w223 + Kernel.hash a0 + hashint a1        | hash (R_Variance(a0)) = 0w223 + hashty a0
351        | hash (Inside(a0)) = 0w227 + hashint a0        | hash (Kernel(a0,a1)) = 0w227 + Kernel.hash a0 + hashint a1
352        | hash (ImageDim(a0,a1)) = 0w229 + ImageInfo.hash a0 + hashint a1        | hash (Inside(a0)) = 0w229 + hashint a0
353        | hash (BorderCtlDefault(a0)) = 0w233 + ImageInfo.hash a0        | hash (ImageDim(a0,a1)) = 0w233 + ImageInfo.hash a0 + hashint a1
354        | hash (BorderCtlClamp(a0)) = 0w239 + ImageInfo.hash a0        | hash (BorderCtlDefault(a0)) = 0w239 + ImageInfo.hash a0
355        | hash (BorderCtlMirror(a0)) = 0w241 + ImageInfo.hash a0        | hash (BorderCtlClamp(a0)) = 0w241 + ImageInfo.hash a0
356        | hash (BorderCtlWrap(a0)) = 0w251 + ImageInfo.hash a0        | hash (BorderCtlMirror(a0)) = 0w251 + ImageInfo.hash a0
357        | hash (LoadSeq(a0,a1)) = 0w257 + hashty a0 + hashstring a1        | hash (BorderCtlWrap(a0)) = 0w257 + ImageInfo.hash a0
358        | hash (LoadImage(a0,a1)) = 0w263 + hashty a0 + hashstring a1        | hash (LoadSeq(a0,a1)) = 0w263 + hashty a0 + hashstring a1
359        | hash (Input(a0)) = 0w269 + hashinput a0        | hash (LoadImage(a0,a1)) = 0w269 + hashty a0 + hashstring a1
360        | hash (InputWithDefault(a0)) = 0w271 + hashinput a0        | hash (Input(a0)) = 0w271 + hashinput a0
361        | hash (Print(a0)) = 0w277 + hashtys a0        | hash (InputWithDefault(a0)) = 0w277 + hashinput a0
362          | hash (Print(a0)) = 0w281 + hashtys a0
363    
364      fun toString IAdd = "IAdd"      fun toString IAdd = "IAdd"
365        | toString ISub = "ISub"        | toString ISub = "ISub"
# Line 379  Line 384 
384        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]        | toString (PrincipleEvec(a0)) = concat["PrincipleEvec<", tyToString a0, ">"]
385        | toString Eigen2x2 = "Eigen2x2"        | toString Eigen2x2 = "Eigen2x2"
386        | toString Eigen3x3 = "Eigen3x3"        | toString Eigen3x3 = "Eigen3x3"
387          | toString (Zero(a0)) = concat["Zero<", tyToString a0, ">"]
388        | toString (Slice(a0,a1)) = concat["Slice<", tyToString a0, ",", maskToString a1, ">"]        | toString (Slice(a0,a1)) = concat["Slice<", tyToString a0, ",", maskToString a1, ">"]
389        | toString (TensorSub(a0)) = concat["TensorSub<", tyToString a0, ">"]        | toString (TensorSub(a0)) = concat["TensorSub<", tyToString a0, ">"]
390        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]

Legend:
Removed from v.3492  
changed lines
  Added in v.3493

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