Thu Dec 24 09:56:32 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_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww000 Allowed Histogram (3 states) 80639290:>1:r1=0; x=1; 312601232:>1:r1=0; x=2; 246759478:>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 81.52 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 3,0(11) _litmus_P3_1_: xor 31,3,3 _litmus_P3_2_: li 10,1 _litmus_P3_3_: stwx 10,31,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww001 Allowed Histogram (15 states) 659024:>1:r1=1; 3:r1=1; x=1; z=2; 1503571:>1:r1=1; 3:r1=0; x=2; z=2; 1216985:>1:r1=0; 3:r1=1; x=2; z=2; 32022674:>1:r1=0; 3:r1=1; x=1; z=1; 44188445:>1:r1=0; 3:r1=0; x=2; z=1; 2818313:>1:r1=0; 3:r1=0; x=1; z=1; 34755216:>1:r1=1; 3:r1=0; x=1; z=1; 13794498:>1:r1=0; 3:r1=1; x=1; z=2; 14342594:>1:r1=0; 3:r1=1; x=2; z=1; 16624582:>1:r1=1; 3:r1=0; x=2; z=1; 28088440:>1:r1=1; 3:r1=1; x=1; z=1; 16407671:>1:r1=1; 3:r1=0; x=1; z=2; 635010:>1:r1=1; 3:r1=1; x=2; z=1; 42075115:>1:r1=0; 3:r1=0; x=1; z=2; 70867862:>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=96b3ad5ef3552835e91cfb053b388e47 Cycle=DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww001 No BCSyncdWW Safe=Wse DpdW Time bcsdww001 90.82 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 4,1 _litmus_P3_3_: stw 4,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww002 Allowed Histogram (15 states) 241893:>1:r1=1; 3:r1=1; x=2; z=1; 674365:>1:r1=1; 3:r1=1; x=1; z=2; 1121633:>1:r1=1; 3:r1=0; x=2; z=2; 6130538:>1:r1=0; 3:r1=0; x=1; z=1; 16942661:>1:r1=1; 3:r1=0; x=1; z=2; 23935929:>1:r1=1; 3:r1=1; x=1; z=1; 63719980:>1:r1=0; 3:r1=0; x=2; z=2; 13740424:>1:r1=1; 3:r1=0; x=2; z=1; 32734921:>1:r1=0; 3:r1=1; x=1; z=1; 42590835:>1:r1=1; 3:r1=0; x=1; z=1; 629395:>1:r1=0; 3:r1=1; x=2; z=2; 8557843:>1:r1=0; 3:r1=1; x=2; z=1; 47274199:>1:r1=0; 3:r1=0; x=2; z=1; 49088259:>1:r1=0; 3:r1=0; x=1; z=2; 12617125:>1:r1=0; 3:r1=1; 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=af33a9d4f6f79386d356cbbdb0662698 Cycle=SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww002 No BCSyncdWW Safe=Wse SyncdRW DpdW Time bcsdww002 89.39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 30,0(11) _litmus_P3_1_: xor 10,30,30 _litmus_P3_2_: lwzx 31,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww003 Allowed Histogram (15 states) 694235:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 13815964:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 2408100:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 41678514:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 1047129:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 828371:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 27149030:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 34101964:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 17146237:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 18607982:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 1874797:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 43728033:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 13649748:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 30844790:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 72425106:>1:r1=0; 3:r1=0; 3:r4=0; 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=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 89.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 4,0(9) _litmus_P3_1_: xor 10,4,4 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 31,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,31,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww004 Allowed Histogram (42 states) 13 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 3134 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 12625 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 17737 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 10513 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 39131 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 12301 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 4322 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 186659:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 18838 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 27025 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 33105 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 58621 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 98678 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 122244:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 59051 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 142779:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 989846:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 550718:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 4218540:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 29966 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 1768910:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 569012:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 2119532:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 336196:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 7336958:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 22025814:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 17986096:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 4336968:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 26128833:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 11948842:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 13446445:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 3722467:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 25643786:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 10186053:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 9107356:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 130937:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 33264003:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 57678310:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 25549534:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 38986630:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 1091472:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 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 92.31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww005 Allowed Histogram (15 states) 4765884:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 1206732:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 588851:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 1013654:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 36513355:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 24917806:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 46705827:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 67758057:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 13784784:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 14227098:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 45232230:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 33164599:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 14523372:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 710025:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 14887726:>1:r1=0; 3:r1=1; 3:r3=1; 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 90.39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 31,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,31,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww006 Allowed Histogram (42 states) 730 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 516985:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 331953:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 488776:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 1557916:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 289431:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 138912:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 150605:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 544317:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 1878894:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 522773:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 292479:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 6277295:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 3242577:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 482334:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 3173500:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 377283:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 8210067:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 1683725:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 2663904:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 961180:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 7432470:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 3948986:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 2953056:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 1631167:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 414218:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 8929296:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 2025092:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 15373050:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 24143950:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 1751854:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 1378195:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 11840140:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 19659762:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 20389754:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 24547517:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 12332051:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 29453947:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 53731292:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 8545458:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 35080358:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 652751:>1:r1=1; 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=62faf55c9e7916888e6ae088e9375bff Cycle=SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww006 No BCSyncdWW Safe=Fre Wse SyncsRR DpdW Time bcsdww006 93.79 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(11) _litmus_P2_1_: xor 31,3,3 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,31,9 _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww007 Allowed Histogram (7 states) 35373485:>2:r1=0; x=2; y=2; 15549430:>2:r1=1; x=1; y=2; 9420364:>2:r1=0; x=1; y=1; 22371038:>2:r1=1; x=2; y=1; 103096328:>2:r1=0; x=1; y=2; 121974721:>2:r1=0; x=2; y=1; 92214634:>2:r1=1; x=1; 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 74.50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww008 Allowed Histogram (7 states) 26371259:>2:r1=0; x=2; y=2; 12363754:>2:r1=1; x=2; y=1; 115398530:>2:r1=0; x=1; y=2; 20824703:>2:r1=0; x=1; y=1; 127678893:>2:r1=0; x=2; y=1; 87053548:>2:r1=1; x=1; y=1; 10309313:>2:r1=1; x=1; y=2; 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 72.23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 30,0(11) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 31,10,9 _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww009 Allowed Histogram (7 states) 35213292:>2:r1=0; 2:r4=0; y=2; 11818297:>2:r1=0; 2:r4=1; y=1; 8807695:>2:r1=1; 2:r4=1; y=2; 79877941:>2:r1=1; 2:r4=1; y=1; 107118595:>2:r1=0; 2:r4=1; y=2; 142524957:>2:r1=0; 2:r4=0; y=1; 14639223:>2:r1=1; 2:r4=0; y=1; 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 75.39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(9) _litmus_P2_1_: xor 10,3,3 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww010 Allowed Histogram (18 states) 557 :>2:r1=0; 2:r4=1; x=2; y=1; 7769 :>2:r1=2; 2:r4=1; x=1; y=1; 351978:>2:r1=2; 2:r4=1; x=2; y=1; 15341 :>2:r1=1; 2:r4=2; x=1; y=2; 38718 :>2:r1=0; 2:r4=2; x=2; y=1; 92123 :>2:r1=0; 2:r4=1; x=1; y=1; 303533:>2:r1=0; 2:r4=2; x=1; y=2; 866463:>2:r1=0; 2:r4=1; x=1; y=2; 53438 :>2:r1=0; 2:r4=2; x=1; y=1; 47410979:>2:r1=2; 2:r4=2; x=1; y=2; 14970073:>2:r1=1; 2:r4=1; x=2; y=1; 4715196:>2:r1=2; 2:r4=2; x=1; y=1; 42079207:>2:r1=1; 2:r4=1; x=1; y=2; 57934597:>2:r1=0; 2:r4=0; x=1; y=1; 27722787:>2:r1=1; 2:r4=1; x=1; y=1; 67904913:>2:r1=0; 2:r4=0; x=1; y=2; 36662960:>2:r1=0; 2:r4=0; x=2; y=1; 98869368:>2:r1=2; 2:r4=2; x=2; y=1; 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 77.41 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww011 Allowed Histogram (7 states) 13976177:>2:r1=0; 2:r3=1; y=1; 9487297:>2:r1=1; 2:r3=1; y=2; 34161994:>2:r1=0; 2:r3=0; y=2; 15205508:>2:r1=1; 2:r3=0; y=1; 84240759:>2:r1=1; 2:r3=1; y=1; 109302101:>2:r1=0; 2:r3=1; y=2; 133626164:>2:r1=0; 2:r3=0; y=1; 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 74.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 4,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww012 Allowed Histogram (18 states) 525147:>2:r1=0; 2:r3=2; x=1; y=1; 679779:>2:r1=0; 2:r3=1; x=1; y=1; 2221697:>2:r1=1; 2:r3=2; x=1; y=2; 2156007:>2:r1=0; 2:r3=2; x=2; y=1; 576023:>2:r1=2; 2:r3=1; x=1; y=1; 3980894:>2:r1=0; 2:r3=2; x=1; y=2; 28557 :>2:r1=0; 2:r3=1; x=2; y=1; 13081421:>2:r1=1; 2:r3=1; x=2; y=1; 11579229:>2:r1=0; 2:r3=1; x=1; y=2; 4521204:>2:r1=2; 2:r3=1; x=2; y=1; 27967528:>2:r1=1; 2:r3=1; x=1; y=1; 4714820:>2:r1=2; 2:r3=2; x=1; y=1; 56356589:>2:r1=0; 2:r3=0; x=1; y=1; 44206973:>2:r1=2; 2:r3=2; x=1; y=2; 35088732:>2:r1=0; 2:r3=0; x=2; y=1; 95806156:>2:r1=2; 2:r3=2; x=2; y=1; 30187159:>2:r1=1; 2:r3=1; x=1; y=2; 66322085:>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 77.57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww013 Allowed Histogram (3 states) 124009237:>1:r1=0; x=1; 294814241:>1:r1=0; x=2; 221176522:>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 73.60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 4,1 _litmus_P3_3_: stw 4,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww014 Allowed Histogram (15 states) 573434:>1:r1=1; 3:r1=0; x=2; z=2; 10941134:>1:r1=0; 3:r1=0; x=1; z=1; 347234:>1:r1=0; 3:r1=1; x=2; z=2; 324494:>1:r1=1; 3:r1=1; x=1; z=2; 237484:>1:r1=1; 3:r1=1; x=2; z=1; 9994509:>1:r1=0; 3:r1=1; x=1; z=2; 39014323:>1:r1=0; 3:r1=1; x=1; z=1; 8621897:>1:r1=0; 3:r1=1; x=2; z=1; 54146563:>1:r1=0; 3:r1=0; x=2; z=1; 20099860:>1:r1=1; 3:r1=1; x=1; z=1; 42503847:>1:r1=1; 3:r1=0; x=1; z=1; 51727849:>1:r1=0; 3:r1=0; x=1; z=2; 11885968:>1:r1=1; 3:r1=0; x=2; z=1; 11070794:>1:r1=1; 3:r1=0; x=1; z=2; 58510610:>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=ee6d6ba63625d467fac397c863618ff2 Cycle=SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww014 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww014 90.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 30,0(11) _litmus_P3_1_: xor 10,30,30 _litmus_P3_2_: lwzx 31,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww015 Allowed Histogram (15 states) 684178:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 1283985:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 5522179:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 342160:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 13896918:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 32144587:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 832426:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 51028757:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 18538779:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 23899567:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 65655075:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 40912659:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 9296550:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 43246415:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 12715765:>1:r1=1; 3:r1=0; 3:r4=0; 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=17704085d61983610ea6761b47264366 Cycle=DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww015 No BCSyncdWW Safe=Fre Wse SyncdRW DpdR Time bcsdww015 91.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 4,0(9) _litmus_P3_1_: xor 10,4,4 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww016 Allowed Histogram (42 states) 11 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 11442 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 3143 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 2334 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 13582 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 169863:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 13565 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 4039 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 20849 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 40481 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 129142:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 92347 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 104047:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 47131 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 52862 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 32225 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 31169 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 59734 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 19441 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 786585:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 10537937:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 294783:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 3155312:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 1397387:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 9062273:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 4441343:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 27528141:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 8987705:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 2789522:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 571384:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 2422827:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 27565299:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 491863:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 14591821:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 11206618:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 53957563:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 36287806:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 18221332:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 27389007:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 36295299:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 2743930:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 18426856:>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=afd72f686b99433de47ab6d5cad91134 Cycle=DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww016 No BCSyncdWW Safe=Fre Wse SyncdRW DpsR Time bcsdww016 95.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww017 Allowed Histogram (15 states) 339941:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 9524887:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 495124:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 547837:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 840735:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 14499838:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 39528879:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 12179729:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 36181744:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 12550388:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 7740412:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 53274605:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 21930823:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 63553614:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 46811444:>1:r1=0; 3:r1=0; 3:r3=1; 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=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 93.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww018 Allowed Histogram (42 states) 990 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 390481:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 191792:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 130361:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 270589:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 172505:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 416589:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 1626331:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 2933932:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 558838:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 576741:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 519950:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 1413010:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 1901562:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 499379:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 1101253:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 304154:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 1512987:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 525399:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 9004336:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 2710764:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 8176846:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 927270:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 2699045:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 3387585:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 766879:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 5885252:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 3320278:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 10455973:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 1806734:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 8583944:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 1957689:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 17549837:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 25384743:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 9347266:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 21103587:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 50382066:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 15889522:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 32905110:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 14247844:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 32176466:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 26284121:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 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 95.92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 31,10,9 _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww019 Allowed Histogram (3 states) 78541483:>1:r1=0; 1:r4=1; 241308404:>1:r1=1; 1:r4=1; 320150113:>1:r1=0; 1:r4=0; 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 84.71 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 30,0(11) _litmus_P3_1_: xor 10,30,30 _litmus_P3_2_: lwzx 31,10,9 _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 31,10,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww020 Allowed Histogram (15 states) 1193072:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 1196840:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 1665387:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 1673734:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 17635430:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 1476894:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 17449026:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 16998707:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 40432320:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 31022564:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 16933690:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 31233995:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 30028396:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 71065863:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 39994082:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 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 92.11 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 4,0(9) _litmus_P3_1_: xor 10,4,4 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: xor 10,30,30 _litmus_P1_2_: lwzx 31,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww021 Allowed Histogram (42 states) 16 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 3902 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 6007 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 4709 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 81332 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 36140 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 15249 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 29842 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 148485:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 60515 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 26496 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 24776 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 45834 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 77703 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 137896:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 47937 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 20481 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 1674297:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 1081664:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 16220895:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 432428:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 915181:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 198165:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 541550:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 20942 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 4360291:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 27258858:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 6391600:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 1805934:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 32020253:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 4697237:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 55111647:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 23980859:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 32986916:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 10300886:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 13033167:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 20660387:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 3035435:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 25361155:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 3656851:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 13044176:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 20441906:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 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 95.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 31,10,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww022 Allowed Histogram (15 states) 791892:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 432658:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 12468179:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 4233820:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 1031123:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 16131107:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 45496099:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 31664397:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 14521959:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 13705716:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 46980873:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 23332573:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 36050653:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 72150896:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 1008055:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 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 91.60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: xor 10,30,30 _litmus_P1_2_: lwzx 31,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww023 Allowed Histogram (42 states) 1972 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 289205:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 439145:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 183462:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 238963:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 693440:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 307188:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 1279607:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 361555:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 439495:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 1837845:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 4655778:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 713437:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 905403:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 1424114:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 440746:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 902898:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 1771163:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 3450848:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 959465:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 1213522:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 2591428:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 5213188:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 2705203:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 1380875:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 9898013:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 2425012:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 21798391:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 5821909:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 1375389:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 17497003:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 20181260:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 3488659:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 11935541:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 12139838:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 25848711:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 7497582:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 29277488:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 51612331:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 16104315:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 29220367:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 19478246:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 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 94.01 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 4,0(9) _litmus_P3_1_: xor 10,4,4 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww024 Allowed Histogram (102 states) 1 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 38 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 16 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 8 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 55 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 93 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 75 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 88 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 58 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 16 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 64 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 111 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 68 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 38 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 23 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 17 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 31 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 223 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 110 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 953 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 190 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 4396 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 153 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 955 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 5346 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 6 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 3592 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 5367 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 51199 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 5349 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 71 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 14627 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 86045 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 5469 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 15357 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 62105 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 8133 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 16501 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 13669 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 249 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 52811 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 50028 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 73212 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 61936 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 36644 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 18011 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 52507 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 128120:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 48531 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 38291 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 56517 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 7287 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 51523 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 14015 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 76129 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 33406 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 8179 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 8319 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 128323:>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 95163 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 21150 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 136283:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 13416 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 38574 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 145201:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 24474 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 214679:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 36011 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 66980 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 283961:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 4500954:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 3895225:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 407634:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 69609 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 496226:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 3187979:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 496481:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 3803876:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 9502816:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 22540427:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 800195:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 4402672:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 1730223:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 7837124:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 2591183:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 24073658:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 7948977:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 6346309:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 1734177:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 6341773:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 22018353:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; 3063928:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 2726636:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 9479413:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 22461394:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 21780374:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 27428695:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 36663946:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 27351217:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 24286255:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 7711724:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 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 107.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 4,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww025 Allowed Histogram (42 states) 67 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 8282 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 55544 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 24987 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 15949 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 6939 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 45861 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 76485 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 80145 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 164493:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 29110 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 103083:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 88453 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 21150 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 223404:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 51513 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 347114:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 160224:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 611672:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 604694:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 46640 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 623952:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 1253529:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 2630569:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 11278758:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 12704423:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 1486295:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 6967937:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 3088167:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 2199149:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 3854263:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 12490837:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 25646892:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 12260481:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 19738477:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 33894833:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 18360681:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 36682245:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 25523126:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 26366417:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 55338065:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 4845095:>1:r1=2; 1:r4=2; 3:r1=1; 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 92.87 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww026 Allowed Histogram (108 states) 4 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 13 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 1 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 5 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 7 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 98 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 700 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 330 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 142 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 649 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 56 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 462 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 35 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 312 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 1053 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 215 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 241 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 718 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 661 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 10304 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 44451 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 59739 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 3000 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 1057 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 29856 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 3722 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 7021 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 2287 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 3290 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 13301 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 1580 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 8089 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 2430 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 681 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 5409 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 5964 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 3631 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 5209 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 3119 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 10977 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 929 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 11177 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 40921 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 165005:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 194374:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 11516 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 37255 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 316055:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 104426:>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 300151:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 72951 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 34965 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 592942:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 44098 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 129076:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 30702 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 415953:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 610751:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 370043:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 486533:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 121110:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 1758562:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 73972 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 36213 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 506279:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 703184:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 3362919:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 15246 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 1523789:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 1256203:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 687992:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 2716030:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 597674:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 816672:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 36807 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 9099209:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 561619:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 5466486:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 2063797:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 2069272:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 3278656:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 686120:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 1346675:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 602165:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 7471895:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 5950772:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 457202:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 20634169:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 8861841:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 5166222:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 1610013:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 1266110:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 3527081:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 21767075:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 2314480:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 6342302:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 2967467:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 3566450:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 24557210:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 6599489:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 21054532:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; 34254334:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 19860733:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 25240274:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 24710070:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 21938207:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 2375433:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 3919346:>1:r1=2; 1:r4=2; 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: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 106.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(11) _litmus_P2_1_: xor 31,3,3 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,31,9 _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 31,2 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww027 Allowed Histogram (7 states) 23046098:>0:r3=0; 2:r1=1; x=1; 5569477:>0:r3=1; 2:r1=0; x=1; 55915524:>0:r3=0; 2:r1=0; x=2; 82626508:>0:r3=1; 2:r1=1; x=1; 108539924:>0:r3=0; 2:r1=0; x=1; 102391772:>0:r3=1; 2:r1=0; x=2; 21910697:>0:r3=1; 2:r1=1; x=2; 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 75.50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 31,2 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww028 Allowed Histogram (7 states) 11965903:>0:r3=1; 2:r1=0; x=1; 12207611:>0:r3=1; 2:r1=1; x=2; 15733309:>0:r3=0; 2:r1=1; x=1; 40839550:>0:r3=0; 2:r1=0; x=2; 127346531:>0:r3=0; 2:r1=0; x=1; 113572764:>0:r3=1; 2:r1=0; x=2; 78334332:>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 74.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 30,0(11) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 31,10,9 _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww029 Allowed Histogram (7 states) 4737893:>0:r3=1; 2:r1=0; 2:r4=1; 20035925:>0:r3=0; 2:r1=1; 2:r4=1; 53244845:>0:r3=0; 2:r1=0; 2:r4=0; 22996946:>0:r3=1; 2:r1=1; 2:r4=0; 110397887:>0:r3=1; 2:r1=0; 2:r4=0; 77635085:>0:r3=1; 2:r1=1; 2:r4=1; 110951419:>0:r3=0; 2:r1=0; 2:r4=1; 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 75.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(9) _litmus_P2_1_: xor 10,3,3 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww030 Allowed Histogram (18 states) 1566 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 2929 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 16645 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 115316:>0:r3=0; 2:r1=0; 2:r4=2; y=1; 478683:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 59996 :>0:r3=1; 2:r1=0; 2:r4=2; y=1; 2685391:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 85795 :>0:r3=1; 2:r1=0; 2:r4=1; y=1; 410866:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 748732:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 15385128:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 46266623:>0:r3=1; 2:r1=2; 2:r4=2; y=2; 23559016:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 41841810:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 40125967:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 68009229:>0:r3=1; 2:r1=0; 2:r4=0; y=2; 54474834:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 105731474:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 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 78.66 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww031 Allowed Histogram (7 states) 16581824:>0:r3=0; 2:r1=1; 2:r3=1; 7609467:>0:r3=1; 2:r1=0; 2:r3=1; 51290660:>0:r3=0; 2:r1=0; 2:r3=0; 75688481:>0:r3=1; 2:r1=1; 2:r3=1; 116196589:>0:r3=0; 2:r1=0; 2:r3=1; 115810847:>0:r3=1; 2:r1=0; 2:r3=0; 16822132:>0:r3=1; 2:r1=1; 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 74.58 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 4,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww032 Allowed Histogram (18 states) 52931 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 322742:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 2250260:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 643337:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 328061:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 2451028:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 5566274:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 2784556:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 11271856:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 14573256:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 4001918:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 30104047:>0:r3=1; 2:r1=1; 2:r3=1; y=2; 43616907:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 21459688:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 39535839:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 66301667:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 52007332:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 102728301:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 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 75.41 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 4,0(9) _litmus_P0_0_: li 6,1 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww033 Allowed Histogram (3 states) 108306236:>1:r1=0; 1:r3=1; 308317098:>1:r1=0; 1:r3=0; 223376666:>1:r1=1; 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 72.96 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 4,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww034 Allowed Histogram (15 states) 486165:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 601976:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 12160679:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 20181518:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 11181800:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 6906060:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 50741467:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 35866158:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 34871794:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 795345:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 70434877:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 12985330:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 49272839:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 417483:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 13096509:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 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 89.86 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww035 Allowed Histogram (42 states) 1220 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 241580:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 216408:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 1382220:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 179001:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 450408:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 1290610:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 290600:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 527586:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 480519:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 675961:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 2016492:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 3107508:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 941407:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 539933:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 9429234:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 2038712:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 3310552:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 455444:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 409233:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 1911291:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 12838393:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 2861638:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 1864160:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 1447370:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 498926:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 7923784:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 11265755:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 885496:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 5881668:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 7127057:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 24230115:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 19854941:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 51843225:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 12190541:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 2321366:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 33780513:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 29572407:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 3620937:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 15793187:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 24778847:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 19523755:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 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 94.79 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 30,0(11) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 31,10,9 _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test bcsdww036 Allowed Histogram (13 states) 1978238:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 1379689:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 160971:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 65067055:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 8298214:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 6875372:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 65997206:>0:r3=1; 2:r1=0; 2:r4=0; x=1; 46806528:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 52611981:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 67824610:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 58901050:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 13375390:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 10723696:>0:r3=1; 2:r1=1; 2:r4=2; 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 74.62 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test bcsdww037 Allowed Histogram (13 states) 131574:>0:r3=2; 2:r1=0; 2:r3=1; x=2; 2882123:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 10569487:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 10625951:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 1602302:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 64882638:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 14301025:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 53708540:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 54801187:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 42426721:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 60884843:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 13436684:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 69746925:>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 74.10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _litmus_P1_2_: lwz 11,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww038 Allowed Histogram (108 states) 2118 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 2028 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 1008 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 395 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 434 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 1206 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 10809 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 116963:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 3573 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 8520 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 2398 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 8330 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 10928 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 78533 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 10938 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 28061 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 34508 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 7258 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 16790 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 22500 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 16968 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 26379 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 201407:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 1709 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 733597:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 23376 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 51485 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 214507:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 34825 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 609644:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 577331:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 85133 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 151333:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 674835:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 61312 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 79218 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 612547:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 62103 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 1109849:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 121819:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 589437:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 531631:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 613750:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 758233:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 113384:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 121959:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 1323500:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 290113:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 162495:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 1116128:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 477219:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 695914:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 395908:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 427778:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 195339:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 122146:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 397548:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 1304143:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 2895037:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 292705:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 723916:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 1272465:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 521572:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 1189202:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 127229:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 678338:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 541391:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 401307:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 2059584:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 437755:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 458362:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 2105487:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 2065469:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 8763389:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 8729978:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 1077020:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 497905:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 1979878:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 2144271:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 3466255:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 2154256:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 80641 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 2039842:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 3179355:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 2891167:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 5821180:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 4144020:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 6435483:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 3565266:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 6287537:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 1146809:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 20322707:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 1186293:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 2136394:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 751276:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 5984710:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 22538261:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 4207678:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 3289978:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 1724214:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 20850690:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; 19268506:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 32639917:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 6198412:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 19938538:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 19710191:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 23104164:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 20520700:>1:r1=0; 1:r3=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: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 108.87 $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 -O -pthread */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: false */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS= Thu Dec 24 10:52:29 GMT 2009