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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/high-il/high-il.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/high-il/high-il.sml

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

revision 823, Thu Apr 14 14:28:33 2011 UTC revision 824, Thu Apr 14 15:54:24 2011 UTC
# Line 49  Line 49 
49        | NEQ of ty        | NEQ of ty
50        | GT of ty        | GT of ty
51        | GTE of ty        | GTE of ty
52          | Power
53        | Not        | Not
54        | Max        | Max
55        | Min        | Min
# Line 99  Line 100 
100        | arity (NEQ _) = 2        | arity (NEQ _) = 2
101        | arity (GT _) = 2        | arity (GT _) = 2
102        | arity (GTE _) = 2        | arity (GTE _) = 2
103          | arity Power = 2
104        | arity Not = 1        | arity Not = 1
105        | arity Max = 2        | arity Max = 2
106        | arity Min = 2        | arity Min = 2
# Line 149  Line 151 
151        | same (NEQ(a0), NEQ(b0)) = samety(a0, b0)        | same (NEQ(a0), NEQ(b0)) = samety(a0, b0)
152        | same (GT(a0), GT(b0)) = samety(a0, b0)        | same (GT(a0), GT(b0)) = samety(a0, b0)
153        | same (GTE(a0), GTE(b0)) = samety(a0, b0)        | same (GTE(a0), GTE(b0)) = samety(a0, b0)
154          | same (Power, Power) = true
155        | same (Not, Not) = true        | same (Not, Not) = true
156        | same (Max, Max) = true        | same (Max, Max) = true
157        | same (Min, Min) = true        | same (Min, Min) = true
# Line 200  Line 203 
203        | hash (NEQ(a0)) = 0w31 + hashty a0        | hash (NEQ(a0)) = 0w31 + hashty a0
204        | hash (GT(a0)) = 0w37 + hashty a0        | hash (GT(a0)) = 0w37 + hashty a0
205        | hash (GTE(a0)) = 0w41 + hashty a0        | hash (GTE(a0)) = 0w41 + hashty a0
206        | hash Not = 0w43        | hash Power = 0w43
207        | hash Max = 0w47        | hash Not = 0w47
208        | hash Min = 0w53        | hash Max = 0w53
209        | hash (Lerp(a0)) = 0w59 + hashty a0        | hash Min = 0w59
210        | hash (Dot(a0)) = 0w61 + hashty a0        | hash (Lerp(a0)) = 0w61 + hashty a0
211        | hash (MulVecMat(a0)) = 0w67 + hashty a0        | hash (Dot(a0)) = 0w67 + hashty a0
212        | hash (MulMatVec(a0)) = 0w71 + hashty a0        | hash (MulVecMat(a0)) = 0w71 + hashty a0
213        | hash (MulMatMat(a0,a1)) = 0w73 + hashty a0 + hashty a1        | hash (MulMatVec(a0)) = 0w73 + hashty a0
214        | hash Cross = 0w79        | hash (MulMatMat(a0,a1)) = 0w79 + hashty a0 + hashty a1
215        | hash (Outer(a0)) = 0w83 + hashty a0        | hash Cross = 0w83
216        | hash (Norm(a0)) = 0w89 + hashty a0        | hash (Outer(a0)) = 0w89 + hashty a0
217        | hash (Normalize(a0)) = 0w97 + hashty a0        | hash (Norm(a0)) = 0w97 + hashty a0
218        | hash (Scale(a0)) = 0w101 + hashty a0        | hash (Normalize(a0)) = 0w101 + hashty a0
219        | hash (InvScale(a0)) = 0w103 + hashty a0        | hash (Scale(a0)) = 0w103 + hashty a0
220        | hash CL = 0w107        | hash (InvScale(a0)) = 0w107 + hashty a0
221        | hash (PrincipleEvec(a0)) = 0w109 + hashty a0        | hash CL = 0w109
222        | hash (Identity(a0)) = 0w113 + hashint a0        | hash (PrincipleEvec(a0)) = 0w113 + hashty a0
223        | hash (Zero(a0)) = 0w127 + hashty a0        | hash (Identity(a0)) = 0w127 + hashint a0
224        | hash (Trace(a0)) = 0w131 + hashty a0        | hash (Zero(a0)) = 0w131 + hashty a0
225        | hash (Slice(a0,a1)) = 0w137 + hashty a0 + hashmask a1        | hash (Trace(a0)) = 0w137 + hashty a0
226        | hash (Subscript(a0)) = 0w139 + hashty a0        | hash (Slice(a0,a1)) = 0w139 + hashty a0 + hashmask a1
227        | hash IntToReal = 0w149        | hash (Subscript(a0)) = 0w149 + hashty a0
228        | hash TruncToInt = 0w151        | hash IntToReal = 0w151
229        | hash RoundToInt = 0w157        | hash TruncToInt = 0w157
230        | hash CeilToInt = 0w163        | hash RoundToInt = 0w163
231        | hash FloorToInt = 0w167        | hash CeilToInt = 0w167
232        | hash (Kernel(a0,a1)) = 0w173 + Kernel.hash a0 + hashint a1        | hash FloorToInt = 0w173
233        | hash (LoadImage(a0)) = 0w179 + ImageInfo.hash a0        | hash (Kernel(a0,a1)) = 0w179 + Kernel.hash a0 + hashint a1
234        | hash (Inside(a0)) = 0w181 + hashint a0        | hash (LoadImage(a0)) = 0w181 + ImageInfo.hash a0
235        | hash (Field(a0)) = 0w191 + hashint a0        | hash (Inside(a0)) = 0w191 + hashint a0
236        | hash (Probe(a0,a1)) = 0w193 + hashty a0 + hashty a1        | hash (Field(a0)) = 0w193 + hashint a0
237        | hash AddField = 0w197        | hash (Probe(a0,a1)) = 0w197 + hashty a0 + hashty a1
238        | hash ScaleField = 0w199        | hash AddField = 0w199
239        | hash NegField = 0w211        | hash ScaleField = 0w211
240        | hash DiffField = 0w223        | hash NegField = 0w223
241        | hash (Input(a0,a1)) = 0w227 + hashty a0 + hashstring a1        | hash DiffField = 0w227
242        | hash (InputWithDefault(a0,a1)) = 0w229 + hashty a0 + hashstring a1        | hash (Input(a0,a1)) = 0w229 + hashty a0 + hashstring a1
243          | hash (InputWithDefault(a0,a1)) = 0w233 + hashty a0 + hashstring a1
244    
245      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]      fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"]
246        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]        | toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"]
# Line 250  Line 254 
254        | toString (NEQ(a0)) = concat["NEQ<", tyToString a0, ">"]        | toString (NEQ(a0)) = concat["NEQ<", tyToString a0, ">"]
255        | toString (GT(a0)) = concat["GT<", tyToString a0, ">"]        | toString (GT(a0)) = concat["GT<", tyToString a0, ">"]
256        | toString (GTE(a0)) = concat["GTE<", tyToString a0, ">"]        | toString (GTE(a0)) = concat["GTE<", tyToString a0, ">"]
257          | toString Power = "Power"
258        | toString Not = "Not"        | toString Not = "Not"
259        | toString Max = "Max"        | toString Max = "Max"
260        | toString Min = "Min"        | toString Min = "Min"

Legend:
Removed from v.823  
changed lines
  Added in v.824

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