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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/mid-il/mid-il-types.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/mid-il/mid-il-types.sml

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

revision 2626, Fri May 16 18:32:52 2014 UTC revision 2627, Sat May 17 00:44:22 2014 UTC
# Line 21  Line 21 
21        | indexTy of int list (*Specific index *)        | indexTy of int list (*Specific index *)
22        | imgIndex of int list (*Image Index V_0 or V_1, [] for scalars*)        | imgIndex of int list (*Image Index V_0 or V_1, [] for scalars*)
23        | vectorLength of int list        | vectorLength of int list
       | vectorIndex of (int*int) list  
       | VecTy of int*int list  
24        | NativeVecTy of int        | NativeVecTy of int
25    
26    
# Line 53  Line 51 
51        | same(indexTy dd1, indexTy dd2)=(dd1=dd2)        | same(indexTy dd1, indexTy dd2)=(dd1=dd2)
52        | same (imgIndex dd1, imgIndex dd2) = (dd1=dd2)        | same (imgIndex dd1, imgIndex dd2) = (dd1=dd2)
53        | same (vectorLength dd1, vectorLength  dd2) = (dd1=dd2)        | same (vectorLength dd1, vectorLength  dd2) = (dd1=dd2)
       | same(VecTy(n1,dd1),VecTy(n2,dd2))= (n1=n2) andalso (dd1=dd2)  
54        | same (NativeVecTy n1, NativeVecTy n2)=(n1=n2)        | same (NativeVecTy n1, NativeVecTy n2)=(n1=n2)
55        | same _ = false        | same _ = false
56    
# Line 69  Line 66 
66        | hash (imgIndex _ )=0w19        | hash (imgIndex _ )=0w19
67        | hash (indexTy _)= 0w23        | hash (indexTy _)= 0w23
68        | hash (vectorLength _)=0w29        | hash (vectorLength _)=0w29
       | hash (VecTy _)= 0w31  
69        | hash (NativeVecTy n1)=0w37+ Word.fromInt n1        | hash (NativeVecTy n1)=0w37+ Word.fromInt n1
70    
71    
# Line 86  Line 82 
82        | toString(indexTy [])="-"        | toString(indexTy [])="-"
83        | toString(indexTy dd)=String.concat["Specific Index:[", String.concatWith "," (List.map Int.toString dd), "]"]        | toString(indexTy dd)=String.concat["Specific Index:[", String.concatWith "," (List.map Int.toString dd), "]"]
84        | toString(imgIndex dd)=String.concat["ImgSpecificIndex:[", String.concatWith "," (List.map Int.toString dd), "]"]        | toString(imgIndex dd)=String.concat["ImgSpecificIndex:[", String.concatWith "," (List.map Int.toString dd), "]"]
85        | toString(vectorLength dd)=String.concat["VecLength:[", String.concatWith "," (List.map Int.toString dd), "]"]        | toString(vectorLength dd)=String.concat["[", String.concatWith "," (List.map Int.toString dd), "]"]
86       | toString(VecTy(n1, dd))=String.concat["VecTy ",Int.toString n1,":[", String.concatWith "," (List.map Int.toString dd), "]"]        | toString(NativeVecTy n1)=String.concat["<", Int.toString n1, ">"]
       | toString(NativeVecTy n1)=String.concat["NativeVecTy[", Int.toString n1, "]"]  
87    
88    
89    

Legend:
Removed from v.2626  
changed lines
  Added in v.2627

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