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

SCM Repository

[diderot] Annotation of /branches/charisee/src/compiler/einTest/testNormalize.sml
ViewVC logotype

Annotation of /branches/charisee/src/compiler/einTest/testNormalize.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2502 - (view) (download)

1 : cchiw 2399 (*Test transform function*)
2 :     structure tNormalize = struct
3 :    
4 :     local
5 :     structure E = Ein
6 :     structure P= Printer
7 :     structure N = NormalizeEin
8 : cchiw 2458 structure X =ExamplesN
9 : cchiw 2496 structure XS =ExamplesS
10 : cchiw 2502 structure mk=mkOperators
11 : cchiw 2460
12 : cchiw 2399 in
13 :    
14 :    
15 : cchiw 2502 val x=[1]
16 : cchiw 2399
17 :    
18 : cchiw 2496 val line="\n ------------------ "
19 : cchiw 2399
20 : cchiw 2502 fun test(e)= let val (n,c)=N.normalize(e)
21 : cchiw 2496 in (print line;print(P.printerE(e)); print "=>";print( P.printerE(n)); print line;n)
22 :     end
23 : cchiw 2458
24 :    
25 : cchiw 2437 fun create(b)= E.EIN{params=[], index=[], body=b}
26 : cchiw 2399
27 : cchiw 2496 fun tester(e)= List.map (fn(e1)=>test(create e1)) e
28 : cchiw 2399
29 :    
30 : cchiw 2449
31 :    
32 : cchiw 2458 (*Test einexp *)
33 :     fun run (set)=
34 :     let
35 :     val base=[]
36 : cchiw 2399
37 : cchiw 2496 val r1=[X.probe1,X.probe2,X.probe3,X.probe4,X.probe5,X.probe6,X.probe7]
38 :     val r2=[X.probe8,X.probe9,X.probe10,X.probe11,X.probe12,X.probe13]
39 :     val r3=[X.sum1,X.sum2,X.sum3,X.sum4,X.sum5,X.sum6]
40 :     val r4=[X.sum7,X.sum8,X.sum9,X.sum10,X.sum11,X.sum12,X.sum13,X.sum14]
41 :     val r5=[X.sum15,X.sum16,X.sum17,X.sum18,X.sum19,X.sum20,X.sum21,X.sum22,X.sum23]
42 :     val r6=[X.sum24,X.sum25,X.sum26,X.sum27,X.sum28]
43 :     val r7=[X.prod1,X.prod2,X.prod3,X.prod4,X.prod5]
44 :     val r8=[X.prod6,X.prod7,X.prod8,X.prod9,X.prod10]
45 :     val r9=[X.apply1,X.apply2,X.apply3,X.apply4,X.apply5,X.apply6]
46 :     val r10=[X.apply7,X.apply8,X.apply9,X.apply10,X.apply11,X.apply12]
47 :     val r11=[X.apply13,X.apply14,X.apply15,X.apply16,X.apply17,X.apply18]
48 :     val r12=[X.applysum1,X.applysum2,X.applysum3,X.applysum4,X.applysum5,X.applysum6,X.applysum7]
49 : cchiw 2494
50 : cchiw 2460 val r= if(set=1) then tester r1
51 :     else if(set=2) then tester r2
52 :     else if(set=3) then tester r3
53 :     else if(set=4) then tester r4
54 :     else if(set=5) then tester r5
55 :     else if(set=6) then tester r6
56 :     else if(set=7) then tester r7
57 :     else if(set=8) then tester r8
58 :     else if(set=9) then tester r9
59 :     else if(set=10) then tester r10
60 :     else if(set=11) then tester r11
61 :     else if(set=12) then tester r12
62 : cchiw 2458 else base
63 : cchiw 2437 in
64 : cchiw 2460 r
65 : cchiw 2458 end
66 : cchiw 2399
67 : cchiw 2458
68 : cchiw 2496 val r1=List.map run x
69 : cchiw 2458
70 :    
71 : cchiw 2399
72 :     end; (* local *)
73 :    
74 :     end (* local *)

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