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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/high-il/normalize-ein.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/high-il/normalize-ein.sml

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

revision 2553, Sun Mar 2 19:53:33 2014 UTC revision 2576, Wed Apr 2 04:36:30 2014 UTC
# Line 490  Line 490 
490                  (changed:=true;E.Div(rewriteBody(E.Probe(a, x)),b))                  (changed:=true;E.Div(rewriteBody(E.Probe(a, x)),b))
491              | E.Probe(E.Prod p, x)=>let              | E.Probe(E.Prod p, x)=>let
492                  val (p',x')= (rewriteBody (E.Prod p), rewriteBody x)                  val (p',x')= (rewriteBody (E.Prod p), rewriteBody x)
493                  fun  probeprod([],rest) =                  fun  probeprod([],[e1]) =e1
494                          (print "err-Did not find field/Conv"; body)                    | probeprod([],rest) = E.Prod rest
495                    | probeprod(E.Const c::es,rest)=                    | probeprod(E.Const c::es,rest)=
496                          (changed:=true;probeprod(es,rest@[E.Const c]))                          (changed:=true;probeprod(es,rest@[E.Const c]))
497                    | probeprod(E.Tensor t::es,rest)=                    | probeprod(E.Tensor t::es,rest)=
# Line 507  Line 507 
507                    | probeprod(E.Partial e::es, rest)=                    | probeprod(E.Partial e::es, rest)=
508                          (changed:=true;probeprod(es, rest@[E.Partial e]))                          (changed:=true;probeprod(es, rest@[E.Partial e]))
509                    | probeprod(E.Field f::es,rest)=                    | probeprod(E.Field f::es,rest)=
510                          (changed:=true;E.Prod(rest@[E.Probe(E.Field f, x')] @es))                          (changed:=true;print "\n $#$ Found Field";probeprod(es,rest@[E.Probe(E.Field f, x')]))
511    
512                          (*  (changed:=true;E.Prod(rest@[E.Probe(E.Field f, x')] @es))*)
513                    | probeprod(E.Conv f::es,rest)=                    | probeprod(E.Conv f::es,rest)=
514                          (changed:=true;E.Prod(rest@[E.Probe(E.Conv f, x')] @es))                              (changed:=true;print "\n $#$ Found Field";probeprod(es,rest@[E.Probe(E.Conv f, x')]))
515    
516                            (*(changed:=true;E.Prod(rest@[E.Probe(E.Conv f, x')] @es))*)
517                    | probeprod(E.Prod p::es , rest)=                    | probeprod(E.Prod p::es , rest)=
518                          (changed:=true;probeprod(p@es,rest))                          (changed:=true;probeprod(p@es,rest))
519                    | probeprod(_,[])=body                    | probeprod(_,[])=body
# Line 538  Line 542 
542    
543      val (b,count) = loop(body,0)      val (b,count) = loop(body,0)
544      val g=print "out of normalize"      val g=print "out of normalize"
545      val j=(print "Final Counter:";print(Int.toString(count));print"\n\n\n")      val j=(print "Final CounterXX:";print(Int.toString(count));print"\n\n\n")
546      in      in
547                  (Ein.EIN{params=params, index=index, body=b},count)                  (Ein.EIN{params=params, index=index, body=b},count)
548      end      end

Legend:
Removed from v.2553  
changed lines
  Added in v.2576

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