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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/gen/il/low-il.spec
ViewVC logotype

Diff of /branches/charisee/src/compiler/gen/il/low-il.spec

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

revision 2525, Tue Jan 21 19:14:22 2014 UTC revision 2791, Wed Oct 29 16:56:19 2014 UTC
# Line 14  Line 14 
14  IMul : : 1 : 2 :  IMul : : 1 : 2 :
15  IDiv : : 1 : 2 :  IDiv : : 1 : 2 :
16  INeg : : 1 : 1 :  INeg : : 1 : 1 :
 Abs : ty : 1 : 1 :  
 LT : ty : 1 : 2 :  
 LTE : ty : 1 : 2 :  
 EQ : ty : 1 : 2 :  
 NEQ : ty : 1 : 2 :  
 GT : ty : 1 : 2 :  
 GTE : ty : 1 : 2 :  
 Not : : 1 : 1 : boolean negation  
 Max : : 1 : 2 :  
 Min : : 1 : 2 :  
17  #Constant  #Constant
18  C: int : 1 : 2 :  #C: int : 1 : 2 :
19  #paramID, last index projected, specific index, argument tensor Type  #paramID, last index projected, specific index, argument tensor Type
20  V: int * int* ty*ty : 1 : 2 :  #V: int * int* ty*ty : 1 : 2 :
21  #paramId, specific Index, arguement tensor tensor  #paramId, specific Index, arguement tensor tensor
22  S: int * ty *ty: 1 : 2 :  #S: int * ty *ty: 1 : 2 :
23    #paramID, result ty, specific index, argument tensor Type
24    IndexTensor: int * ty* ty*ty : 1 : 2 :
25    #paramID, result vector length, specific index, argument tensor Type
26    ProjectTensor: int * int* ty*ty : 1 : 2 :
27  #Scalars  #Scalars
28  addSca : : 1 : 2 :  addSca : : 1 : 2 :
29  subSca : : 1 : 2 :  subSca : : 1 : 2 :
30  prodSca : : 1 : 2 :  prodSca : : 1 : 2 :
31  divSca : : 1 : 2 :  divSca : : 1 : 2 :
 cons : ty : 1 : 2 :  
 #img, and kernels  
 #paramid, img shape, position argument  
 img  : int* ty *int: 1 : 2 :  
 #krn : int *int : 1 : 2 :  
   
32  #Vector Ops- Int is dimension of vectors  #Vector Ops- Int is dimension of vectors
33  addVec : int : 1 : 2 :  addVec : int : 1 : 2 :
34  subVec : int : 1 : 2 :  subVec : int : 1 : 2 :
35  prodVec : int : 1 : 2 :  prodVec : int : 1 : 2 :
36  prodScaV : int : 1 : 2 :  prodScaV : int : 1 : 2 :
37  sumVec : int : 1 : 2 :  sumVec : int : 1 : 2 :
38    dotVec : int : 1 : 2 :
39    
40    #Vector Ops: Int is dimension of vector, offset (if there is matrix)
41    #addOff : int *int  : 1 : 2 :
42    
43    Abs : ty : 1 : 1 :
44    LT : ty : 1 : 2 :
45    LTE : ty : 1 : 2 :
46    EQ : ty : 1 : 2 :
47    NEQ : ty : 1 : 2 :
48    GT : ty : 1 : 2 :
49    GTE : ty : 1 : 2 :
50    Not : : 1 : 1 : boolean negation
51    Max : : 1 : 2 :
52    Min : : 1 : 2 :
53  # Clamp<ty>(lo, hi, x) -- clamps x to the range lo..hi  # Clamp<ty>(lo, hi, x) -- clamps x to the range lo..hi
54  Clamp : ty : 1 : 3 : clamp argument to range  Clamp : ty : 1 : 3 : clamp argument to range
55  # Lerp<ty>(a, b, t) -- computes a + t*(b-a)  # Lerp<ty>(a, b, t) -- computes a + t*(b-a)
56  Lerp : ty : 1 : 3 : linear interpolation between 0 and 1  Lerp : ty : 1 : 3 : linear interpolation between 0 and 1
57  # Norm<ty>(x) -- returns the norm of the tensor x, which has type ty  # Norm<ty>(x) -- returns the norm of the tensor x, which has type ty
58  Norm : ty : 1 : 1 :  #Norm : ty : 1 : 1 :
59  # Normalize<n>(v)   -- returns the unit vector in direction u; n is the length ov u  # Normalize<n>(v)   -- returns the unit vector in direction u; n is the length ov u
60  Normalize : int : 1 : 1 :  #Normalize : int : 1 : 1 :
61  PrincipleEvec : ty : 1 : 2 : principle eigenvector; ty is result vector type  PrincipleEvec : ty : 1 : 2 : principle eigenvector; ty is result vector type
62  EigenVecs2x2 : : 1 : 1 : Eigen vectors and values for 2x2 matrix  EigenVecs2x2 : : 1 : 1 : Eigen vectors and values for 2x2 matrix
63  EigenVecs3x3 : : 1 : 1 : Eigen vectors and values for 3x3 matrix  EigenVecs3x3 : : 1 : 1 : Eigen vectors and values for 3x3 matrix
# Line 78  Line 78 
78  !Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence  !Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence
79  !Concat : ty : 2 : 1 : concatenate two dynamic sequences  !Concat : ty : 2 : 1 : concatenate two dynamic sequences
80  # Length<ty> -- return the length of a sequence with type ty{}  # Length<ty> -- return the length of a sequence with type ty{}
81  Length : ty : 1 : 1 : return the length of a dynamic sequence  #Length : ty : 1 : 1 : return the length of a dynamic sequence
82  #  #
83    Sqrt : : 1 : 1 : returns the sqrt(used to replace norm)]
84  # compute integral parts of reals  # compute integral parts of reals
85  Ceiling : int : 1 : 1 : compute real ceiling of a vector  Ceiling : int : 1 : 1 : compute real ceiling of a vector
86  Floor : int : 1 : 1 : compute real floor of a vector  Floor : int : 1 : 1 : compute real floor of a vector
# Line 105  Line 106 
106  # nrrd file loading  # nrrd file loading
107  LoadSeq   : ty * string                  : 1 : 0 : load sequence from nrrd file  LoadSeq   : ty * string                  : 1 : 0 : load sequence from nrrd file
108  LoadImage : ImageInfo.info : 1 : 0 : load image from nrrd file  LoadImage : ImageInfo.info : 1 : 0 : load image from nrrd file
109    #imgAddr:  shape of IMG, dim, Args:V and  dim number of ints
110    imgAddr  :  ImageInfo.info*ty *int: 1 : 2 :
111    #imgLoad, dim, int-2*support:Args:V and addrVar
112    imgLoad  : ImageInfo.info*int*int: 1 : 2 :
113    #BaseAddr
114    baseAddr: ImageInfo.info : 1 : 2 :
115    
116    
117  #  #
118  # inputs  # inputs
119  #Input: input: 0 : 0 : program input  #Input: input: 0 : 0 : program input

Legend:
Removed from v.2525  
changed lines
  Added in v.2791

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