Home My Page Projects Code Snippets Project Openings diderot

# SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/gen/il/high-il.spec
 [diderot] / branches / vis12 / src / compiler / gen / il / high-il.spec

# Diff of /branches/vis12/src/compiler/gen/il/high-il.spec

trunk/src/compiler/gen/il/high-il.spec revision 1640, Wed Nov 16 02:19:51 2011 UTC branches/vis12/src/compiler/gen/il/high-il.spec revision 2011, Sun Oct 7 21:14:31 2012 UTC
# Line 34  Line 34
34  MulVecMat : ty : 1 : 2 : vector times matrix multiplication (type is matrix type)  MulVecMat : ty : 1 : 2 : vector times matrix multiplication (type is matrix type)
35  MulMatVec : ty : 1 : 2 : matrix times vector multiplication (type is matrix type)  MulMatVec : ty : 1 : 2 : matrix times vector multiplication (type is matrix type)
36  MulMatMat : ty * ty : 1 : 2 : matrix times matrix multiplication  MulMatMat : ty * ty : 1 : 2 : matrix times matrix multiplication
37    MulVecTen3 : ty : 1 : 2 : vector times 3rd-order tensor multiplication (type is tensor type)
38    MulTen3Vec : ty : 1 : 2 : 3rd-order tensor times vector multiplication (type is tensor type)
39    # ColonMul<ty1,ty2>(T1, T2) -- computes T1:T2, where T1 (resp. T2) has type ty1 (resp. ty2)
40    ColonMul : ty * ty : 1 : 2 : colon product
41  Cross : : 1 : 2 :  Cross : : 1 : 2 :
42  Outer : ty : 1 : 2 : vector outer product (type is result type)  Outer : ty : 1 : 2 : vector outer product (type is result type)
43  # 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
# Line 55  Line 59
59  # tuple and sequence operations  # tuple and sequence operations
60  Select : ty * int : 1 : 1 : select field from tuple value  Select : ty * int : 1 : 1 : select field from tuple value
61  SeqSub : ty : 1 : 2 : index a sequence  SeqSub : ty : 1 : 2 : index a sequence
62    MkDynamic : ty * int : 1 : 1 : make a fixed-length sequence dynamic
63    Append : ty : 2 : 1 : append an element onto a dynamic sequence
64    Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence
65    Concat : ty : 2 : 1 : concatenate two dynamic sequences
66    # Length<ty> -- return the length of a sequence with type ty{}
67    Length : ty : 1 : 1 : return the length of a dynamic sequence
68  #  #
69  # conversions  # conversions
70  IntToReal : : 1 : 1 :  IntToReal : : 1 : 1 :
# Line 65  Line 75
75  #  #
76  # image/field operations  # image/field operations
77  Kernel     : Kernel.kernel * int  : 1 : 0 : Kernel<h, k>, where h is the kernel and k is level of differentiation  Kernel     : Kernel.kernel * int  : 1 : 0 : Kernel<h, k>, where h is the kernel and k is level of differentiation
78  Inside     : int                  : 1 : 2 : args are position, field  Inside     : int                  : 1 : 2 : args are position, field
79  Field      : int                  : 1 : 2 : Field<d> is d-dimension reconstructed field; args are image, kernel  Field      : int                  : 1 : 2 : Field<d> is d-dimension reconstructed field; args are image, kernel
80  Probe      : ty * ty              : 1 : 2 : Probe<domTy, rngTy>(fld, pos) probes fld at pos.  Probe      : ty * ty              : 1 : 2 : Probe<domTy, rngTy>(fld, pos) probes fld at pos.
# Line 76  Line 85
85  DiffField  :                      : 1 : 1 : field differentiation  DiffField  :                      : 1 : 1 : field differentiation
86  #  #
87  # inputs  # inputs
88  Input            : ty * string * string  : 1 : 0 :  Input   : input : 0 : 0 : program input
InputWithDefault : ty * string * string  : 1 : 1 :
89  #  #
90  # printing support for debugging  # printing support for debugging
91  Print : tys : 0 : * : print strings  Print : tys : 0 : * : print strings

Legend:
 Removed from v.1640 changed lines Added in v.2011