Sat Dec 26 13:38:52 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww000 "DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 ; li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | ; exists (x=2 /\ 1:r1=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: li 7,1 _litmus_P1_3_: stwx 7,10,9 Test bcsdww000 Allowed Histogram (3 states) 60419676:>1:r1=0; x=1; 317113984:>1:r1=0; x=2; 262466340:>1:r1=1; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 1:r1=1) is NOT validated Hash=262d40103ab036ada7c4d5ede4cb5840 Cycle=DpdW Wse SyncdWW Rfe Relax bcsdww000 No BCSyncdWW Safe=Wse DpdW Time bcsdww000 98.40 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww001 "DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | li r4,1 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: li 7,1 _litmus_P1_3_: stwx 7,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(11) _litmus_P3_1_: xor 10,6,6 _litmus_P3_2_: li 7,1 _litmus_P3_3_: stwx 7,10,9 Test bcsdww001 Allowed Histogram (15 states) 2536526:>1:r1=0; 3:r1=0; x=1; z=1; 1137022:>1:r1=1; 3:r1=1; x=2; z=1; 1616545:>1:r1=0; 3:r1=1; x=2; z=2; 1151635:>1:r1=1; 3:r1=1; x=1; z=2; 17458259:>1:r1=0; 3:r1=1; x=1; z=2; 1582660:>1:r1=1; 3:r1=0; x=2; z=2; 31557310:>1:r1=1; 3:r1=0; x=1; z=1; 32268116:>1:r1=1; 3:r1=1; x=1; z=1; 32310274:>1:r1=0; 3:r1=1; x=1; z=1; 38336112:>1:r1=0; 3:r1=0; x=2; z=1; 16918179:>1:r1=1; 3:r1=0; x=2; z=1; 38746920:>1:r1=0; 3:r1=0; x=1; z=2; 67516590:>1:r1=0; 3:r1=0; x=2; z=2; 18459964:>1:r1=0; 3:r1=1; x=2; z=1; 18403888:>1:r1=1; 3:r1=0; x=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=96b3ad5ef3552835e91cfb053b388e47 Cycle=DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww001 No BCSyncdWW Safe=Wse DpdW Time bcsdww001 150.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww002 "SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | li r3,1 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: li 7,1 _litmus_P1_3_: stwx 7,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 7,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 8,1 _litmus_P3_3_: stw 8,0(9) Test bcsdww002 Allowed Histogram (15 states) 1065098:>1:r1=1; 3:r1=1; x=1; z=2; 626270:>1:r1=1; 3:r1=1; x=2; z=1; 1051078:>1:r1=0; 3:r1=1; x=2; z=2; 14480770:>1:r1=0; 3:r1=1; x=2; z=1; 4530277:>1:r1=0; 3:r1=0; x=1; z=1; 1153551:>1:r1=1; 3:r1=0; x=2; z=2; 16186971:>1:r1=0; 3:r1=1; x=1; z=2; 29940190:>1:r1=1; 3:r1=1; x=1; z=1; 38818538:>1:r1=0; 3:r1=0; x=2; z=1; 36615197:>1:r1=1; 3:r1=0; x=1; z=1; 14196123:>1:r1=1; 3:r1=0; x=2; z=1; 45831158:>1:r1=0; 3:r1=0; x=1; z=2; 34684079:>1:r1=0; 3:r1=1; x=1; z=1; 18711856:>1:r1=1; 3:r1=0; x=1; z=2; 62108844:>1:r1=0; 3:r1=0; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=af33a9d4f6f79386d356cbbdb0662698 Cycle=SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww002 No BCSyncdWW Safe=Wse SyncdRW DpdW Time bcsdww002 151.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww003 "DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | lwzx r4,r3,r5 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: li 7,1 _litmus_P1_3_: stwx 7,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 5,0(11) _litmus_P3_1_: xor 10,5,5 _litmus_P3_2_: lwzx 6,10,9 Test bcsdww003 Allowed Histogram (15 states) 2080408:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 1541828:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 1380990:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 1307251:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 2131269:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 20127453:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 17016643:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 67457022:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 31755375:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 30770794:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 18715449:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 40218065:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 16441063:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 35908176:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 33148214:>1:r1=0; 3:r1=1; 3:r4=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 142.15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww004 "DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | lwzx r4,r3,r2 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: li 7,1 _litmus_P1_3_: stwx 7,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: xor 10,6,6 _litmus_P3_2_: lwzx 11,10,9 Test bcsdww004 Allowed Histogram (42 states) 36 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 9668 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 25654 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 12801 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 19563 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 7837 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 41149 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 29530 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 51319 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 163856:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 148251:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 25568 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 101533:>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 54582 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 16184 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 31821 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 7729 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 93956 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 864238:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 1362360:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 105900:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 4437730:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 4869362:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 538757:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 3929542:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 1619815:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 6279725:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 561170:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 2735047:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 2001849:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 12108935:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 27274007:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 11028428:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 31919888:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 25838616:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 54517646:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 14834648:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 19892256:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 28413180:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 30392010:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 12897000:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 20736854:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26d413fc2e2cdadfa9e0f1aeb3ab365b Cycle=DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww004 No BCSyncdWW Safe=Fre Wse DpsR DpdW Time bcsdww004 211.32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww005 "SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | lwz r3,0(r4) ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: li 7,1 _litmus_P1_3_: stwx 7,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 7,0(9) Test bcsdww005 Allowed Histogram (15 states) 1261573:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 3328194:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 1544266:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 1171003:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 32562220:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 39206817:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 15968286:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 18416907:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 19062929:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 31332034:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 64442712:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 19200284:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 37874347:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 32891225:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 1737203:>1:r1=0; 3:r1=1; 3:r3=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=9d8e29c8c4e565bae4fdb78aec0db9b5 Cycle=SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww005 No BCSyncdWW Safe=Fre Wse SyncdRR DpdW Time bcsdww005 144.08 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww006 "SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | lwz r3,0(r2) ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: li 7,1 _litmus_P1_3_: stwx 7,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 7,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) Test bcsdww006 Allowed Histogram (42 states) 2907 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 334858:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 411432:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 364186:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 1177967:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 1888281:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 586683:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 1294381:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 251382:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 727468:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 533957:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 3330183:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 2586940:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 1566712:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 3908477:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 1581052:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 1152394:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 2316112:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 374319:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 14118249:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 494966:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 370126:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 4973345:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 4688081:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 21710273:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 7102246:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 746150:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 6822476:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 27614716:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 3353828:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 1079259:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 2304442:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 10984347:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 16626659:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 23131088:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 49801995:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 11300146:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 5046265:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 11439260:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 26064093:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 18387098:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 27451201:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=62faf55c9e7916888e6ae088e9375bff Cycle=SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww006 No BCSyncdWW Safe=Fre Wse SyncsRR DpdW Time bcsdww006 205.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww007 "DpdW Wse SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; li r3,1 | li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1) Generated assembler _litmus_P0_0_: li 8,2 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 10,1 _litmus_P0_4_: stw 10,0(9) _litmus_P1_0_: li 8,2 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 6,0(11) _litmus_P2_1_: xor 10,6,6 _litmus_P2_2_: li 7,1 _litmus_P2_3_: stwx 7,10,9 Test bcsdww007 Allowed Histogram (7 states) 34488107:>2:r1=0; x=2; y=2; 15109583:>2:r1=1; x=1; y=2; 87091528:>2:r1=1; x=1; y=1; 6406776:>2:r1=0; x=1; y=1; 110163983:>2:r1=0; x=1; y=2; 128596891:>2:r1=0; x=2; y=1; 18143132:>2:r1=1; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=7c2462ff041c713f8de949f757a40d53 Cycle=DpdW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww007 No BCSyncdWW Safe=Wse SyncdWW DpdW Time bcsdww007 100.77 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww008 "SyncdRW Wse SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1) Generated assembler _litmus_P0_0_: li 8,2 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 10,1 _litmus_P0_4_: stw 10,0(9) _litmus_P1_0_: li 8,2 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 7,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 8,1 _litmus_P2_3_: stw 8,0(9) Test bcsdww008 Allowed Histogram (7 states) 12100783:>2:r1=0; x=1; y=1; 12432637:>2:r1=1; x=1; y=2; 90650060:>2:r1=1; x=1; y=1; 27487933:>2:r1=0; x=2; y=2; 117043523:>2:r1=0; x=1; y=2; 14384199:>2:r1=1; x=2; y=1; 125900865:>2:r1=0; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=e6b1c1a0023ee13d1ea18feb286c6d13 Cycle=SyncdRW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww008 No BCSyncdWW Safe=Wse SyncdWW SyncdRW Time bcsdww008 98.55 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww009 "DpdR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P0_0_: li 8,1 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 10,1 _litmus_P0_4_: stw 10,0(9) _litmus_P1_0_: li 8,2 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 5,0(11) _litmus_P2_1_: xor 10,5,5 _litmus_P2_2_: lwzx 6,10,9 Test bcsdww009 Allowed Histogram (7 states) 5726387:>2:r1=0; 2:r4=1; y=1; 26625227:>2:r1=1; 2:r4=0; y=1; 30684525:>2:r1=0; 2:r4=0; y=2; 110177423:>2:r1=0; 2:r4=1; y=2; 130425634:>2:r1=0; 2:r4=0; y=1; 81967979:>2:r1=1; 2:r4=1; y=1; 14392825:>2:r1=1; 2:r4=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=9d7f07ce6da224ac7eca2af4a5915a72 Cycle=DpdR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww009 No BCSyncdWW Safe=Fre Wse SyncdWW DpdR Time bcsdww009 96.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww010 "DpsR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r2 ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P0_0_: li 8,2 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 10,1 _litmus_P0_4_: stw 10,0(9) _litmus_P1_0_: li 8,2 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 6,0(9) _litmus_P2_1_: xor 10,6,6 _litmus_P2_2_: lwzx 11,10,9 Test bcsdww010 Allowed Histogram (18 states) 589 :>2:r1=0; 2:r4=1; x=2; y=1; 45774 :>2:r1=0; 2:r4=1; x=1; y=1; 8066 :>2:r1=2; 2:r4=1; x=1; y=1; 42949 :>2:r1=1; 2:r4=2; x=1; y=2; 56734 :>2:r1=0; 2:r4=2; x=1; y=1; 60004 :>2:r1=2; 2:r4=1; x=2; y=1; 188089:>2:r1=0; 2:r4=2; x=1; y=2; 95107 :>2:r1=0; 2:r4=2; x=2; y=1; 1906001:>2:r1=0; 2:r4=1; x=1; y=2; 17783239:>2:r1=1; 2:r4=1; x=2; y=1; 18643305:>2:r1=1; 2:r4=1; x=1; y=1; 64078111:>2:r1=0; 2:r4=0; x=1; y=2; 2959315:>2:r1=2; 2:r4=2; x=1; y=1; 35474152:>2:r1=0; 2:r4=0; x=2; y=1; 42147417:>2:r1=1; 2:r4=1; x=1; y=2; 102093161:>2:r1=2; 2:r4=2; x=2; y=1; 59336131:>2:r1=0; 2:r4=0; x=1; y=1; 55081856:>2:r1=2; 2:r4=2; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=3bd35505ff4c5dbff1bb92ff33d7496b Cycle=DpsR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww010 No BCSyncdWW Safe=Fre Wse SyncdWW DpsR Time bcsdww010 112.87 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww011 "SyncdRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P0_0_: li 8,1 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 10,1 _litmus_P0_4_: stw 10,0(9) _litmus_P1_0_: li 8,2 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 6,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 7,0(9) Test bcsdww011 Allowed Histogram (7 states) 15046354:>2:r1=1; 2:r3=1; y=2; 7496768:>2:r1=0; 2:r3=1; y=1; 85510593:>2:r1=1; 2:r3=1; y=1; 130795537:>2:r1=0; 2:r3=0; y=1; 111665025:>2:r1=0; 2:r3=1; y=2; 21399670:>2:r1=1; 2:r3=0; y=1; 28086053:>2:r1=0; 2:r3=0; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=d6dadb697329282571a4979eadd035fd Cycle=SyncdRR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww011 No BCSyncdWW Safe=Fre Wse SyncdWW SyncdRR Time bcsdww011 99.38 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww012 "SyncsRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_P0_0_: li 8,2 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 10,1 _litmus_P0_4_: stw 10,0(9) _litmus_P1_0_: li 8,2 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 7,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) Test bcsdww012 Allowed Histogram (18 states) 23794 :>2:r1=0; 2:r3=1; x=2; y=1; 18725677:>2:r1=0; 2:r3=1; x=1; y=2; 31128489:>2:r1=0; 2:r3=0; x=2; y=1; 4477114:>2:r1=2; 2:r3=1; x=2; y=1; 4558805:>2:r1=1; 2:r3=2; x=1; y=2; 64971541:>2:r1=0; 2:r3=0; x=1; y=1; 16278089:>2:r1=1; 2:r3=1; x=2; y=1; 479430:>2:r1=0; 2:r3=1; x=1; y=1; 526890:>2:r1=0; 2:r3=2; x=1; y=1; 2672947:>2:r1=2; 2:r3=2; x=1; y=1; 439118:>2:r1=2; 2:r3=1; x=1; y=1; 99517728:>2:r1=2; 2:r3=2; x=2; y=1; 51991506:>2:r1=2; 2:r3=2; x=1; y=2; 5225175:>2:r1=0; 2:r3=2; x=1; y=2; 1564431:>2:r1=0; 2:r3=2; x=2; y=1; 16556507:>2:r1=1; 2:r3=1; x=1; y=1; 33113120:>2:r1=1; 2:r3=1; x=1; y=2; 47749639:>2:r1=0; 2:r3=0; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r3=1) is NOT validated Hash=3491c251ad1f32fc2b43d52f52c46191 Cycle=SyncsRR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww012 No BCSyncdWW Safe=Fre Wse SyncsRR SyncdWW Time bcsdww012 111.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww013 "SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; sync | li r3,1 ; li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | ; exists (x=2 /\ 1:r1=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 7,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 8,1 _litmus_P1_3_: stw 8,0(9) Test bcsdww013 Allowed Histogram (3 states) 68602534:>1:r1=0; x=1; 302678166:>1:r1=0; x=2; 268719300:>1:r1=1; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 1:r1=1) is NOT validated Hash=3bacaa46622528b0ef100acb0d326a4f Cycle=SyncdRW Wse SyncdWW Rfe Relax bcsdww013 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww013 96.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww014 "SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | li r3,1 ; li r3,1 | stw r3,0(r4) | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 7,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 8,1 _litmus_P1_3_: stw 8,0(9) _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 7,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 8,1 _litmus_P3_3_: stw 8,0(9) Test bcsdww014 Allowed Histogram (15 states) 579299:>1:r1=1; 3:r1=1; x=2; z=1; 648122:>1:r1=1; 3:r1=1; x=1; z=2; 763246:>1:r1=1; 3:r1=0; x=2; z=2; 734180:>1:r1=0; 3:r1=1; x=2; z=2; 7004068:>1:r1=0; 3:r1=0; x=1; z=1; 13741028:>1:r1=1; 3:r1=0; x=2; z=1; 13429634:>1:r1=0; 3:r1=1; x=1; z=2; 14479866:>1:r1=0; 3:r1=1; x=2; z=1; 28380446:>1:r1=1; 3:r1=1; x=1; z=1; 39041330:>1:r1=1; 3:r1=0; x=1; z=1; 44957949:>1:r1=0; 3:r1=0; x=1; z=2; 45908821:>1:r1=0; 3:r1=0; x=2; z=1; 15004535:>1:r1=1; 3:r1=0; x=1; z=2; 56692229:>1:r1=0; 3:r1=0; x=2; z=2; 38635247:>1:r1=0; 3:r1=1; x=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=ee6d6ba63625d467fac397c863618ff2 Cycle=SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww014 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww014 152.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww015 "DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r3,1 | sync | lwzx r4,r3,r5 ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 7,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 8,1 _litmus_P1_3_: stw 8,0(9) _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 5,0(11) _litmus_P3_1_: xor 10,5,5 _litmus_P3_2_: lwzx 6,10,9 Test bcsdww015 Allowed Histogram (15 states) 1377033:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 700047:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 969911:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 1464423:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 16053824:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 3994238:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 20707949:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 15812511:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 32192460:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 37357946:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 45974938:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 29806171:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 12832928:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 63633529:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 37122092:>1:r1=0; 3:r1=0; 3:r4=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=17704085d61983610ea6761b47264366 Cycle=DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww015 No BCSyncdWW Safe=Fre Wse SyncdRW DpdR Time bcsdww015 141.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww016 "DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r3,1 | sync | lwzx r4,r3,r2 ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 7,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 8,1 _litmus_P1_3_: stw 8,0(9) _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: xor 10,6,6 _litmus_P3_2_: lwzx 11,10,9 Test bcsdww016 Allowed Histogram (42 states) 16 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 6961 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 5377 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 12522 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 7556 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 135163:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 29759 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 12216 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 20124 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 52512 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 19295 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 61947 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 25184 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 74029 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 45402 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 93048 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 96638 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 21206 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 552536:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 3015833:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 117756:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 355137:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 743219:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 1746340:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 5119418:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 2822812:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 2755410:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 3164476:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 7694930:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 735548:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 26980910:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 10521359:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 11177898:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 11487568:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 35489184:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 18675267:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 15149383:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 17625442:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 28002602:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 52778524:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 29245261:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 33324232:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=afd72f686b99433de47ab6d5cad91134 Cycle=DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww016 No BCSyncdWW Safe=Fre Wse SyncdRW DpsR Time bcsdww016 216.13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww017 "SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r4) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 7,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 8,1 _litmus_P1_3_: stw 8,0(9) _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 7,0(9) Test bcsdww017 Allowed Histogram (15 states) 6398978:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 729243:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 1058350:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 13353514:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 758457:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 1133899:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 34791648:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 18633174:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 37249496:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 15002329:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 41832722:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 15357773:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 59955577:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 28557246:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 45187594:>1:r1=0; 3:r1=0; 3:r3=0; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 143.15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww018 "SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r2) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 7,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 8,1 _litmus_P1_3_: stw 8,0(9) _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 7,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) Test bcsdww018 Allowed Histogram (42 states) 1230 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 184353:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 338160:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 303757:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 336243:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 675348:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 4743240:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 208616:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 1566824:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 321958:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 1325584:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 327268:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 966229:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 534704:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 1163134:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 7401221:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 587244:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 3159905:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 2300189:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 1741179:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 679872:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 15311438:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 594244:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 6941084:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 3691266:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 913939:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 14300803:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 2133542:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 6747826:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 2741838:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 48106165:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 4184733:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 30709469:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 10286694:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 10567033:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 24857996:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 2743799:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 10261326:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 29378376:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 27377444:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 16932271:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 22352456:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=df82d53ff13c1c0132bc81937f5ecf56 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww018 No BCSyncdWW Safe=Fre Wse SyncsRR SyncdRW Time bcsdww018 206.67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww019.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww019 "DpdR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 ; li r3,1 | ; stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r4=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: xor 10,5,5 _litmus_P1_2_: lwzx 6,10,9 Test bcsdww019 Allowed Histogram (3 states) 319286497:>1:r1=0; 1:r4=0; 276392391:>1:r1=1; 1:r4=1; 44321112:>1:r1=0; 1:r4=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r4=0) is NOT validated Hash=abe769d43585052eb6bd1199546b3603 Cycle=DpdR Fre SyncdWW Rfe Relax bcsdww019 No BCSyncdWW Safe=Fre DpdR Time bcsdww019 105.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww020.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww020 "DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 | sync | lwzx r4,r3,r5 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: xor 10,5,5 _litmus_P1_2_: lwzx 6,10,9 _litmus_P2_0_: li 10,1 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 5,0(11) _litmus_P3_1_: xor 10,5,5 _litmus_P3_2_: lwzx 6,10,9 Test bcsdww020 Allowed Histogram (15 states) 1064277:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 1646228:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 29248434:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 1997825:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 1756788:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 33646066:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 67319743:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 35388447:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 38359636:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 32464007:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 18533274:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 19626747:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 17331233:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 1751606:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 19865689:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=ff6729203383abc4a32d53a80bd77acb Cycle=DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww020 No BCSyncdWW Safe=Fre DpdR Time bcsdww020 129.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww021 "DpsR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 | sync | lwzx r4,r3,r2 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: xor 10,5,5 _litmus_P1_2_: lwzx 6,10,9 _litmus_P2_0_: li 10,1 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: xor 10,6,6 _litmus_P3_2_: lwzx 11,10,9 Test bcsdww021 Allowed Histogram (42 states) 31 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 5702 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 29411 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 9193 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 8793 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 20531 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 28713 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 28404 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 40951 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 126685:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 85106 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 35696 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 144468:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 3256 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 21633 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 69093 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 103489:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 548484:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 12733 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 1305525:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 77329 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 685476:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 566530:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 4166187:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 13925592:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 1885519:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 9170365:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 3494337:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 6906612:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 3514578:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 31529643:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 27097285:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 28192833:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 3430437:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 55519859:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 18536533:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 30002520:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 12494140:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 2396087:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 19727655:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 20159801:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 23892785:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26085f29b1357e5e8f0e159288ddd725 Cycle=DpsR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww021 No BCSyncdWW Safe=Fre DpsR DpdR Time bcsdww021 211.31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww022.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww022 "SyncdRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r5 | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: xor 10,5,5 _litmus_P1_2_: lwzx 6,10,9 _litmus_P2_0_: li 10,1 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 7,0(9) Test bcsdww022 Allowed Histogram (15 states) 1401479:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 1125745:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 1456523:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 1583371:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 18842661:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 16524862:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 3279999:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 43282497:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 17939422:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 37165307:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 15812283:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 33704633:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 32922164:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 64930116:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 30028938:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=52b75bc6c8456215cdaad6fb3a5164ee Cycle=SyncdRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww022 No BCSyncdWW Safe=Fre SyncdRR DpdR Time bcsdww022 128.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww023 "SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r5 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 5,0(11) _litmus_P1_1_: xor 10,5,5 _litmus_P1_2_: lwzx 6,10,9 _litmus_P2_0_: li 10,1 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 7,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) Test bcsdww023 Allowed Histogram (42 states) 5113 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 480628:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 229231:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 474864:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 1108540:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 708092:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 1090117:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 383959:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 1610945:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 410981:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 1094550:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 1695388:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 1514674:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 3133124:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 664634:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 6682907:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 3332376:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 929933:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 2352020:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 7100383:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 2728985:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 2191687:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 478389:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 1723130:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 19032589:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 161151:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 3715345:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 18018956:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 5640268:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 21879483:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 25599361:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 11037519:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 537072:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 5020303:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 27255856:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 26157457:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 3368475:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 12914927:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 21158120:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 50924229:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 9149061:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 16305178:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=ef69b708c957de42a04a8b5ca4d81078 Cycle=SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww023 No BCSyncdWW Safe=Fre SyncsRR DpdR Time bcsdww023 203.99 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww024 "DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r2 | sync | lwzx r4,r3,r2 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(9) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: lwzx 11,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(9) _litmus_P3_1_: xor 10,6,6 _litmus_P3_2_: lwzx 11,10,9 Test bcsdww024 Allowed Histogram (105 states) 1 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 6 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 7 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 2 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 21 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 31 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 13 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 6 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 36 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 41 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 23 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 6 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 76 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 31 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 22 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 38 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 501 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 107 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 81 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 81 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 81 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 60 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 337 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 229 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 66 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 323 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 13651 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 1663 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 284 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 608 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 869 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 5915 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 564 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 71687 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 16606 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 13971 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 1949 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 10199 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 9639 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 43511 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 7359 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 12575 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 7821 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 46438 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 73397 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 6064 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 27761 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 8932 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 63995 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 27495 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 38621 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 15578 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 20835 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 22968 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 21679 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 101034:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 48030 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 14701 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 45533 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 20905 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 192275:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 30474 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 77755 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 33407 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 117081:>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 186127:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 43937 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 90746 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 21256 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 102468:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 30481 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 23789 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 330080:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 57200 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 544825:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 22138 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 3692099:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 324518:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 3556727:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 2512972:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 2528262:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 2003500:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 6272825:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 7071603:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 1854048:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 4042216:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 2855938:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 609972:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 488068:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 4187264:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 9360147:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 6402613:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 7246291:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 23408532:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 9323799:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 2578957:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 7149591:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 25915114:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 22802892:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 37976631:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 26210513:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 22104724:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; 25428631:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 26791899:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 22570552:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=6e01edb2061b004b7156eefd80367964 Cycle=DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww024 No BCSyncdWW Safe=Fre DpsR Time bcsdww024 301.54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww025 "SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(9) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: lwzx 11,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 7,0(9) Test bcsdww025 Allowed Histogram (42 states) 11 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 28949 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 7383 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 5285 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 12204 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 150429:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 9948 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 41693 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 26582 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 120087:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 19653 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 25968 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 90905 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 42715 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 78817 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 14538 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 21761 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 74105 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 93035 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 543760:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 1007953:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 638085:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 3313314:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 2207655:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 26999027:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 5053853:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 12713329:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 6318623:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 2379265:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 1438177:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 31007985:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 52740789:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 11956432:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 16280217:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 3032766:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 28529507:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 12974153:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 32944018:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 19810956:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 18496911:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 3685751:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 25063406:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=f58b58e77c065c1d7e45eddd6a49ef4b Cycle=SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww025 No BCSyncdWW Safe=Fre SyncdRR DpsR Time bcsdww025 202.59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww026 "SyncsRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(9) _litmus_P1_1_: xor 10,6,6 _litmus_P1_2_: lwzx 11,10,9 _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 7,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) Test bcsdww026 Allowed Histogram (108 states) 18 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 71 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 148 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 300 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 180 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 45 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 1109 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 178 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 316 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 605 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 99 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 762 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 1814 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 5319 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 1388 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 3509 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 2956 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 1909 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 1338 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 22519 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 5700 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 9131 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 1942 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 442 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 2301 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 4169 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 6011 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 15949 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 392 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 4746 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 668 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 20927 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 8882 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 18500 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 10486 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 21526 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 12557 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 54746 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 11502 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 9207 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 15799 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 32956 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 281 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 6245 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 27016 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 76076 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 774484:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 105897:>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 22145 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 314478:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 2599944:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 65794 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 5921227:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 692142:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 2115690:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 1088 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 28947 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 565516:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 2236688:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 44293 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 168611:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 27443 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 90177 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 2144777:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 1576695:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 19545612:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 8310693:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 4865461:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 463090:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 6743595:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 529216:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 900747:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 1112441:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 3073395:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 431532:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 553898:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 2562958:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 522268:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 324121:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 65156 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 2443646:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 9072151:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 3790754:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 439705:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 2617258:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 1185429:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 4770299:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 5902865:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 631182:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 34145896:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 592622:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 595232:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 2358089:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 20704744:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; 3527820:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 612817:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 4482355:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 128572:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 3210828:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 7066993:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 25051373:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 25469088:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 22201359:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 3375109:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 22239047:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 20020886:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 1523806:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 21917116:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=494bdd377023c801c91266ccd04985a6 Cycle=SyncsRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww026 No BCSyncdWW Safe=Fre SyncsRR DpsR Time bcsdww026 309.27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww027 "DpdW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; lwz r3,0(r4) | li r3,1 | stwx r4,r3,r5 ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P0_0_: li 8,2 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 7,0(9) _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 6,0(11) _litmus_P2_1_: xor 10,6,6 _litmus_P2_2_: li 7,1 _litmus_P2_3_: stwx 7,10,9 Test bcsdww027 Allowed Histogram (7 states) 5156961:>0:r3=1; 2:r1=0; x=1; 50652905:>0:r3=0; 2:r1=0; x=2; 19276236:>0:r3=1; 2:r1=1; x=2; 118448638:>0:r3=0; 2:r1=0; x=1; 109855219:>0:r3=1; 2:r1=0; x=2; 82300378:>0:r3=1; 2:r1=1; x=1; 14309663:>0:r3=0; 2:r1=1; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=a3cc59f896bd23424085486bc047f237 Cycle=DpdW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww027 No BCSyncdWW Safe=Fre Wse SyncdWR DpdW Time bcsdww027 93.54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww028 "SyncdRW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | li r3,1 ; lwz r3,0(r4) | li r3,1 | stw r3,0(r4) ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P0_0_: li 8,2 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 7,0(9) _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 7,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 8,1 _litmus_P2_3_: stw 8,0(9) Test bcsdww028 Allowed Histogram (7 states) 8371936:>0:r3=1; 2:r1=0; x=1; 14384632:>0:r3=1; 2:r1=1; x=2; 43061779:>0:r3=0; 2:r1=0; x=2; 124045671:>0:r3=0; 2:r1=0; x=1; 110139658:>0:r3=1; 2:r1=0; x=2; 14147615:>0:r3=0; 2:r1=1; x=1; 85848709:>0:r3=1; 2:r1=1; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=e4e07528cdbf9272fd50b0cf6708ccaa Cycle=SyncdRW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww028 No BCSyncdWW Safe=Fre Wse SyncdWR SyncdRW Time bcsdww028 96.83 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww029.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww029 "DpdR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P0_0_: li 8,1 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 7,0(9) _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 5,0(11) _litmus_P2_1_: xor 10,5,5 _litmus_P2_2_: lwzx 6,10,9 Test bcsdww029 Allowed Histogram (7 states) 20978295:>0:r3=0; 2:r1=1; 2:r4=1; 2640925:>0:r3=1; 2:r1=0; 2:r4=1; 51032456:>0:r3=0; 2:r1=0; 2:r4=0; 26221525:>0:r3=1; 2:r1=1; 2:r4=0; 79610096:>0:r3=1; 2:r1=1; 2:r4=1; 110642255:>0:r3=0; 2:r1=0; 2:r4=1; 108874448:>0:r3=1; 2:r1=0; 2:r4=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=1052dfbfb336d023eeffaaf6c00324c1 Cycle=DpdR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww029 No BCSyncdWW Safe=Fre SyncdWR DpdR Time bcsdww029 94.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww030 "DpsR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r2 ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P0_0_: li 8,2 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 7,0(9) _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 6,0(9) _litmus_P2_1_: xor 10,6,6 _litmus_P2_2_: lwzx 11,10,9 Test bcsdww030 Allowed Histogram (18 states) 2028 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 119077:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 2778 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 72785 :>0:r3=1; 2:r1=0; 2:r4=1; y=1; 17592 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 120291:>0:r3=0; 2:r1=0; 2:r4=2; y=1; 71087 :>0:r3=1; 2:r1=0; 2:r4=2; y=1; 374932:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 2669477:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 11712870:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 1749505:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 37627645:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 39067960:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 113335742:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 75518149:>0:r3=1; 2:r1=0; 2:r4=0; y=2; 53717319:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 16212237:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 47608526:>0:r3=1; 2:r1=2; 2:r4=2; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=762db7307d35c050ae02494154891df7 Cycle=DpsR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww030 No BCSyncdWW Safe=Fre SyncdWR DpsR Time bcsdww030 112.11 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww031.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww031 "SyncdRR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P0_0_: li 8,1 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 7,0(9) _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 6,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 7,0(9) Test bcsdww031 Allowed Histogram (7 states) 20113125:>0:r3=0; 2:r1=1; 2:r3=1; 50404203:>0:r3=0; 2:r1=0; 2:r3=0; 22872194:>0:r3=1; 2:r1=1; 2:r3=0; 4756730:>0:r3=1; 2:r1=0; 2:r3=1; 81141281:>0:r3=1; 2:r1=1; 2:r3=1; 114023257:>0:r3=0; 2:r1=0; 2:r3=1; 106689210:>0:r3=1; 2:r1=0; 2:r3=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=d99b2c9fcd24d521255a6c4ef185df57 Cycle=SyncdRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww031 No BCSyncdWW Safe=Fre SyncdWR SyncdRR Time bcsdww031 96.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww032.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww032 "SyncsRR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_P0_0_: li 8,2 _litmus_P0_1_: stw 8,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 7,0(9) _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 7,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) Test bcsdww032 Allowed Histogram (18 states) 78479 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 657889:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 201940:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 5285985:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 9576101:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 2463501:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 12329869:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 321895:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 40944372:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 1777179:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 5586264:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 44972031:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 4161489:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 53486582:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 111121543:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 13708999:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 35403807:>0:r3=1; 2:r1=1; 2:r3=1; y=2; 57922075:>0:r3=1; 2:r1=0; 2:r3=0; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=1) is NOT validated Hash=6ef8013c1a65c6c1574ee921baad8f97 Cycle=SyncsRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww032 No BCSyncdWW Safe=Fre SyncsRR SyncdWR Time bcsdww032 109.53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww033.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww033 "SyncdRR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; sync | lwz r3,0(r4) ; li r3,1 | ; stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r3=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 7,0(9) Test bcsdww033 Allowed Histogram (3 states) 280591111:>1:r1=1; 1:r3=1; 308893930:>1:r1=0; 1:r3=0; 50514959:>1:r1=0; 1:r3=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r3=0) is NOT validated Hash=6fa2fc8a03a8948f9262ae5fd1e47a19 Cycle=SyncdRR Fre SyncdWW Rfe Relax bcsdww033 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww033 100.78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww034.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww034 "SyncdRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r4) | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 7,0(9) _litmus_P2_0_: li 10,1 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 6,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 7,0(9) Test bcsdww034 Allowed Histogram (15 states) 1174032:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 1206302:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 1278272:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 15973314:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 1240810:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 5262874:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 16482835:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 30023519:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 59830157:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 17099127:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 34618749:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 35848443:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 41563519:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 16931003:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 41467044:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=3dd9d4fff43138f32cd2819c7a65cdb3 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe Relax bcsdww034 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww034 128.16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww035.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww035 "SyncsRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r4) | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 6,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 7,0(9) _litmus_P2_0_: li 10,1 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 7,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) Test bcsdww035 Allowed Histogram (42 states) 3285 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 378020:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 267762:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 723167:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 351738:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 424377:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 2641204:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 293400:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 393592:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 1262891:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 319716:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 687179:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 903713:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 3070978:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 1701242:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 1668943:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 1739411:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 443470:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 2701119:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 4351996:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 6148682:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 897905:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 5906275:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 1620791:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 1038493:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 27800534:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 16494465:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 17418866:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 12811399:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 3155558:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 27850260:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 10739891:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 6735940:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 11512522:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 1307140:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 17298892:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 21615107:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 4291947:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 22831866:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 48965762:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 1997898:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 27232604:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=f0c1b6d32c1c64645b39ad490ac97524 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe Relax bcsdww035 No BCSyncdWW Safe=Fre SyncsRR SyncdRR Time bcsdww035 203.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww036.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww036 "DpdR Fre SyncsWR Fre SyncdWW Rfe" {0:r2=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 8,0(9) _litmus_P1_0_: li 8,2 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 5,0(11) _litmus_P2_1_: xor 10,5,5 _litmus_P2_2_: lwzx 6,10,9 Test bcsdww036 Allowed Histogram (13 states) 1956367:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 369911:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 3258333:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 7530133:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 119753:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 19464815:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 68066585:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 47634341:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 37374509:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 57656285:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 17811068:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 74316509:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 64441391:>0:r3=1; 2:r1=0; 2:r4=0; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=b5668ea36c70858ef8634a895265c398 Cycle=DpdR Fre SyncsWR Fre SyncdWW Rfe Relax bcsdww036 No BCSyncdWW Safe=Fre SyncsWR DpdR Time bcsdww036 100.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww037.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww037 "SyncdRR Fre SyncsWR Fre SyncdWW Rfe" {0:r2=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 8,0(9) _litmus_P1_0_: li 8,2 _litmus_P1_1_: stw 8,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 10,1 _litmus_P1_4_: stw 10,0(9) _litmus_P2_0_: lwz 6,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 7,0(9) Test bcsdww037 Allowed Histogram (13 states) 2367862:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 511941:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 77615 :>0:r3=2; 2:r1=0; 2:r3=1; x=2; 8881535:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 64237656:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 16842666:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 62223711:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 5080210:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 38106898:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 47605241:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 54977558:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 22763220:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 76323887:>0:r3=1; 2:r1=1; 2:r3=1; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=c99d291fc8d3f66519c556e43131cb0b Cycle=SyncdRR Fre SyncsWR Fre SyncdWW Rfe Relax bcsdww037 No BCSyncdWW Safe=Fre SyncsWR SyncdRR Time bcsdww037 98.01 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww038.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww038 "SyncsRR Fre SyncdWW Rfe SyncsRR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r2) | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r3=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 8,1 _litmus_P0_4_: stw 8,0(9) _litmus_P1_0_: lwz 7,0(9) _litmus_P1_1_: sync _litmus_P1_2_: lwz 11,0(9) _litmus_P2_0_: li 10,2 _litmus_P2_1_: stw 10,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 8,1 _litmus_P2_4_: stw 8,0(9) _litmus_P3_0_: lwz 7,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) Test bcsdww038 Allowed Histogram (108 states) 1446 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 2321 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 9537 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 2884 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 1446 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 4614 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 13821 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 5662 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 2393 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 4382 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 24216 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 80188 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 14484 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 13217 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 52915 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 60700 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 12073 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 82227 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 12740 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 57179 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 191516:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 38229 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 24230 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 43733 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 422280:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 378363:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 16611 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 372876:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 389035:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 60367 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 108178:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 523285:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 488381:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 420281:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 883235:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 107845:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 170005:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 522677:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 2750 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 484035:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 189823:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 500219:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 1670038:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 15850 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 167781:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 37923 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 364683:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 397992:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 79968 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 425836:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 2216673:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 2562618:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 42956 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 549599:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 402316:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 546574:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 194080:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 391608:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 83357 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 494913:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 2550009:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1510145:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 4255220:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 431978:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 1490093:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 613045:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 1330833:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 2562689:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 1655755:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 5580039:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 729737:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 362332:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 368675:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 714726:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 2451983:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 196106:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 369808:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 2237528:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 1319462:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 1065898:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 885548:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 5952055:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 2264793:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 2415897:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 2217265:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 20552083:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 5937383:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 2532937:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 4237129:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 20509895:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 5451122:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 1063970:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 2350575:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 3695294:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 3669397:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 19844916:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 20092290:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 22065633:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 22086098:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 32110904:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 8193903:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 5472599:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 8168614:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 3247658:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 3270453:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 2342204:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 19957859:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 20174301:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r3=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=1749371cc26417072606d04b91651c05 Cycle=SyncsRR Fre SyncdWW Rfe SyncsRR Fre SyncdWW Rfe Relax bcsdww038 No BCSyncdWW Safe=Fre SyncsRR Time bcsdww038 317.17 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 2000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 20000 #endif #ifndef N_EXE #define N_EXE (32 < N ? 1 : 32 / N) #endif /* gcc options: -Wall -std=gnu99 -O0 -pthread */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: true */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O0 -pthread" LITMUSOPTS= Sat Dec 26 15:15:56 GMT 2009