Home My Page Projects Code Snippets Project Openings diderot

SCM Repository

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

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

revision 3604, Tue Jan 19 01:24:00 2016 UTC revision 3678, Mon Feb 15 19:36:00 2016 UTC
# Line 158  Line 158
158              |  _                        => setDiv(rewrite e1, rewrite e2)              |  _                        => setDiv(rewrite e1, rewrite e2)
159              (*end case*))              (*end case*))
160              (*************Algebraic Rewrites Opn **************)              (*************Algebraic Rewrites Opn **************)
161    (*
162    | E.Opn(E.Add,[E.Sum([(E.V 4,0,2)],E.Opn(E.Prod,[E.Tensor(0,[E.V 4,E.V 0]), E.Tensor(1,[E.V 4,E.V 1])])),E.Opn(E.Prod,[E.Tensor(2,[]),
163    E.Sum([(E.V 8,0,2)],E.Opn(E.Prod,[E.Tensor(0,[E.V 8,E.V 0]), E.Tensor(4,[E.V 8,E.V 1])]))])]) => let
164    val a = E.Tensor(0,[E.V 2,E.V 0])
165    val b = E.Tensor(1,[E.V 2,E.V 1])
166    val c = E.Tensor(4,[E.V 2,E.V 1])
167    val s = E.Tensor(2,[])