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

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