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

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

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

revision 3507, Fri Dec 18 12:49:08 2015 UTC revision 3508, Fri Dec 18 14:19:30 2015 UTC
# Line 37  Line 37 
37  Eigen3x3 : : 1 : 1 : Eigenvector and values for 3x3 matrix  Eigen3x3 : : 1 : 1 : Eigenvector and values for 3x3 matrix
38  # Zero<ty>() -- zero tensor (until Zero is supported in Ein)  # Zero<ty>() -- zero tensor (until Zero is supported in Ein)
39  Zero : ty : 1 : 0 : all zeros tensor  Zero : ty : 1 : 0 : all zeros tensor
40  Slice : ty * mask : 1 : 1 : tensor slice; type is tensor argument type  TensorSlice : ty * mask : 1 : 1 : tensor slice; type is tensor argument type
41  TensorSub : ty : 1 : * : tensor subscript (special case of slice)  TensorIndex : ty : 1 : * : tensor index (special case of slice)
42  #  #
43  # tuple and sequence operations  ### tuple operations
44  Select : ty * int : 1 : 1 : select field from tuple value  #
45  SeqSub : ty : 1 : 2 : index a sequence  # Select<ty,i>(u)  -- select ith element of tuple; ty is tuple type
46    Select : ty * int : 1 : 1 :
47    #
48    ### operations on sequences
49    #
50    # Subscript<ty>(u,i) -- select ith element of sequence; ty is type of sequence
51    Subscript : ty : 1 : 2 :
52    # MkDynamic<ty,n> -- make a sequence with type ty[n] into a dynamic sequence
53  !MkDynamic : ty * int : 1 : 1 : make a fixed-length sequence dynamic  !MkDynamic : ty * int : 1 : 1 : make a fixed-length sequence dynamic
54  !Append : ty : 2 : 1 : append an element onto a dynamic sequence  !Append : ty : 2 : 1 : append an element onto a dynamic sequence
55  !Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence  !Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence
56  !Concat : ty : 2 : 1 : concatenate two dynamic sequences  !Concat : ty : 2 : 1 : concatenate two dynamic sequences
57    # Range(lo,hi) -- create a sequence with values [lo, lo+1, ..., hi]
58    Range : : 2 : 1 : create a range sequence
59    # Length<ty> -- return the length of a sequence with type ty[]
60    Length : ty : 1 : 1 : return the length of a dynamic sequence
61  #  #
62  # SphereQuery<posType,seqTy>(??)  # SphereQuery<posType,seqTy>(??)
63  SphereQuery : ty * ty : 1 : 2 : find strands within  SphereQuery : ty * ty : 1 : 2 : find strands within
 # Length<ty> -- return the length of a sequence with type ty{}  
 Length : ty : 1 : 1 : return the length of a dynamic sequence  
64  #  #
65  # conversions  # conversions
66  IntToReal : : 1 : 1 :  IntToReal : : 1 : 1 :

Legend:
Removed from v.3507  
changed lines
  Added in v.3508

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