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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/gen/ir/tree-ops.spec
ViewVC logotype

Diff of /branches/vis15/src/compiler/gen/ir/tree-ops.spec

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

revision 3765, Mon Apr 18 16:13:13 2016 UTC revision 3766, Mon Apr 18 16:13:31 2016 UTC
# Line 15  Line 15 
15  IDiv : : 1 : 2 : integer division  IDiv : : 1 : 2 : integer division
16  IMod : : 1 : 2 : integer modulo  IMod : : 1 : 2 : integer modulo
17  INeg : : 1 : 1 : integer negation  INeg : : 1 : 1 : integer negation
 IPow : : 1 : 2 :  
18  #  #
19  # scalar arithmetic operations  # scalar arithmetic operations
20  RAdd : : 1 : 2 : scalar (real) addition  RAdd : : 1 : 2 : scalar (real) addition
# Line 23  Line 22 
22  RMul : : 1 : 2 :  RMul : : 1 : 2 :
23  RDiv : : 1 : 2 :  RDiv : : 1 : 2 :
24  RNeg : : 1 : 1 :  RNeg : : 1 : 1 :
 # RClamp(lo, hi, x) -- clamps x to the range lo..hi  
 RClamp : : 1 : 3 : clamp argument to range  
 # RLerp(a, b, t) -- computes a + t*(b-a)  
 RLerp : : 1 : 3 : linear interpolation between 0 and 1  
 #  
 # vector arithmetic operations (int is arity)  
 VAdd   : int : 1 : 2 : vector addition  
 VSub   : int : 1 : 2 : vector subtraction  
 VScale : int : 1 : 2 : vector scaling  
 VMul   : int : 1 : 2 : vector element-wise multiplication  
 VNeg   : int : 1 : 2 : vector negation  
 VSum   : shape * int : 1 : 1 : sum elements of a vector  
 VClamp : int : 1 : 3 :  
 VLerp  : int : 1 : 3 :  
 # BaseAddr<I>(v)  
 BaseAddr: ImageInfo.info : 1 : 1 :  
 # tensor operations  
 #  
 # TensorIndex<ty,idxs>(T) returns the scalar T[idxs]  
 TensorIndex : bool * shape * ty : 1 : 1 :  
25  #  #
26  # comparisons (integer and scalar)  # comparisons (integer and scalar)
27  LT : ty : 1 : 2 :  LT : ty : 1 : 2 :
# Line 57  Line 36 
36  Min : ty : 1 : 2 :  Min : ty : 1 : 2 :
37  #  #
38  # Clamp<ty>(lo, hi, x) -- clamps x to the range lo..hi  # Clamp<ty>(lo, hi, x) -- clamps x to the range lo..hi
39  #Clamp : ty : 1 : 3 : clamp argument to range  Clamp : ty : 1 : 3 : clamp argument to range
40  # Lerp<ty>(a, b, t) -- computes a + t*(b-a)  # Lerp<ty>(a, b, t) -- computes a + t*(b-a)
41  #Lerp : ty : 1 : 3 : linear interpolation between 0 and 1  Lerp : ty : 1 : 3 : linear interpolation between 0 and 1
42    #
43    # vector arithmetic operations (int is arity)
44    VAdd   : int : 1 : 2 : vector addition
45    VSub   : int : 1 : 2 : vector subtraction
46    VScale : int : 1 : 2 : vector scaling
47    VMul   : int : 1 : 2 : vector element-wise multiplication
48    VNeg   : int : 1 : 2 : vector negation
49    VSum   : int : 1 : 1 : sum elements of a vector
50    #
51    ### tensor operations
52    #
53    # TensorIndex<ty,idxs>(T) returns the scalar T[idxs]
54    TensorIndex : ty * shape : 1 : 1 :
55    #
56    ### matrix operations
57  #  #
58  EigenVecs2x2 : : 1 : 1 : Eigen vectors and values for 2x2 matrix  EigenVecs2x2 : : 1 : 1 : Eigen vectors and values for 2x2 matrix
59  EigenVecs3x3 : : 1 : 1 : Eigen vectors and values for 3x3 matrix  EigenVecs3x3 : : 1 : 1 : Eigen vectors and values for 3x3 matrix
# Line 75  Line 69 
69  #  #
70  ### operations on sequences  ### operations on sequences
71  #  #
 # Index<ty,i>(u)  -- select ith element of sequence; ty is sequence type  
 Index : ty * int : 1 : 1 :  
72  # Subscript<ty>(u,i) -- select ith element of sequence; ty is type of sequence  # Subscript<ty>(u,i) -- select ith element of sequence; ty is type of sequence
73  Subscript : ty : 1 : 2 :  Subscript : ty : 1 : 2 :
74  # MkDynamic<ty,n> -- make a sequence with type ty[n] into a dynamic sequence  # MkDynamic<ty,n> -- make a sequence with type ty[n] into a dynamic sequence
# Line 126  Line 118 
118  Transform : ImageInfo.info * int : 1 : 2 : Pulls transformation matrix from image.  Transform : ImageInfo.info * int : 1 : 2 : Pulls transformation matrix from image.
119  Translate : ImageInfo.info : 1 : 2 : Pulls translation vector from image.  Translate : ImageInfo.info : 1 : 2 : Pulls translation vector from image.
120  #  #
121    # BaseAddress<I>(V) -- the base address of image V with info I
122    BaseAddress : ImageInfo.info : 1 : 1 : image base address
123    #
124  # ImageAddress<I>(V) -- the base address of an image with info I  # ImageAddress<I>(V) -- the base address of an image with info I
125  #ImageAddress : ImageInfo.info : 1 : 1 : image base address  #ImageAddress : ImageInfo.info : 1 : 1 : image base address
126  #  #
# Line 142  Line 137 
137  # ImageDim<I,i>(V) -- returns the i'th dimension of the image  # ImageDim<I,i>(V) -- returns the i'th dimension of the image
138  ImageDim : ImageInfo.info * int : 1 : 1 :  ImageDim : ImageInfo.info * int : 1 : 1 :
139  #  #
140    ### other operations
141    #
142  # nrrd file loading  # nrrd file loading
143  LoadSeq   : ty * string : 1 : 0 : load sequence from nrrd file  LoadSeq   : ty * string : 1 : 0 : load sequence from nrrd file
144  LoadImage : ty * string : 1 : 0 : load image from nrrd file  LoadImage : ty * string : 1 : 0 : load image from nrrd file

Legend:
Removed from v.3765  
changed lines
  Added in v.3766

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