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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/einTest/examplesF.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/einTest/examplesF.sml

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

revision 2520, Mon Dec 30 05:08:47 2013 UTC revision 2521, Thu Jan 9 02:17:07 2014 UTC
# Line 70  Line 70 
70  (*Add*)  (*Add*)
71  val a=E.Prod[t00,t10]  val a=E.Prod[t00,t10]
72    
73  val add1=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN], index=[  3], body=E.Add[s0,s1,t20,E.Add[s3]]}  val add1=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1], index=[  3], body=E.Add[s0,s1,t20,E.Add[s3]]}
74    
75    
76  (*Probe*)  (*Probe*)
77  val tmp1=E.Probe(c01,s2)  val tmp1=E.Probe(c01,s2)
78  val tmp2=E.Probe(c34, s5)  val tmp2=E.Probe(c34, s5)
79  val probe1=E.EIN{params=[E.FLD(3),E.TEN,E.TEN], index=[],  val probe1=E.EIN{params=[E.FLD(3),E.TEN 1,E.TEN 1], index=[],
80              body=E.Sum([(E.V 0,1,4)],tmp1)}              body=E.Sum([(E.V 0,1,4)],tmp1)}
81  val probe2=E.EIN{params=[E.FLD(3),E.TEN,E.TEN], index=[],  val probe2=E.EIN{params=[E.FLD(3),E.TEN 1,E.TEN 1], index=[],
82              body=E.Neg(tmp1)}              body=E.Neg(tmp1)}
83  val probe3=E.EIN{params=[E.FLD(3),E.TEN,E.TEN,E.FLD(3),E.TEN,E.TEN], index=[],  val probe3=E.EIN{params=[E.FLD(3),E.TEN 1,E.TEN 1,E.FLD(3),E.TEN 1,E.TEN 1], index=[],
84              body=E.Add[tmp1,tmp2]}              body=E.Add[tmp1,tmp2]}
85  val probe4=E.EIN{params=[E.FLD(3),E.TEN,E.TEN,E.FLD(3),E.TEN,E.TEN], index=[],  val probe4=E.EIN{params=[E.FLD(3),E.TEN 1,E.TEN 1,E.FLD(3),E.TEN 1,E.TEN 1], index=[],
86              body=E.Sub(tmp1,tmp2)}              body=E.Sub(tmp1,tmp2)}
87  val probe5=E.EIN{params=[E.FLD(3),E.TEN,E.TEN,E.TEN], index=[],  val probe5=E.EIN{params=[E.FLD(3),E.TEN 1,E.TEN 1,E.TEN 1], index=[],
88              body=E.Div(tmp1,s3)}              body=E.Div(tmp1,s3)}
89  val probe6=E.EIN{params=[E.FLD(3),E.TEN,E.TEN,E.TEN], index=[],  val probe6=E.EIN{params=[E.FLD(3),E.TEN 1,E.TEN 1,E.TEN 1], index=[],
90              body=E.Prod[tmp1,s3]}              body=E.Prod[tmp1,s3]}
91  val probe7=E.EIN{params=[E.FLD(3),E.TEN,E.TEN,E.TEN], index=[],  val probe7=E.EIN{params=[E.FLD(3),E.TEN 1,E.TEN 1,E.TEN 1], index=[],
92              body=E.Prod[tmp1,t30]}              body=E.Prod[tmp1,t30]}
93  val probe8=E.EIN{params=[E.FLD(3),E.TEN,E.TEN], index=[], body=tmp1}  val probe8=E.EIN{params=[E.FLD(3),E.TEN 1,E.TEN 1], index=[], body=tmp1}
94    
95    
96    
97  (*Prod *)  (*Prod *)
98  val prod2=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN], index=[  3], body=E.Prod[s1,t30,t21]}  val prod2=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1], index=[  3], body=E.Prod[s1,t30,t21]}
99    
100  (*SUM*)  (*SUM*)
101  val sum1=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Prod[s1,s2,t30,t40])}  val sum1=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Prod[s1,s2,t30,t40])}
102  val sum2=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Prod[s1,t30,t21,t40])}  val sum2=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Prod[s1,t30,t21,t40])}
103  val sum3=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Add[t30,E.Prod[s0,t20,t10]])}  val sum3=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Add[t30,E.Prod[s0,t20,t10]])}
104  val sum4=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Sub(t30,E.Prod[s0,t20,t10]))}  val sum4=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Sub(t30,E.Prod[s0,t20,t10]))}
105  val sum5=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Div(E.Prod[s0,t20,t10],s3))}  val sum5=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1], index=[  3], body=E.Sum([(E.V 0,0,3)],E.Div(E.Prod[s0,t20,t10],s3))}
106  val sum6=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN],  val sum6=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1],
107              index=[],              index=[],
108              body=E.Sum([(E.V 0,1,8),(E.V 1,1,8),(E.V 2,1,8),(E.V 3,1,8),(E.V 4,1,8)],E.Prod[eps1,eps2,t11,t22,t33,t44])}              body=E.Sum([(E.V 0,1,8),(E.V 1,1,8),(E.V 2,1,8),(E.V 3,1,8),(E.V 4,1,8)],E.Prod[eps1,eps2,t11,t22,t33,t44])}
109    
110  val sum7=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN],  val sum7=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1],
111              index=[],              index=[],
112                  body=E.Sum([(E.V 0,1,8),(E.V 1,1,8), (E.V 2,1,8)],E.Prod[eps1,                  body=E.Sum([(E.V 0,1,8),(E.V 1,1,8), (E.V 2,1,8)],E.Prod[eps1,
113            E.Sum([(E.V 3,1,8), (E.V 4,1,8)],E.Prod[eps2,t11,t22,t33,t44])]) }            E.Sum([(E.V 3,1,8), (E.V 4,1,8)],E.Prod[eps2,t11,t22,t33,t44])]) }
114  val sum8=E.EIN{params=[E.TEN,E.TEN,E.TEN,E.TEN,E.TEN], index=[3], body=E.Sum([(E.V 2,1,8)],E.Prod[d12,t02,t10])}  val sum8=E.EIN{params=[E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1,E.TEN 1], index=[3], body=E.Sum([(E.V 2,1,8)],E.Prod[d12,t02,t10])}
115    
116  val sum9=E.EIN{params=[E.FLD(3)], index=[3], body=E.Sum([(E.V 0,1,8)],E.Prod[d10,f00])}  val sum9=E.EIN{params=[E.FLD(3)], index=[3], body=E.Sum([(E.V 0,1,8)],E.Prod[d10,f00])}
117    
118  val sumapply1=E.EIN{params=[E.TEN],  val sumapply1=E.EIN{params=[E.TEN 1],
119              index=[  3], body=E.Sum([(E.V 1,1,8)],E.Apply(p0,s0))}              index=[  3], body=E.Sum([(E.V 1,1,8)],E.Apply(p0,s0))}
120  val sumapply2=E.EIN{params=[E.FLD(2),E.TEN],  val sumapply2=E.EIN{params=[E.FLD(2),E.TEN 1],
121              index=[], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p0],c01))}              index=[], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p0],c01))}
122  val sumapply3=E.EIN{params=[E.FLD(2),E.TEN,E.FLD(2),E.TEN],  val sumapply3=E.EIN{params=[E.FLD(2),E.TEN 1,E.FLD(2),E.TEN 1],
123              index=[], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p0],E.Add[c01,c23]))}              index=[], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p0],E.Add[c01,c23]))}
124    
125  val sumapply4=E.EIN{params=[E.FLD(2),E.TEN,E.FLD(2),E.TEN],  val sumapply4=E.EIN{params=[E.FLD(2),E.TEN 1,E.FLD(2),E.TEN 1],
126              index=[], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p0],E.Sub(c01,c23)))}              index=[], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p0],E.Sub(c01,c23)))}
127  val sumapply5=E.EIN{params=[E.FLD(2),E.TEN,E.TEN],  val sumapply5=E.EIN{params=[E.FLD(2),E.TEN 1,E.TEN 1],
128              index=[], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p0],E.Div(c01,s2)))}              index=[], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p0],E.Div(c01,s2)))}
129  val sumapply6=E.EIN{params=[E.FLD(2),E.TEN,E.FLD(2),E.TEN],  val sumapply6=E.EIN{params=[E.FLD(2),E.TEN 1,E.FLD(2),E.TEN 1],
130          index=[  2,  2,  2], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p1,p2],E.Apply(p0,E.Sub(c01,c23))))}          index=[  2,  2,  2], body=E.Sum([(E.V 0,1,8)],E.Apply(E.Prod[p0,p1,p2],E.Apply(p0,E.Sub(c01,c23))))}
131  val sumapply7=E.EIN{params=[E.FLD(3)], index=[ 3], body=E.Sum([(E.V 0,1,8)],E.Apply(p0,E.Prod[d10,f00]))}  val sumapply7=E.EIN{params=[E.FLD(3)], index=[ 3], body=E.Sum([(E.V 0,1,8)],E.Apply(p0,E.Prod[d10,f00]))}
132    

Legend:
Removed from v.2520  
changed lines
  Added in v.2521

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