Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/translate/translate-basis.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/translate/translate-basis.sml

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

revision 3513, Fri Dec 18 20:02:39 2015 UTC revision 3514, Fri Dec 18 22:05:19 2015 UTC
# Line 228  Line 228 
228                  (BV.op_cross2_tt,       simpleEOp Mk.cross2TT),                  (BV.op_cross2_tt,       simpleEOp Mk.cross2TT),
229                  (BV.op_cross2_ff,       simpleEOp Mk.cross2FF),                  (BV.op_cross2_ff,       simpleEOp Mk.cross2FF),
230                  (BV.op_cross3_ff,       simpleEOp Mk.cross3FF),                  (BV.op_cross3_ff,       simpleEOp Mk.cross3FF),
231  (* FIXME: need to update BasisVars *)                  (BV.op_outer_tt,        fn (y, [sh1, sh2, _], xs) => let
232                  (BV.op_outer_tt,        fn (y, [Ty.DIM d1, Ty.DIM d2], xs) =>                                            val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1
233                                            [assignEin(y, Mk.outerTT([d1], [d2]), xs)]),                                            val ty2 as DstTy.TensorTy dd2 = shapeVarToTensor sh2
234                  (BV.op_outer_mt,        fn (y, [Ty.DIM d1, Ty.DIM d2,Ty.DIM d3], xs) =>                                            in
235                                            [assignEin(y, Mk.outerTT([d1, d2], [d3]), xs)]),                                              [assignEin(y, (Mk.outerTT(dd1, dd2)), xs)]
236                  (BV.op_outer_tm,        fn (y, [Ty.DIM d1, Ty.DIM d2, Ty.DIM d3], xs) =>                                            end),
237                                            [assignEin(y, Mk.outerTT([d1], [d2, d3]), xs)]),                  (BV.op_outer_tf,        fn (y, [_, Ty.DIM d, sh1, Ty.SHAPE dd2, _], xs) =>let
238                  (BV.op_outer_ff,        fn (y, [_, Ty.DIM d1, Ty.DIM i, Ty.DIM j], xs)=>                                            val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1
239                                            [assignEin(y, Mk.outerFF(d1, [i], [j]), xs)]),                                            in
240                                                [assignEin(y, Mk.outerTF(d, dd1, dd2), xs)]
241                                              end),
242                    (BV.op_outer_ft,        fn (y, [_, Ty.DIM d, Ty.SHAPE dd1, sh2, _], xs) =>let
243                                              val ty1 as DstTy.TensorTy dd2 = shapeVarToTensor sh2
244                                              in
245                                                [assignEin(y, Mk.outerFT(d, dd1, dd2), xs)]
246                                              end),
247                    (BV.op_outer_ff,        fn (y,  [_, _, Ty.DIM d, Ty.SHAPE dd1, Ty.SHAPE dd2, _], xs) =>
248                                              [assignEin(y, Mk.outerFF(d, dd1, dd2), xs)]),
249                  (BV.op_inner_tt,        fn (y, [sh1, sh2, _], xs) => let                  (BV.op_inner_tt,        fn (y, [sh1, sh2, _], xs) => let
250                                            val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1                                            val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1
251                                            val ty2 as DstTy.TensorTy dd2 = shapeVarToTensor sh2                                            val ty2 as DstTy.TensorTy dd2 = shapeVarToTensor sh2

Legend:
Removed from v.3513  
changed lines
  Added in v.3514

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