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 2399, Sun Jul 7 02:22:44 2013 UTC revision 2400, Sun Jul 7 13:29:54 2013 UTC
# Line 9  Line 9 
9  # Operations with effects are denoted by a "!" as the first character of the line.  # Operations with effects are denoted by a "!" as the first character of the line.
10  #  #
11  # type-indexed arithmetic operations  # type-indexed arithmetic operations
12  IAdd : 1 : 2 :  IAdd : ty : 1 : 2 :
13  ISub : 1 : 2 :  ISub : ty : 1 : 2 :
14  IMul : 1 : 2 :  IMul : ty : 1 : 2 :
15  IDiv : 1 : 2 :  IDiv : ty : 1 : 2 :
16  INeg : 1 : 1 :  INeg : ty : 1 : 1 :
17  Abs : ty : 1 : 1 :  Abs : ty : 1 : 1 :
18  LT : ty : 1 : 2 :  LT : ty : 1 : 2 :
19  LTE : ty : 1 : 2 :  LTE : ty : 1 : 2 :
# Line 28  Line 28 
28  Clamp : ty : 1 : 3 : clamp argument to range  Clamp : ty : 1 : 3 : clamp argument to range
29  # Lerp<ty>(a, b, t) -- computes a + t*(b-a)  # Lerp<ty>(a, b, t) -- computes a + t*(b-a)
30  Lerp : ty : 1 : 3 : linear interpolation between 0 and 1  Lerp : ty : 1 : 3 : linear interpolation between 0 and 1
   
31  # 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
32  Norm : ty : 1 : 1 :  Norm : ty : 1 : 1 :
33  # 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
# Line 47  Line 46 
46  Index : ty * int : 1 : 1 :  Index : ty * int : 1 : 1 :
47  # 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
48  Subscript : ty : 1 : 2 :  Subscript : ty : 1 : 2 :
49    # MkDynamic<ty,n> -- make a sequence with type ty{n} into a dynamic sequence
50    !MkDynamic : ty * int : 1 : 1 : make a fixed-length sequence dynamic
51    !Append : ty : 2 : 1 : append an element onto a dynamic sequence
52    !Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence
53    !Concat : ty : 2 : 1 : concatenate two dynamic sequences
54    # Length<ty> -- return the length of a sequence with type ty{}
55    Length : ty : 1 : 1 : return the length of a dynamic sequence
56  #  #
57  # compute integral parts of reals  # compute integral parts of reals
58  Ceiling : int : 1 : 1 : compute real ceiling of a vector  Ceiling : int : 1 : 1 : compute real ceiling of a vector
# Line 67  Line 73 
73  PosToImgSpace : ImageInfo.info : 1 : 2 : transform a world-space position to image-space  PosToImgSpace : ImageInfo.info : 1 : 2 : transform a world-space position to image-space
74  # TensorToWorldSpace<I,ty>(V,u) -- transforms the image-space tensor u to from V's image space to world space  # TensorToWorldSpace<I,ty>(V,u) -- transforms the image-space tensor u to from V's image space to world space
75  TensorToWorldSpace : ImageInfo.info * ty : 1 : 2 : transform an image-space gradient to world-space  TensorToWorldSpace : ImageInfo.info * ty : 1 : 2 : transform an image-space gradient to world-space
 LoadImage : ImageInfo.info : 1 : 1 : image-file loading  
76  # Inside<I,s>(u,V) -- tests to see if image-space position u is inside the volume  # Inside<I,s>(u,V) -- tests to see if image-space position u is inside the volume
77  # occupied by the image V.  I is the image info and s is the border width  # occupied by the image V.  I is the image info and s is the border width
78  Inside : ImageInfo.info * int : 1 : 2 :  Inside : ImageInfo.info * int : 1 : 2 :
79  #  #
80    # nrrd file loading
81    LoadSeq   : ty * string                  : 1 : 0 : load sequence from nrrd file
82    LoadImage : ty * string * ImageInfo.info : 1 : 0 : load image from nrrd file
83    #
84  # inputs  # inputs
85  Input            : ty * string * string  : 1 : 0 :  Input: input: 0 : 0 : program input
 InputWithDefault : ty * string * string  : 1 : 1 :  
86  #  #
87  # printing support for debugging  # printing support for debugging
88  !Print : tys : 0 : * : print strings  !Print : tys : 0 : * : print strings

Legend:
Removed from v.2399  
changed lines
  Added in v.2400

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