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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-to-mid/ProbeEin.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-to-mid/ProbeEin.sml

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

revision 3369, Mon Nov 2 19:38:34 2015 UTC revision 3374, Thu Nov 5 21:05:53 2015 UTC
# Line 326  Line 326 
326    
327      fun liftFieldSum e =      fun liftFieldSum e =
328      let      let
329          val _=print"\n*************************************\n"          val _="\n*************************************\n"
330          val (y, DstIL.EINAPP(ein,args))=e          val (y, DstIL.EINAPP(ein,args))=e
331          val E.Sum([(vsum,0,n)],E.Probe(E.Conv(V,[c1,v0],h,dx),pos))=Ein.body ein          val E.Sum([(vsum,0,n)],E.Probe(E.Conv(V,[c1,v0],h,dx),pos))=Ein.body ein
332          val index0=Ein.index ein          val index0=Ein.index ein
# Line 354  Line 354 
354          val _ =toStringBind code0          val _ =toStringBind code0
355         val _ = (String.concat  ["\norig",P.printbody(Ein.body ein),"\n replace i  ",P.printbody body1,"\nfreshtensor",P.printbody body0])         val _ = (String.concat  ["\norig",P.printbody(Ein.body ein),"\n replace i  ",P.printbody body1,"\nfreshtensor",P.printbody body0])
356         val _ =(String.concat(List.map toStringBind (codeAll@[code0])))         val _ =(String.concat(List.map toStringBind (codeAll@[code0])))
357                 val _=print"\n*************************************\n"          val _ = "\n*************************************\n"
358          in          in
359          codeAll@[code0]          codeAll@[code0]
360      end      end
# Line 424  Line 424 
424              (*end case*))              (*end case*))
425              val b=Ein.body ein              val b=Ein.body ein
426    
427          val _=  toStrField b          (*val _=  toStrField b*)
428    
429          in  (case var          in  (case var
430              of NONE=> ((rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))              of NONE=> ((rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))

Legend:
Removed from v.3369  
changed lines
  Added in v.3374

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