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

SCM Repository

[diderot] Diff of /branches/ein16/src/compiler/low-il/ein-to-low.sml
ViewVC logotype

Diff of /branches/ein16/src/compiler/low-il/ein-to-low.sml

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

revision 3662, Fri Feb 5 04:00:13 2016 UTC revision 3663, Fri Feb 5 05:34:00 2016 UTC
# Line 114  Line 114 
114                  val (lhs,e,args)=info                  val (lhs,e,args)=info
115                  val setT= lowSet.LowSet.empty                  val setT= lowSet.LowSet.empty
116                  val nextfnargs=(lhs,Ein.params e, args,vecIndex,id1,ix1,id2,ix2)                  val nextfnargs=(lhs,Ein.params e, args,vecIndex,id1,ix1,id2,ix2)
117                  val _ =print(String.concat["\nsubtraction:",P.printerE(e),String.concatWith","(List.map LowIL.Var.toString args)])                  (*val _ =print(String.concat["\nsubtraction:",P.printerE(e),String.concatWith","(List.map LowIL.Var.toString args)])*)
118                  in                  in
119                      iter(setT,index,index',EtoVec.subV,nextfnargs)                      iter(setT,index,index',EtoVec.subV,nextfnargs)
120                  end                  end
# Line 174  Line 174 
174          val (lhs,e,args)=info          val (lhs,e,args)=info
175          val (n,vecIndex,index')=dropIndex index          val (n,vecIndex,index')=dropIndex index
176          val setT= lowSet.LowSet.empty          val setT= lowSet.LowSet.empty
177          val _ =print(String.concat["\nproduct:",P.printerE(e),String.concatWith","(List.map LowIL.Var.toString args)])          (*val _ =print(String.concat["\nproduct:",P.printerE(e),String.concatWith","(List.map LowIL.Var.toString args)])*)
178    
179          in (case(matchFindLast(alpha,n),matchFindLast(beta,n))          in (case(matchFindLast(alpha,n),matchFindLast(beta,n))
180              of ((SOME ix1,NONE),(SOME ix2,NONE)) => let              of ((SOME ix1,NONE),(SOME ix2,NONE)) => let
# Line 290  Line 290 
290              |  (_::es,E.Opn(E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)]))              |  (_::es,E.Opn(E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)]))
291                  => handleProd all                  => handleProd all
292    
293   (*  
294              |  ( _,E.Sum([_], E.Opn(E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)])))              |  ( _,E.Sum([_], E.Opn(E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)])))
295                  =>  handleSumProd1 all                  =>  handleSumProd1 all
296              |  ( _ ,E.Sum([_,_],E.Opn( E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)])))              |  ( _ ,E.Sum([_,_],E.Opn( E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)])))
297                  => handleSumProd2 all                  => handleSumProd2 all
298  *)  
299              | (_,_ )=> runGeneralCase info              | (_,_ )=> runGeneralCase info
300              (*end case*))              (*end case*))
301    
# Line 313  Line 313 
313              |  (_,_ )=> gen b              |  (_,_ )=> gen b
314              (*end case*))              (*end case*))
315          in          in
316          if (sca) then ( print"ein-to-low sca";runGeneralCase info) else (print"ein-to-low vec:"; gen b)          if (sca) then ( "ein-to-low sca";runGeneralCase info) else ("ein-to-low vec:"; gen b)
317          end          end
318    
319  end (* local *)  end (* local *)

Legend:
Removed from v.3662  
changed lines
  Added in v.3663

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