source: proto/pablo/input/test/visitors/Pablo2CarryQCiCoTransformer/pablo2CarryQ.pablo @ 2657

Last change on this file since 2657 was 2657, checked in by ksherdy, 7 years ago

Refactored carry set code generation.

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