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/mid-ir.spec
ViewVC logotype

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

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

revision 3483, Sat Dec 5 15:02:33 2015 UTC revision 3511, Fri Dec 18 17:43:38 2015 UTC
# Line 40  Line 40 
40  EigenVals3x3 : : 1 : 1 : Eigen values for 3x3 matrix  EigenVals3x3 : : 1 : 1 : Eigen values for 3x3 matrix
41  # Zero<ty>() -- zero tensor  # Zero<ty>() -- zero tensor
42  Zero : ty : 1 : 0 : identity matrix  Zero : ty : 1 : 0 : identity matrix
43  # operations on sequences  #
44    ### tuple operations
45    #
46  # Select<ty,i>(u)  -- select ith element of tuple; ty is tuple type  # Select<ty,i>(u)  -- select ith element of tuple; ty is tuple type
47  Select : ty * int : 1 : 1 :  Select : ty * int : 1 : 1 :
48    #
49    ### operations on sequences
50    #
51  # Index<ty,i>(u)  -- select ith element of sequence; ty is sequence type  # Index<ty,i>(u)  -- select ith element of sequence; ty is sequence type
52  Index : ty * int : 1 : 1 :  Index : ty * int : 1 : 1 :
53  # 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
54  Subscript : ty : 1 : 2 :  Subscript : ty : 1 : 2 :
55  # 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
56  !MkDynamic : ty * int : 1 : 1 : make a fixed-length sequence dynamic  !MkDynamic : ty * int : 1 : 1 : make a fixed-length sequence dynamic
57  !Append : ty : 2 : 1 : append an element onto a dynamic sequence  !Append : ty : 2 : 1 : append an element onto a dynamic sequence
58  !Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence  !Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence
59  !Concat : ty : 2 : 1 : concatenate two dynamic sequences  !Concat : ty : 2 : 1 : concatenate two dynamic sequences
60  # Length<ty> -- return the length of a sequence with type ty{}  # Range(lo,hi) -- create a sequence with values [lo, lo+1, ..., hi]
61    Range : : 2 : 1 : create a range sequence
62    # Length<ty> -- return the length of a sequence with type ty[]
63  Length : ty : 1 : 1 : return the length of a dynamic sequence  Length : ty : 1 : 1 : return the length of a dynamic sequence
64  #  #
65  # compute integral parts of reals  # compute integral parts of reals
# Line 97  Line 104 
104  LoadSeq   : ty * string : 1 : 0 : load sequence from nrrd file  LoadSeq   : ty * string : 1 : 0 : load sequence from nrrd file
105  LoadImage : ty * string : 1 : 0 : load image from nrrd file  LoadImage : ty * string : 1 : 0 : load image from nrrd file
106  #  #
 # inputs  
 !Input            : input : 0 : 0 : program input  
 !InputWithDefault : input : 0 : 1 : program input with default value as argument  
 #  
107  # printing support for debugging  # printing support for debugging
108  !Print : tys : 0 : * : print strings  !Print : tys : 0 : * : print strings
109    #
110    # unlifted math functions
111    MathFn : MathFns.t : 1 : * : math function

Legend:
Removed from v.3483  
changed lines
  Added in v.3511

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