source: proto/pablo/input/test/visitors/Pablo2CarryQXFormer/FinalBlock/pablo2CarryQ.pablo @ 2710

Last change on this file since 2710 was 2710, checked in by ksherdy, 6 years ago

General refactoring.

File size: 1.9 KB
Line 
1function void Test() {
2        var stream temp;
3        var stream C;   // Cursor stream
4        var stream M;   // Marker stream
5        var stream R;   // Result stream
6       
7        // TODO - UPDATE EXPECTED RESULTS
8       
9        R = carryQ.BitBlock_advance_ci_co(C,carryQ.get_carry_in(0),0);  // Expected
10        R = Advance(C);                                                                                                 // Translated
11               
12        R = carryQ.BitBlock_advance_ci_co(C,carryQ.get_carry_in(1),1);
13        R = pablo.Advance(C);
14       
15        R = carryQ.BitBlock_scantofirst(M,carryQ.get_carry_in(2),2);
16        R = ScanToFirst(M);
17
18        R = carryQ.BitBlock_scantofirst(M,carryQ.get_carry_in(3),3);   
19        R = pablo.ScanToFirst(M);
20
21        R = carryQ.BitBlock_scanthru_ci_co(C,X,carryQ.get_carry_in(4),4);
22        R = ScanThru(C,X);
23
24        R = carryQ.BitBlock_scanthru_ci_co(C,X,carryQ.get_carry_in(5),5);
25        R = pablo.ScanThru(C,X);
26
27        R = carryQ.BitBlock_scanto_ci_co(C,X,carryQ.get_carry_in(6),6);
28        R = ScanTo(C,X);
29       
30        R = carryQ.BitBlock_scanto_ci_co(C,X,carryQ.get_carry_in(7),7);
31        R = pablo.ScanTo(C,X);
32
33        R = carryQ.BitBlock_advance_then_scanthru(C,X,carryQ.get_carry_in(8),8);
34        R = AdvanceThenScanThru(C,X);
35       
36        R = carryQ.BitBlock_advance_then_scanthru(C,X,carryQ.get_carry_in(9),9);       
37        R = pablo.AdvanceThenScanThru(C,X);
38
39        R = carryQ.BitBlock_advance_then_scanto(C,X,carryQ.get_carry_in(10),10);                       
40        R = AdvanceThenScanTo(C,X);
41       
42        R = carryQ.BitBlock_advance_then_scanto(C,X,carryQ.get_carry_in(11),11);       
43        R = pablo.AdvanceThenScanTo(C,X);
44
45        R = carryQ.BitBlock_span_upto(C,X,carryQ.get_carry_in(12),12);
46        R = SpanUpTo(C,X);
47       
48        R = carryQ.BitBlock_span_upto(C,X,carryQ.get_carry_in(13),13); 
49        R = pablo.SpanUpTo(C,X);
50               
51        R = carryQ.BitBlock_inclusive_span(C,X,carryQ.get_carry_in(14),14);     
52        R = InclusiveSpan(C,X);
53       
54        R = carryQ.BitBlock_inclusive_span(C,X,carryQ.get_carry_in(15),15);     
55        R = pablo.InclusiveSpan(C,X);                   
56
57        R = carryQ.BitBlock_exclusive_span(C,X,carryQ.get_carry_in(16),16);     
58        R = ExclusiveSpan(C,X);
59       
60        R = carryQ.BitBlock_exclusive_span(C,X,carryQ.get_carry_in(17),17);             
61        R = pablo.ExclusiveSpan(C,X);                   
62               
63}
Note: See TracBrowser for help on using the repository browser.