Changeset 2440


Ignore:
Timestamp:
Oct 12, 2012, 4:33:34 PM (7 years ago)
Author:
ksherdy
Message:

Updated CarryIntro? test cases.

Location:
proto/pablo/input/test/pablo/visitors/CarryIntro
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • proto/pablo/input/test/pablo/visitors/CarryIntro/carryIntro.pablo

    r2430 r2440  
    1111        R = pablo.Advance(X);
    1212
    13 
    14         R = carryQ.BitBlock_scantofirst(X,carryQ.get_carry_in(0),0);
     13        R = carryQ.BitBlock_scantofirst(C,X,carryQ.get_carry_in(0),0);
    1514        R = ScanToFirst(X);
    1615       
    17         R = carryQ.BitBlock_scantofirst(X,carryQ.get_carry_in(0),0);   
     16        R = carryQ.BitBlock_scantofirst(C,X,carryQ.get_carry_in(0),0); 
    1817        R = pablo.ScanToFirst(X);
    1918
    20         R = carryQ.BitBlock_scanthru_ci_co(X,carryQ.get_carry_in(0),0);
     19        R = carryQ.BitBlock_scanthru_ci_co(C,X,carryQ.get_carry_in(0),0);
    2120        R = ScanThru(C,X);
    2221       
    23         R = carryQ.BitBlock_scanthru_ci_co(X,carryQ.get_carry_in(0),0);
     22        R = carryQ.BitBlock_scanthru_ci_co(C,X,carryQ.get_carry_in(0),0);
    2423        R = pablo.ScanThru(C,X);
    2524
    26         R = carryQ.BitBlock_scanto_ci_co(X,carryQ.get_carry_in(0),0);
     25        R = carryQ.BitBlock_scanto_ci_co(C,X,carryQ.get_carry_in(0),0);
    2726        R = ScanTo(C,X);
    2827       
    29         R = carryQ.BitBlock_scanto_ci_co(X,carryQ.get_carry_in(0),0);   
     28        R = carryQ.BitBlock_scanto_ci_co(C,X,carryQ.get_carry_in(0),0);
    3029        R = pablo.ScanTo(C,X);
    3130
    32         R = carryQ.BitBlock_advance_then_scanthru(X,carryQ.get_carry_in(0),0);
     31        R = carryQ.BitBlock_advance_then_scanthru(C,X,carryQ.get_carry_in(0),0);
    3332        R = AdvanceThenScanThru(C,X);
    3433       
    35         R = carryQ.BitBlock_advance_then_scanthru(X,carryQ.get_carry_in(0),0); 
     34        R = carryQ.BitBlock_advance_then_scanthru(C,X,carryQ.get_carry_in(0),0);       
    3635        R = pablo.AdvanceThenScanThru(C,X);
    3736
    38         R = carryQ.BitBlock_advance_then_scanto(X,carryQ.get_carry_in(0),0);                   
     37        R = carryQ.BitBlock_advance_then_scanto(C,X,carryQ.get_carry_in(0),0);                 
    3938        R = AdvanceThenScanTo(C,X);
    4039       
    41         R = carryQ.BitBlock_advance_then_scanto(X,carryQ.get_carry_in(0),0);   
     40        R = carryQ.BitBlock_advance_then_scanto(C,X,carryQ.get_carry_in(0),0); 
    4241        R = pablo.AdvanceThenScanTo(C,X);
    4342
    44         R = carryQ.BitBlock_span_upto(X,carryQ.get_carry_in(0),0);
     43        R = carryQ.BitBlock_span_upto(C,X,carryQ.get_carry_in(0),0);
    4544        R = SpanUpTo(C,X);
    4645       
    47         R = carryQ.BitBlock_span_upto(X,carryQ.get_carry_in(0),0);     
     46        R = carryQ.BitBlock_span_upto(C,X,carryQ.get_carry_in(0),0);   
    4847        R = pablo.SpanUpTo(C,X);
    4948               
    50         R = carryQ.BitBlock_inclusive_span(X,carryQ.get_carry_in(0),0);
     49        R = carryQ.BitBlock_inclusive_span(C,X,carryQ.get_carry_in(0),0);       
    5150        R = InclusiveSpan(C,X);
    5251       
    53         R = carryQ.BitBlock_inclusive_span(X,carryQ.get_carry_in(0),0);
     52        R = carryQ.BitBlock_inclusive_span(C,X,carryQ.get_carry_in(0),0);       
    5453        R = pablo.InclusiveSpan(C,X);                   
    5554
    56         R = carryQ.BitBlock_exclusive_span(X,carryQ.get_carry_in(0),0);
     55        R = carryQ.BitBlock_exclusive_span(C,X,carryQ.get_carry_in(0),0);       
    5756        R = ExclusiveSpan(C,X);
    5857       
    59         R = carryQ.BitBlock_exclusive_span(X,carryQ.get_carry_in(0),0);         
     58        R = carryQ.BitBlock_exclusive_span(C,X,carryQ.get_carry_in(0),0);               
    6059        R = pablo.ExclusiveSpan(C,X);                   
    61        
    62        
     60               
    6361}
Note: See TracChangeset for help on using the changeset viewer.