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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/IL/gen/mid-il.spec
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/IL/gen/mid-il.spec

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

trunk/src/compiler/IL/gen/mid-il.spec revision 457, Wed Oct 27 12:08:13 2010 UTC branches/pure-cfg/src/compiler/IL/gen/mid-il.spec revision 717, Thu Mar 31 22:12:58 2011 UTC
# Line 11  Line 11 
11  Mul : ty : 2 :  Mul : ty : 2 :
12  Div : ty : 2 :  Div : ty : 2 :
13  Neg : ty : 1 :  Neg : ty : 1 :
14    Abs : ty : 1 :
15  LT : ty : 2 :  LT : ty : 2 :
16  LTE : ty : 2 :  LTE : ty : 2 :
17  EQ : ty : 2 :  EQ : ty : 2 :
# Line 20  Line 21 
21  Not : : 1 : boolean negation  Not : : 1 : boolean negation
22  Max : : 2 :  Max : : 2 :
23  Min : : 2 :  Min : : 2 :
 Sin : : 1 :  
 Cos : : 1 :  
 Pow : : 2 :  
24  #  #
25  ### vector operations  ### vector operations
26  # Dot<n>(u, v)  -- computes dot product of u and v; n specifies u and v's arity  # Dot<n>(u, v)  -- computes dot product of u and v; n specifies u and v's arity
# Line 33  Line 31 
31  Select : ty * int : 1 :  Select : ty * int : 1 :
32  # Norm<n>(u)   -- computes length of vector u; n specifies u's arity  # Norm<n>(u)   -- computes length of vector u; n specifies u's arity
33  Norm : int : 1 :  Norm : int : 1 :
34    # Normalize<n>(v)   -- returns the unit vector in direction u; n is the length ov u
35    Normalize : int : 1 :
36  # Scale<n>(s,u) -- multiply scalar s time vector u; n specifies u's arity  # Scale<n>(s,u) -- multiply scalar s time vector u; n specifies u's arity
37  Scale : int : 2 : scalar*vector multiplication  Scale : int : 2 : scalar*vector multiplication
38  # InvScale<n>(s,u) -- divide vector u by scalar s; n specifies u's arity  # InvScale<n>(s,u) -- divide vector u by scalar s; n specifies u's arity
39  InvScale : int : 2 : vector/scalar division  InvScale : int : 2 : vector/scalar division
40  CL : : 1 : linear anisotropy measures  CL : : 1 : linear anisotropy measures
41  PrincipleEvec : ty : 2 : principle eigenvector; ty is result vector type  PrincipleEvec : ty : 2 : principle eigenvector; ty is result vector type
42    # Trace<n>(m) -- computes trace of nxn matrix m
43    Trace : int : 1 : compute trace of matrix
44  Subscript : ty : 2 :  Subscript : ty : 2 :
45    #
46    # compute integral parts of reals
47    Ceiling : int : 1 : compute real ceiling of a vector
48  Floor : int : 1 : compute real floor of a vector  Floor : int : 1 : compute real floor of a vector
49    Round : int : 1 : compute real rounding to nearest integral real of a vector
50    Trunc : int : 1 : compute real truncation to integral real of a vector
51  #  #
52  ### conversions; the real to int forms are vector ops  ### conversions; the real to int forms are vector ops
53  IntToReal : : 1 :  IntToReal : : 1 :
54  TruncToInt : int : 1 :  RealToInt : int : 1 : cast real vector to int vector
 RoundToInt : int : 1 :  
 CeilToInt : int : 1 :  
 FloorToInt : int : 1 :  
55  #  #
56  ### image/kernel operations  ### image/kernel operations
57  # VoxelAddress<V>(i, j, ...) -- compute the address of the voxel data indexed by i, j, ...  # VoxelAddress<I>(V, i, j, ...) -- compute the address of the voxel data indexed by i, j, ...
58  VoxelAddress : ImageInfo.info : * : compute the address of a voxel  VoxelAddress : ImageInfo.info : * : compute the address of a voxel
59  LoadVoxels : RawTypes.ty * int : 1 : load a vector of voxel values from an address  # LoadVoxels<I,n>(a) -- load a vector of n voxels from the address a
60  # PosToImgSpace<V>(u) -- transforms the world-space position u into the image-space specified by V.  LoadVoxels : ImageInfo.info * int : 1 : load a vector of voxel values from an address
61  PosToImgSpace : ImageInfo.info : 1 : transform a world-space position to image-space  # PosToImgSpace<I>(V,u) -- transforms the world-space position u into the image-space specified by V.
62  # GradToWorldSpace<V>(u) -- transforms the image-space gradient vector u to world space  PosToImgSpace : ImageInfo.info : 2 : transform a world-space position to image-space
63  GradToWorldSpace : ImageInfo.info : 1 : transform an image-space gradient to world-space  # GradToWorldSpace<I>(V,u) -- transforms the image-space gradient vector u to world space
64    GradToWorldSpace : ImageInfo.info : 2 : transform an image-space gradient to world-space
65  # EvalKernel<i,h,k>(u) -- computes (D^k h)(u), where i is the size of vector u.  # EvalKernel<i,h,k>(u) -- computes (D^k h)(u), where i is the size of vector u.
66  EvalKernel : int * Kernel.kernel * int : 1 : apply a kernel function to a scalar or vector of arguments  EvalKernel : int * Kernel.kernel * int : 1 : apply a kernel function to a scalar or vector of arguments
67  LoadImage : ImageInfo.info : 0 : image-file loading  LoadImage : ImageInfo.info : 1 : image-file loading
68  # Inside<V>(u) -- tests to see if image-space position u is inside the volume occupied by the image V.  # Inside<I,s>(u,V) -- tests to see if image-space position u is inside the volume
69  Inside : ImageInfo.info : 1 :  # occupied by the image V.  I is the image info and s is the border width
70    Inside : ImageInfo.info * int : 2 :
71  #  #
72  # inputs  # inputs
73  Input : ty * string : 0 :  Input : ty * string : 0 :

Legend:
Removed from v.457  
changed lines
  Added in v.717

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