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 3495, Fri Dec 11 20:34:26 2015 UTC revision 3496, Fri Dec 11 23:51:32 2015 UTC
# Line 230  Line 230 
230                  (BV.op_cross2_tt,       simpleEOp Mk.cross2TT),                  (BV.op_cross2_tt,       simpleEOp Mk.cross2TT),
231                  (BV.op_cross2_ff,       simpleEOp Mk.cross2FF),                  (BV.op_cross2_ff,       simpleEOp Mk.cross2FF),
232                  (BV.op_cross3_ff,       simpleEOp Mk.cross3FF),                  (BV.op_cross3_ff,       simpleEOp Mk.cross3FF),
233                        (*Delete shape-specific BV ops*)
234                  (BV.op_outer_tt,           fn (y, [Ty.DIM d1, Ty.DIM d2], xs) =>                  (BV.op_outer_tt,           fn (y, [Ty.DIM d1, Ty.DIM d2], xs) =>
235                                              [assignEin(y, Mk.outerTT([d1],[d2]),xs)] ),                                              [assignEin(y, Mk.outerTT([d1],[d2]),xs)] ),
236                  (BV.op_outer_mt,           fn (y, [Ty.DIM d1, Ty.DIM d2,Ty.DIM d3], xs) =>                  (BV.op_outer_mt,           fn (y, [Ty.DIM d1, Ty.DIM d2,Ty.DIM d3], xs) =>
# Line 238  Line 239 
239                                              [assignEin(y, Mk.outerTT([d1],[d2,d3]),xs)] ),                                              [assignEin(y, Mk.outerTT([d1],[d2,d3]),xs)] ),
240                  (BV.op_outer_ff,      fn (y, [_, Ty.DIM d1,Ty.DIM i,Ty.DIM j], xs)=>                  (BV.op_outer_ff,      fn (y, [_, Ty.DIM d1,Ty.DIM i,Ty.DIM j], xs)=>
241                                              [assignEin(y, Mk.outerFF(d1,[i],[j]), xs)]),                                              [assignEin(y, Mk.outerFF(d1,[i],[j]), xs)]),
242                        (*delete shape-specific BV ops and replace with generic ops*)
243    (*
244                    (BV.op_outer_tt,           fn (y, [sh1, sh2, _], xs) => let
245                                            val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1
246                                            val ty2 as DstTy.TensorTy dd2 = shapeVarToTensor sh2
247                                            in
248                                                [assignEin(y, (Mk.outerTT(dd1,dd2)),xs)]
249                                            end),
250                    (BV.op_outer_tf,      fn (y,  [_,Ty.DIM d,sh1,Ty.SHAPE dd2,_], xs) =>let
251                                            val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1
252                                            in
253                                                [assignEin(y, Mk.outerTF(d,dd1,dd2),xs)]
254                                            end ),
255                    (BV.op_outer_ft,      fn (y,  [_,Ty.DIM d,Ty.SHAPE dd1,sh2,_], xs) =>let
256                                            val ty1 as DstTy.TensorTy dd2 = shapeVarToTensor sh2
257                                            in
258                                                [assignEin(y, Mk.outerFT(d,dd1,dd2),xs)]
259                                            end ),
260                    (BV.op_outer_ff,      fn (y,  [_,_,Ty.DIM d,Ty.SHAPE dd1,Ty.SHAPE dd2,_], xs) =>
261                                            [assignEin(y, Mk.outerFF(d,dd1,dd2),xs)]),
262    *)
263                  (BV.op_inner_tt,        fn (y, [sh1, sh2, _], xs) => let                  (BV.op_inner_tt,        fn (y, [sh1, sh2, _], xs) => let
264                                            val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1                                            val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1
265                                            val ty2 as DstTy.TensorTy dd2 = shapeVarToTensor sh2                                            val ty2 as DstTy.TensorTy dd2 = shapeVarToTensor sh2

Legend:
Removed from v.3495  
changed lines
  Added in v.3496

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