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/handleEin.sml
ViewVC logotype

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

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

revision 2847, Mon Dec 15 02:17:32 2014 UTC revision 2867, Tue Feb 10 06:52:58 2015 UTC
# Line 40  Line 40 
40              | _ => iterList list              | _ => iterList list
41              (*end case*))              (*end case*))
42          fun iterProdList []= 0          fun iterProdList []= 0
43            | iterProdList [e1]=isZero e1
44          | iterProdList(e1::list)=(case (isZero e1)          | iterProdList(e1::list)=(case (isZero e1)
45              of 1=>1              of 1=>1
46              | _ => iterList list              | _ => iterList list
47              (*end case*))              (*end case*))
48          val z=(case e          val z=(case e
49              of E.Add e             => iterList e              of E.Tensor _         => 0
50                | E.Add e             => iterList e
51              | E.Sub(e1,e2)         => iterList [e1,e2]              | E.Sub(e1,e2)         => iterList [e1,e2]
52              | E.Div(e1,e2)         => isZero e1              | E.Div(e1,e2)         => isZero e1
53              | E.Sum(_ ,e)          => isZero e              | E.Sum(_ ,e)          => isZero e
54              | E.Prod e             => iterProdList e              | E.Prod e             => iterProdList e
55              | E.Neg e              => isZero e              | E.Neg e              => isZero e
56              | E.Probe(E.Conv _,_)         => 0              | E.Probe(E.Conv _,_)         => 0
57                | E.Sqrt e             => isZero e
58              | E.Const 0            => 1              | E.Const 0            => 1
59              | E.Field _            => 1              | E.Field _            => 1
60              | E.Partial _          => 1              | E.Partial _          => 1

Legend:
Removed from v.2847  
changed lines
  Added in v.2867

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