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

SCM Repository

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

Diff of /branches/vis12/src/compiler/high-il/high-il.sml

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

revision 1688, Wed Jan 25 13:36:13 2012 UTC revision 1689, Wed Jan 25 14:55:43 2012 UTC
# Line 81  Line 81 
81        | Select of ty * int        | Select of ty * int
82        | SeqSub of ty        | SeqSub of ty
83        | MkDynamic of ty * int        | MkDynamic of ty * int
       | Prepend of ty  
84        | Append of ty        | Append of ty
85          | Prepend of ty
86        | Concat of ty        | Concat of ty
87        | IntToReal        | IntToReal
88        | TruncToInt        | TruncToInt
# Line 141  Line 141 
141        | resultArity (Select _) = 1        | resultArity (Select _) = 1
142        | resultArity (SeqSub _) = 1        | resultArity (SeqSub _) = 1
143        | resultArity (MkDynamic _) = 1        | resultArity (MkDynamic _) = 1
       | resultArity (Prepend _) = 2  
144        | resultArity (Append _) = 2        | resultArity (Append _) = 2
145          | resultArity (Prepend _) = 2
146        | resultArity (Concat _) = 2        | resultArity (Concat _) = 2
147        | resultArity IntToReal = 1        | resultArity IntToReal = 1
148        | resultArity TruncToInt = 1        | resultArity TruncToInt = 1
# Line 201  Line 201 
201        | arity (Select _) = 1        | arity (Select _) = 1
202        | arity (SeqSub _) = 2        | arity (SeqSub _) = 2
203        | arity (MkDynamic _) = 1        | arity (MkDynamic _) = 1
       | arity (Prepend _) = 1  
204        | arity (Append _) = 1        | arity (Append _) = 1
205          | arity (Prepend _) = 1
206        | arity (Concat _) = 1        | arity (Concat _) = 1
207        | arity IntToReal = 1        | arity IntToReal = 1
208        | arity TruncToInt = 1        | arity TruncToInt = 1
# Line 261  Line 261 
261        | 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)
262        | same (SeqSub(a0), SeqSub(b0)) = samety(a0, b0)        | same (SeqSub(a0), SeqSub(b0)) = samety(a0, b0)
263        | same (MkDynamic(a0,a1), MkDynamic(b0,b1)) = samety(a0, b0) andalso sameint(a1, b1)        | same (MkDynamic(a0,a1), MkDynamic(b0,b1)) = samety(a0, b0) andalso sameint(a1, b1)
       | same (Prepend(a0), Prepend(b0)) = samety(a0, b0)  
264        | same (Append(a0), Append(b0)) = samety(a0, b0)        | same (Append(a0), Append(b0)) = samety(a0, b0)
265          | same (Prepend(a0), Prepend(b0)) = samety(a0, b0)
266        | same (Concat(a0), Concat(b0)) = samety(a0, b0)        | same (Concat(a0), Concat(b0)) = samety(a0, b0)
267        | same (IntToReal, IntToReal) = true        | same (IntToReal, IntToReal) = true
268        | same (TruncToInt, TruncToInt) = true        | same (TruncToInt, TruncToInt) = true
# Line 322  Line 322 
322        | hash (Select(a0,a1)) = 0w157 + hashty a0 + hashint a1        | hash (Select(a0,a1)) = 0w157 + hashty a0 + hashint a1
323        | hash (SeqSub(a0)) = 0w163 + hashty a0        | hash (SeqSub(a0)) = 0w163 + hashty a0
324        | hash (MkDynamic(a0,a1)) = 0w167 + hashty a0 + hashint a1        | hash (MkDynamic(a0,a1)) = 0w167 + hashty a0 + hashint a1
325        | hash (Prepend(a0)) = 0w173 + hashty a0        | hash (Append(a0)) = 0w173 + hashty a0
326        | hash (Append(a0)) = 0w179 + hashty a0        | hash (Prepend(a0)) = 0w179 + hashty a0
327        | hash (Concat(a0)) = 0w181 + hashty a0        | hash (Concat(a0)) = 0w181 + hashty a0
328        | hash IntToReal = 0w191        | hash IntToReal = 0w191
329        | hash TruncToInt = 0w193        | hash TruncToInt = 0w193
# Line 382  Line 382 
382        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]        | toString (Select(a0,a1)) = concat["Select<", tyToString a0, ",", intToString a1, ">"]
383        | toString (SeqSub(a0)) = concat["SeqSub<", tyToString a0, ">"]        | toString (SeqSub(a0)) = concat["SeqSub<", tyToString a0, ">"]
384        | toString (MkDynamic(a0,a1)) = concat["MkDynamic<", tyToString a0, ",", intToString a1, ">"]        | toString (MkDynamic(a0,a1)) = concat["MkDynamic<", tyToString a0, ",", intToString a1, ">"]
       | toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]  
385        | toString (Append(a0)) = concat["Append<", tyToString a0, ">"]        | toString (Append(a0)) = concat["Append<", tyToString a0, ">"]
386          | toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]
387        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]
388        | toString IntToReal = "IntToReal"        | toString IntToReal = "IntToReal"
389        | toString TruncToInt = "TruncToInt"        | toString TruncToInt = "TruncToInt"

Legend:
Removed from v.1688  
changed lines
  Added in v.1689

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