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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/mid-to-low/vec-to-low-set.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/mid-to-low/vec-to-low-set.sml

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

revision 3543, Mon Jan 4 21:06:20 2016 UTC revision 3544, Tue Jan 5 00:01:44 2016 UTC
# Line 41  Line 41 
41      | projTensor(setA,mapp,(lhs,params,args,vecIX,id,ix))= let      | projTensor(setA,mapp,(lhs,params,args,vecIX,id,ix))= let
42          val nU=List.nth(args,id)          val nU=List.nth(args,id)
43          val ixx=(List.map (fn (e1)=> mapIndex(e1,mapp)) ix)          val ixx=(List.map (fn (e1)=> mapIndex(e1,mapp)) ix)
44          val ix'=DstTy.indexTy ixx          val ix'= ixx (*index Ty*)
45          val argTy= getTensorTy(params,id)          val argTy= getTensorTy(params,id)
46          val vecTy=DstTy.TensorTy [vecIX]          val vecTy=DstTy.TensorTy [vecIX]
47          val opp=DstOp.ProjectLast(id,vecIX,ix',argTy)          val opp=DstOp.ProjectLast(id,vecIX,ix',argTy)
# Line 58  Line 58 
58          val vecTy=DstTy.TensorTy [vecIX]          val vecTy=DstTy.TensorTy [vecIX]
59          val ixx=(List.map (fn (e1)=> mapIndex(e1,mapp)) ix)          val ixx=(List.map (fn (e1)=> mapIndex(e1,mapp)) ix)
60          fun f cnt = let          fun f cnt = let
61              val ix'=DstTy.indexTy ([cnt]@ixx)              val ix'=cnt::ixx
62              val opp=DstOp.IndexTensor(id,ix',argTy)              val opp=DstOp.IndexTensor(id,ix',argTy)
63              val name=String.concat["IndexTensor_",iToss ixx,"_"]              val name=String.concat["IndexTensor_",iToss ixx,"_"]
64              in              in
# Line 78  Line 78 
78          val argTy= getTensorTy(params,id)          val argTy= getTensorTy(params,id)
79          val vecTy=DstTy.TensorTy [vecIX]          val vecTy=DstTy.TensorTy [vecIX]
80          val ixx=(List.map (fn (e1)=> mapIndex(e1,mapp)) ix)          val ixx=(List.map (fn (e1)=> mapIndex(e1,mapp)) ix)
81          val ix'=DstTy.indexTy ixx          val ix'=(*DstTy.index Ty*) ixx
82          val opp=DstOp.ProjectFirst(id,vecIX,ix',argTy)          val opp=DstOp.ProjectFirst(id,vecIX,ix',argTy)
83          val name=String.concat["ProjFirst_",iToss ixx,"_"]          val name=String.concat["ProjFirst_",iToss ixx,"_"]
84          in          in

Removed from v.3543  
changed lines
  Added in v.3544

ViewVC Help
Powered by ViewVC 1.0.0