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
 [diderot] / branches / charisee / src / compiler / gen / il / low-il.spec

# Diff of /branches/charisee/src/compiler/gen/il/low-il.spec

revision 1640, Wed Nov 16 02:19:51 2011 UTC revision 2356, Sun Apr 7 14:45:25 2013 UTC
# Line 6  Line 6
6  #       arity  #       arity
7  #       comment                 (optional)  #       comment                 (optional)
8  #  #
9    # 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  Add : ty : 1 : 2 :  Add : ty : 1 : 2 :
13  Sub : ty : 1 : 2 :  Sub : ty : 1 : 2 :
# Line 36  Line 38
38  MulMatVec : int * int : 1 : 2 : matrix times vector multiplication (type is matrix type)  MulMatVec : int * int : 1 : 2 : matrix times vector multiplication (type is matrix type)
39  # MulMatMat<m,n,p>(M, N) -- computes M*N, where M is an mxn-matrix and N is an nxp-matrix  # MulMatMat<m,n,p>(M, N) -- computes M*N, where M is an mxn-matrix and N is an nxp-matrix
40  MulMatMat : int * int * int : 1 : 2 : matrix times matrix multiplication  MulMatMat : int * int * int : 1 : 2 : matrix times matrix multiplication
41    # MulVecTen3<m,n,p>(v, T) -- computes v*T, where T is an mxnxp-tensor and v is an m-vector
42    MulVecTen3 : int * int * int : 1 : 2 : vector times 3rd-order tensor multiplication
43    # MulTen3Vec<m,n,p>(v, T) -- computes T*v, where T is an mxnxp-tensor and v is a p-vector
44    MulTen3Vec : int * int * int : 1 : 2 : 3rd-order tensor times vector multiplication
45    # ColonMul<ty1,ty2>(T1, T2) -- computes T1:T2, where T1 (resp. T2) has type ty1 (resp. ty2)
46    ColonMul : ty * ty : 1 : 2 : colon product
47  # Cross(u, v)   -- computes cross product of u and v  # Cross(u, v)   -- computes cross product of u and v
48  Cross : : 1 : 2 :  Cross : : 1 : 2 :
49  # 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 53  Line 61
61  Identity : int : 1 : 0 : identity matrix  Identity : int : 1 : 0 : identity matrix
62  # Zero<ty>() -- zero tensor  # Zero<ty>() -- zero tensor
63  Zero : ty : 1 : 0 : identity matrix  Zero : ty : 1 : 0 : identity matrix
64    # Transpose<n,m>(M) -- computes transpose of nxm matrix
65    Transpose : int * int : 1 : 1 : compute transpose of matrix
66  #  #
67  # operations on sequences  # operations on sequences
68  # 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
# Line 91  Line 101
101  InputWithDefault : ty * string * string  : 1 : 1 :  InputWithDefault : ty * string * string  : 1 : 1 :
102  #  #
103  # printing support for debugging  # printing support for debugging
104  Print : tys : 0 : * : print strings  !Print : tys : 0 : * : print strings

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

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