Changeset 2989
 Timestamp:
 Mar 29, 2013, 5:39:40 PM (6 years ago)
 Location:
 proto/pabloj/trunk/input/test/visitors/CarryIntroXFormer
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

proto/pabloj/trunk/input/test/visitors/CarryIntroXFormer/FinalBlock/pablo2CarryQ.pablos
r2981 r2989 7 7 // TODO  UPDATE EXPECTED RESULTS 8 8 9 R = carry_set_0.BitBlock_advance_ci_co(C,carry_set_0. CarryAt(0),0); // Expected9 R = carry_set_0.BitBlock_advance_ci_co(C,carry_set_0.GetCarry(0),0); // Expected 10 10 R = Advance(C); // Translated 11 11 12 R = carry_set_0.BitBlock_advance_ci_co(C,carry_set_0. CarryAt(1),1);12 R = carry_set_0.BitBlock_advance_ci_co(C,carry_set_0.GetCarry(1),1); 13 13 R = pablo.Advance(C); 14 14 15 R = carry_set_0.BitBlock_scantofirst(M,carry_set_0. CarryAt(2),2);15 R = carry_set_0.BitBlock_scantofirst(M,carry_set_0.GetCarry(2),2); 16 16 R = ScanToFirst(M); 17 17 18 R = carry_set_0.BitBlock_scantofirst(M,carry_set_0. CarryAt(3),3);18 R = carry_set_0.BitBlock_scantofirst(M,carry_set_0.GetCarry(3),3); 19 19 R = pablo.ScanToFirst(M); 20 20 21 R = carry_set_0.BitBlock_scanthru_ci_co(C,X,carry_set_0. CarryAt(4),4);21 R = carry_set_0.BitBlock_scanthru_ci_co(C,X,carry_set_0.GetCarry(4),4); 22 22 R = ScanThru(C,X); 23 23 24 R = carry_set_0.BitBlock_scanthru_ci_co(C,X,carry_set_0. CarryAt(5),5);24 R = carry_set_0.BitBlock_scanthru_ci_co(C,X,carry_set_0.GetCarry(5),5); 25 25 R = pablo.ScanThru(C,X); 26 26 27 R = carry_set_0.BitBlock_scanthru_ci_co(C,simd_andc(EOF_mask, X),carry_set_0. CarryAt(6),6);27 R = carry_set_0.BitBlock_scanthru_ci_co(C,simd_andc(EOF_mask, X),carry_set_0.GetCarry(6),6); 28 28 R = ScanTo(C,X); 29 29 30 R = carry_set_0.BitBlock_scanthru_ci_co(C,simd_andc(EOF_mask, X),carry_set_0. CarryAt(7),7);30 R = carry_set_0.BitBlock_scanthru_ci_co(C,simd_andc(EOF_mask, X),carry_set_0.GetCarry(7),7); 31 31 R = pablo.ScanTo(C,X); 32 32 33 R = carry_set_0.BitBlock_advance_then_scanthru(C,X,carry_set_0. CarryAt(8),8);33 R = carry_set_0.BitBlock_advance_then_scanthru(C,X,carry_set_0.GetCarry(8),8); 34 34 R = AdvanceThenScanThru(C,X); 35 35 36 R = carry_set_0.BitBlock_advance_then_scanthru(C,X,carry_set_0. CarryAt(9),9);36 R = carry_set_0.BitBlock_advance_then_scanthru(C,X,carry_set_0.GetCarry(9),9); 37 37 R = pablo.AdvanceThenScanThru(C,X); 38 38 39 R = carry_set_0.BitBlock_advance_then_scanthru(C,simd_andc(EOF_mask, X),carry_set_0. CarryAt(10),10);39 R = carry_set_0.BitBlock_advance_then_scanthru(C,simd_andc(EOF_mask, X),carry_set_0.GetCarry(10),10); 40 40 R = AdvanceThenScanTo(C,X); 41 41 42 R = carry_set_0.BitBlock_advance_then_scanthru(C,simd_andc(EOF_mask, X),carry_set_0. CarryAt(11),11);42 R = carry_set_0.BitBlock_advance_then_scanthru(C,simd_andc(EOF_mask, X),carry_set_0.GetCarry(11),11); 43 43 R = pablo.AdvanceThenScanTo(C,X); 44 44 45 R = carry_set_0.BitBlock_span_upto(C,X,carry_set_0. CarryAt(12),12);45 R = carry_set_0.BitBlock_span_upto(C,X,carry_set_0.GetCarry(12),12); 46 46 R = SpanUpTo(C,X); 47 47 48 R = carry_set_0.BitBlock_span_upto(C,X,carry_set_0. CarryAt(13),13);48 R = carry_set_0.BitBlock_span_upto(C,X,carry_set_0.GetCarry(13),13); 49 49 R = pablo.SpanUpTo(C,X); 50 50 51 R = carry_set_0.BitBlock_inclusive_span(C,X,carry_set_0. CarryAt(14),14);51 R = carry_set_0.BitBlock_inclusive_span(C,X,carry_set_0.GetCarry(14),14); 52 52 R = InclusiveSpan(C,X); 53 53 54 R = carry_set_0.BitBlock_inclusive_span(C,X,carry_set_0. CarryAt(15),15);54 R = carry_set_0.BitBlock_inclusive_span(C,X,carry_set_0.GetCarry(15),15); 55 55 R = pablo.InclusiveSpan(C,X); 56 56 57 R = carry_set_0.BitBlock_exclusive_span(C,X,carry_set_0. CarryAt(16),16);57 R = carry_set_0.BitBlock_exclusive_span(C,X,carry_set_0.GetCarry(16),16); 58 58 R = ExclusiveSpan(C,X); 59 59 60 R = carry_set_0.BitBlock_exclusive_span(C,X,carry_set_0. CarryAt(17),17);60 R = carry_set_0.BitBlock_exclusive_span(C,X,carry_set_0.GetCarry(17),17); 61 61 R = pablo.ExclusiveSpan(C,X); 62 62 
proto/pabloj/trunk/input/test/visitors/CarryIntroXFormer/NotFinalBlock/pablo2CarryQ.pablos
r2981 r2989 7 7 // TODO  UPDATE EXPECTED RESULTS 8 8 9 R = carry_set_0.BitBlock_advance_ci_co(C,carry_set_0. CarryAt(0),0); // Expected9 R = carry_set_0.BitBlock_advance_ci_co(C,carry_set_0.GetCarry(0),0); // Expected 10 10 R = Advance(C); // Translated 11 11 12 R = carry_set_0.BitBlock_advance_ci_co(C,carry_set_0. CarryAt(1),1);12 R = carry_set_0.BitBlock_advance_ci_co(C,carry_set_0.GetCarry(1),1); 13 13 R = pablo.Advance(C); 14 14 15 R = carry_set_0.BitBlock_scantofirst(M,carry_set_0. CarryAt(2),2);15 R = carry_set_0.BitBlock_scantofirst(M,carry_set_0.GetCarry(2),2); 16 16 R = ScanToFirst(M); 17 17 18 R = carry_set_0.BitBlock_scantofirst(M,carry_set_0. CarryAt(3),3);18 R = carry_set_0.BitBlock_scantofirst(M,carry_set_0.GetCarry(3),3); 19 19 R = pablo.ScanToFirst(M); 20 20 21 R = carry_set_0.BitBlock_scanthru_ci_co(C,X,carry_set_0. CarryAt(4),4);21 R = carry_set_0.BitBlock_scanthru_ci_co(C,X,carry_set_0.GetCarry(4),4); 22 22 R = ScanThru(C,X); 23 23 24 R = carry_set_0.BitBlock_scanthru_ci_co(C,X,carry_set_0. CarryAt(5),5);24 R = carry_set_0.BitBlock_scanthru_ci_co(C,X,carry_set_0.GetCarry(5),5); 25 25 R = pablo.ScanThru(C,X); 26 26 27 R = carry_set_0.BitBlock_scanthru_ci_co(C,simd_not(X),carry_set_0. CarryAt(6),6);27 R = carry_set_0.BitBlock_scanthru_ci_co(C,simd_not(X),carry_set_0.GetCarry(6),6); 28 28 R = ScanTo(C,X); 29 29 30 R = carry_set_0.BitBlock_scanthru_ci_co(C,simd_not(X),carry_set_0. CarryAt(7),7);30 R = carry_set_0.BitBlock_scanthru_ci_co(C,simd_not(X),carry_set_0.GetCarry(7),7); 31 31 R = pablo.ScanTo(C,X); 32 32 33 R = carry_set_0.BitBlock_advance_then_scanthru(C,X,carry_set_0. CarryAt(8),8);33 R = carry_set_0.BitBlock_advance_then_scanthru(C,X,carry_set_0.GetCarry(8),8); 34 34 R = AdvanceThenScanThru(C,X); 35 35 36 R = carry_set_0.BitBlock_advance_then_scanthru(C,X,carry_set_0. CarryAt(9),9);36 R = carry_set_0.BitBlock_advance_then_scanthru(C,X,carry_set_0.GetCarry(9),9); 37 37 R = pablo.AdvanceThenScanThru(C,X); 38 38 39 R = carry_set_0.BitBlock_advance_then_scanthru(C,simd_not(X),carry_set_0. CarryAt(10),10);39 R = carry_set_0.BitBlock_advance_then_scanthru(C,simd_not(X),carry_set_0.GetCarry(10),10); 40 40 R = AdvanceThenScanTo(C,X); 41 41 42 R = carry_set_0.BitBlock_advance_then_scanthru(C,simd_not(X),carry_set_0. CarryAt(11),11);42 R = carry_set_0.BitBlock_advance_then_scanthru(C,simd_not(X),carry_set_0.GetCarry(11),11); 43 43 R = pablo.AdvanceThenScanTo(C,X); 44 44 45 R = carry_set_0.BitBlock_span_upto(C,X,carry_set_0. CarryAt(12),12);45 R = carry_set_0.BitBlock_span_upto(C,X,carry_set_0.GetCarry(12),12); 46 46 R = SpanUpTo(C,X); 47 47 48 R = carry_set_0.BitBlock_span_upto(C,X,carry_set_0. CarryAt(13),13);48 R = carry_set_0.BitBlock_span_upto(C,X,carry_set_0.GetCarry(13),13); 49 49 R = pablo.SpanUpTo(C,X); 50 50 51 R = carry_set_0.BitBlock_inclusive_span(C,X,carry_set_0. CarryAt(14),14);51 R = carry_set_0.BitBlock_inclusive_span(C,X,carry_set_0.GetCarry(14),14); 52 52 R = InclusiveSpan(C,X); 53 53 54 R = carry_set_0.BitBlock_inclusive_span(C,X,carry_set_0. CarryAt(15),15);54 R = carry_set_0.BitBlock_inclusive_span(C,X,carry_set_0.GetCarry(15),15); 55 55 R = pablo.InclusiveSpan(C,X); 56 56 57 R = carry_set_0.BitBlock_exclusive_span(C,X,carry_set_0. CarryAt(16),16);57 R = carry_set_0.BitBlock_exclusive_span(C,X,carry_set_0.GetCarry(16),16); 58 58 R = ExclusiveSpan(C,X); 59 59 60 R = carry_set_0.BitBlock_exclusive_span(C,X,carry_set_0. CarryAt(17),17);60 R = carry_set_0.BitBlock_exclusive_span(C,X,carry_set_0.GetCarry(17),17); 61 61 R = pablo.ExclusiveSpan(C,X); 62 62
Note: See TracChangeset
for help on using the changeset viewer.