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

SCM Repository

[diderot] Diff of /branches/femprime/src/compiler/high-to-mid/handle-ein.sml
ViewVC logotype

Diff of /branches/femprime/src/compiler/high-to-mid/handle-ein.sml

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

revision 5047, Wed Jul 12 22:46:18 2017 UTC revision 5048, Thu Jul 13 01:09:59 2017 UTC
# Line 22  Line 22 
22          (*DEBUG*)          (*DEBUG*)
23           fun ll ([],cnt) = ""           fun ll ([],cnt) = ""
24             | ll (a1::args,cnt) = String.concat["\n\t", Int.toString(cnt),"_", MidTypes.toString(DstIR.Var.ty a1), " ", MidIR.Var.name(a1),",", ll(args,cnt+1)]             | ll (a1::args,cnt) = String.concat["\n\t", Int.toString(cnt),"_", MidTypes.toString(DstIR.Var.ty a1), " ", MidIR.Var.name(a1),",", ll(args,cnt+1)]
25  (*  
26           val _ = print(String.concat["\n\n  **************  **************  **************  expand ***********\n:",MidIR.Var.name(lhs),"=", EinPP.toString(ein),"-",ll(args,0)])           val _ = print(String.concat["\n\n  **************  **************  **************  expand ***********\n:",MidIR.Var.name(lhs),"=", EinPP.toString(ein),"-",ll(args,0)])
27  *)  
28          (* ************** distribute and push Summation*********** *)          (* ************** distribute and push Summation*********** *)
29            val ein' = EinSums.transform ein            val ein' = EinSums.transform ein
30  (* DEBUG  
31          val _ = print(String.concat["\n\n  **************   EinSums ***********\n:",EinPP.toString(ein'),"-",ll(args,0)])          val _ = print(String.concat["\n\n  **************   EinSums ***********\n:",EinPP.toString(ein'),"-",ll(args,0)])
32  *)  
33    
34    
35              fun prntNewbies(newbies, id) = let              fun prntNewbies(newbies, id) = let
# Line 58  Line 58 
58          val newbies  = List.foldr (fn (e,acc)=>  translateField.transform(e)@acc ) []  newbies          val newbies  = List.foldr (fn (e,acc)=>  translateField.transform(e)@acc ) []  newbies
59          val _ = prntNewbies(newbies, "\n\n\npost transform fields")          val _ = prntNewbies(newbies, "\n\n\npost transform fields")
60          (* ************** ProbeEIN *********** *)          (* ************** ProbeEIN *********** *)
61    
62              val _ =print "about to call probe ein"              val _ =print "about to call probe ein"
63            val avail = AvailRHS.new()            val avail = AvailRHS.new()
64            val _ = List.app (ProbeEin.expand avail) (newbies);            val _ = List.app (ProbeEin.expand avail) (newbies);

Legend:
Removed from v.5047  
changed lines
  Added in v.5048

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