Mon Dec 28 10:19:47 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) 80818401:>1:r1=0; x=1; 312635752:>1:r1=0; x=2; 246545847:>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 79.77 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 629096:>1:r1=1; 3:r1=1; x=2; z=1; 650617:>1:r1=1; 3:r1=1; x=1; z=2; 1243115:>1:r1=0; 3:r1=1; x=2; z=2; 3101876:>1:r1=0; 3:r1=0; x=1; z=1; 1529237:>1:r1=1; 3:r1=0; x=2; z=2; 32326211:>1:r1=0; 3:r1=1; x=1; z=1; 42304946:>1:r1=0; 3:r1=0; x=1; z=2; 27485914:>1:r1=1; 3:r1=1; x=1; z=1; 14153252:>1:r1=0; 3:r1=1; x=2; z=1; 35042976:>1:r1=1; 3:r1=0; x=1; z=1; 70736533:>1:r1=0; 3:r1=0; x=2; z=2; 44474024:>1:r1=0; 3:r1=0; x=2; z=1; 16389092:>1:r1=1; 3:r1=0; x=2; z=1; 16231153:>1:r1=1; 3:r1=0; x=1; z=2; 13701958:>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=96b3ad5ef3552835e91cfb053b388e47 Cycle=DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww001 No BCSyncdWW Safe=Wse DpdW Time bcsdww001 89.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 5444407:>1:r1=0; 3:r1=0; x=1; z=1; 1165579:>1:r1=1; 3:r1=0; x=2; z=2; 741016:>1:r1=1; 3:r1=1; x=1; z=2; 629327:>1:r1=0; 3:r1=1; x=2; z=2; 258420:>1:r1=1; 3:r1=1; x=2; z=1; 8872278:>1:r1=0; 3:r1=1; x=2; z=1; 17598132:>1:r1=1; 3:r1=0; x=1; z=2; 46722277:>1:r1=0; 3:r1=0; x=2; z=1; 64617630:>1:r1=0; 3:r1=0; x=2; z=2; 41937683:>1:r1=1; 3:r1=0; x=1; z=1; 48054316:>1:r1=0; 3:r1=0; x=1; z=2; 32058736:>1:r1=0; 3:r1=1; x=1; z=1; 14245002:>1:r1=1; 3:r1=0; x=2; z=1; 24764212:>1:r1=1; 3:r1=1; x=1; z=1; 12890985:>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 87.26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 2518618:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 1073357:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 31155168:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 1895826:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 41736654:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 43938724:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 26955463:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 34206325:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 18376053:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 72270499:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 13709190:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 809419:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 13630172:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 685653:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 17038879:>1:r1=0; 3:r1=1; 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=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 91.95 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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; 11165 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 13582 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 20909 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 29042 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 62225 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 42845 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 32704 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 146548:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 5550 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 17051 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 6259 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 215627:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 72738 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 66574 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 4427 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 142566:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 598259:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 569607:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 32430 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 130270:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 1840548:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 327012:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 7680616:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 1046072:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 1052489:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 4430564:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 25692332:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 26171777:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 17785617:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 13269020:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 57800485:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 2083652:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 38930720:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 3768102:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 33482559:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 12206833:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 25386393:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 10276249:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 8837255:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 21607384:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 4103930:>1:r1=1; 3:r1=2; 3:r4=2; 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.52 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 596820:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 720588:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 4621765:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 15075827:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 1217243:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 1020526:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 46400893:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 45046973:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 14560536:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 36367565:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 14534140:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 13946741:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 67780677:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 25134785:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 32974921:>1:r1=0; 3:r1=1; 3:r3=1; 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=9d8e29c8c4e565bae4fdb78aec0db9b5 Cycle=SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww005 No BCSyncdWW Safe=Fre Wse SyncdRR DpdW Time bcsdww005 91.62 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 896 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 360955:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 293974:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 146110:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 2811150:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 493204:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 283626:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 1415245:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 449648:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 470027:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 1271378:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 381389:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 532265:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 1606159:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 1828691:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 161889:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 337300:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 1775378:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 907285:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 545438:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 3242284:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 6875228:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 698052:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 2642625:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 7916237:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 1862334:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 3341342:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 24397203:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 9103287:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 12758621:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 3856075:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 11460844:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 6106968:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 1621954:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 24040087:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 53454887:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 15535838:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 34745560:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 29630698:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 9253156:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 21097353:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 20287360:>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=62faf55c9e7916888e6ae088e9375bff Cycle=SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww006 No BCSyncdWW Safe=Fre Wse SyncsRR DpdW Time bcsdww006 96.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 35273989:>2:r1=0; x=2; y=2; 9315753:>2:r1=0; x=1; y=1; 22316020:>2:r1=1; x=2; y=1; 103177251:>2:r1=0; x=1; y=2; 122145037:>2:r1=0; x=2; y=1; 15529954:>2:r1=1; x=1; y=2; 92241996:>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.43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 10815463:>2:r1=1; x=1; y=2; 16947566:>2:r1=0; x=1; y=1; 27232746:>2:r1=0; x=2; y=2; 88331387:>2:r1=1; x=1; y=1; 115547661:>2:r1=0; x=1; y=2; 128283346:>2:r1=0; x=2; y=1; 12841831:>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=e6b1c1a0023ee13d1ea18feb286c6d13 Cycle=SyncdRW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww008 No BCSyncdWW Safe=Wse SyncdWW SyncdRW Time bcsdww008 77.16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 14613764:>2:r1=1; 2:r4=0; y=1; 11319389:>2:r1=0; 2:r4=1; y=1; 36086871:>2:r1=0; 2:r4=0; y=2; 106781788:>2:r1=0; 2:r4=1; y=2; 142115266:>2:r1=0; 2:r4=0; y=1; 80250955:>2:r1=1; 2:r4=1; y=1; 8831967:>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 74.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 612 :>2:r1=0; 2:r4=1; x=2; y=1; 95700 :>2:r1=0; 2:r4=1; x=1; y=1; 8877 :>2:r1=2; 2:r4=1; x=1; y=1; 17507 :>2:r1=1; 2:r4=2; x=1; y=2; 356388:>2:r1=2; 2:r4=1; x=2; y=1; 40844 :>2:r1=0; 2:r4=2; x=2; y=1; 27873046:>2:r1=1; 2:r4=1; x=1; y=1; 864111:>2:r1=0; 2:r4=1; x=1; y=2; 326660:>2:r1=0; 2:r4=2; x=1; y=2; 14729038:>2:r1=1; 2:r4=1; x=2; y=1; 61181 :>2:r1=0; 2:r4=2; x=1; y=1; 5095236:>2:r1=2; 2:r4=2; x=1; y=1; 47123850:>2:r1=2; 2:r4=2; x=1; y=2; 36312532:>2:r1=0; 2:r4=0; x=2; y=1; 58992673:>2:r1=0; 2:r4=0; x=1; y=1; 41860224:>2:r1=1; 2:r4=1; x=1; y=2; 98564607:>2:r1=2; 2:r4=2; x=2; y=1; 67676914:>2:r1=0; 2:r4=0; 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 77.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 9122116:>2:r1=1; 2:r3=1; y=2; 33160217:>2:r1=0; 2:r3=0; y=2; 84326770:>2:r1=1; 2:r3=1; y=1; 14093886:>2:r1=0; 2:r3=1; y=1; 134270582:>2:r1=0; 2:r3=0; y=1; 15013481:>2:r1=1; 2:r3=0; y=1; 110012948:>2:r1=0; 2:r3=1; 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 75.80 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 30672 :>2:r1=0; 2:r3=1; x=2; y=1; 3006172:>2:r1=0; 2:r3=2; x=2; y=1; 764859:>2:r1=0; 2:r3=2; x=1; y=1; 5041548:>2:r1=0; 2:r3=2; x=1; y=2; 781214:>2:r1=2; 2:r3=1; x=1; y=1; 906564:>2:r1=0; 2:r3=1; x=1; y=1; 2595772:>2:r1=1; 2:r3=2; x=1; y=2; 5367211:>2:r1=2; 2:r3=1; x=2; y=1; 14033052:>2:r1=1; 2:r3=1; x=2; y=1; 12894572:>2:r1=0; 2:r3=1; x=1; y=2; 33662631:>2:r1=0; 2:r3=0; x=2; y=1; 4620269:>2:r1=2; 2:r3=2; x=1; y=1; 44622270:>2:r1=2; 2:r3=2; x=1; y=2; 27517478:>2:r1=1; 2:r3=1; x=1; y=1; 58189992:>2:r1=0; 2:r3=0; x=1; y=1; 29058491:>2:r1=1; 2:r3=1; x=1; y=2; 94061148:>2:r1=2; 2:r3=2; x=2; y=1; 62846085:>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.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 126208257:>1:r1=0; x=1; 294186413:>1:r1=0; x=2; 219605330:>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 77.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 597887:>1:r1=1; 3:r1=0; x=2; z=2; 263144:>1:r1=1; 3:r1=1; x=2; z=1; 347923:>1:r1=1; 3:r1=1; x=1; z=2; 11425133:>1:r1=1; 3:r1=0; x=1; z=2; 12490597:>1:r1=1; 3:r1=0; x=2; z=1; 369358:>1:r1=0; 3:r1=1; x=2; z=2; 50790233:>1:r1=0; 3:r1=0; x=1; z=2; 9491826:>1:r1=0; 3:r1=0; x=1; z=1; 10549781:>1:r1=0; 3:r1=1; x=1; z=2; 21136871:>1:r1=1; 3:r1=1; x=1; z=1; 59971046:>1:r1=0; 3:r1=0; x=2; z=2; 38494919:>1:r1=0; 3:r1=1; x=1; z=1; 53320365:>1:r1=0; 3:r1=0; x=2; z=1; 41702513:>1:r1=1; 3:r1=0; x=1; z=1; 9048404:>1:r1=0; 3:r1=1; x=2; 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 92.87 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 346797:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 683385:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 854633:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 1305221:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 5448621:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 40601753:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 24191180:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 12950117:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 42968664:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 18762589:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 32057937:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 14062286:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 50455879:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 9466387:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 65844551:>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=17704085d61983610ea6761b47264366 Cycle=DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww015 No BCSyncdWW Safe=Fre Wse SyncdRW DpdR Time bcsdww015 91.21 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 8 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 11409 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 4271 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 5182 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 181382:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 16176 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 3013 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 35910 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 69253 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 153709:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 69258 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 95842 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 18616 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 21057 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 16392 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 55058 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 124761:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 33773 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 903741:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 2976597:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 10531128:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 40465 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 586180:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 282333:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 18047939:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 3100812:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 18348198:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 2674260:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 1367254:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 9450587:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 8673582:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 562195:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 15000652:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 27262918:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 53477524:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 36483208:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 27745301:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 36219480:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 11208679:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 2376492:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 4331782:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 27433623:>1:r1=1; 3:r1=2; 3:r4=2; 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 93.55 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 499945:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 584731:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 867734:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 15017792:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 9814519:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 363495:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 12920479:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 7065785:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 38889308:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 46344832:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 22698923:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 52390351:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 12365633:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 35468597:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 64707876:>1:r1=0; 3:r1=0; 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=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 92.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1015 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 305297:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 169717:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 560306:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 424470:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 566958:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 1503567:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 399207:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 516002:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 2911584:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 498274:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 803493:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 1727440:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 1963356:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 1125701:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 8444220:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 587980:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 1481097:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 274905:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 3399880:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 10282217:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 138390:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 5904633:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 9000709:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 216868:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 1970157:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 15687527:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 2756060:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 9424230:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 3283277:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 1839202:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 8516172:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 32886021:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 2771474:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 25545667:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 32337740:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 17175693:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 20934028:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 14324081:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 26364608:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 50058604:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 918173:>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=df82d53ff13c1c0132bc81937f5ecf56 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww018 No BCSyncdWW Safe=Fre Wse SyncsRR SyncdRW Time bcsdww018 93.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 240734073:>1:r1=1; 1:r4=1; 320160548:>1:r1=0; 1:r4=0; 79105379:>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 81.24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1369600:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 1203187:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 71146551:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 31179248:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 1672829:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 16815418:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 17665795:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 31309362:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 1651322:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 29925723:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 40176961:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 17658930:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 40144078:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 1207365:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 16873631:>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 91.44 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 26 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 22389 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 6165 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 5766 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 18260 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 6150 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 27168 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 23347 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 33904 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 35061 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 141678:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 25103 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 45397 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 60948 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 90196 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 199797:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 49558 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 456996:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 130629:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 1102908:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 78410 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 996827:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 1800186:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 3025165:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 558172:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 6360460:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 1690391:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 3670735:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 10404468:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 4767493:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 25181698:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 20638906:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 16195273:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 4376752:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 33067898:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 32039106:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 12868844:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 27299052:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 23988269:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 55249578:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 13010038:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 20250833:>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 94.77 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 4610308:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 737844:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 420656:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 1085012:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 31947846:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 36424057:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 13644548:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 22849928:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 15684274:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 14627536:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 45610742:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 12190494:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 1054770:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 47682114:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 71429871:>1:r1=0; 1:r4=0; 3:r1=0; 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 90.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 2088 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 446455:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 1279866:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 877788:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 260381:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 1344379:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 1460190:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 237921:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 315973:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 355570:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 437700:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 2372608:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 907375:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 750245:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 5811643:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 1795386:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 683536:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 193906:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 1690566:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 1385445:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 3509023:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 420368:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 12039201:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 965798:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 1232266:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 3382920:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 7626013:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 4547323:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 2602857:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 2748289:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 5199133:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 20333876:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 9997896:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 21797594:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 25788508:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 29190477:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 12119480:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 19702546:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 17583035:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 29000294:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 16179793:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 51424289:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 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 95.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 (103 states) 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 16 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 1 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 21 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 3 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 26 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 113 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 41 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 8 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 121 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 66 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 40 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 30 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 14 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 125 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 3 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 68 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 82 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 97 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 73 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 212 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 155 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 67 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 229 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 49 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 913 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 827 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 48 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 4200 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 61506 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 4103 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 16992 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 6115 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 49912 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 17622 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 3932 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 3325 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 51378 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 4128 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 7832 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 59960 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 3624 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 36560 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 18393 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 8119 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 7317 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 71104 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 12882 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 66098 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 51512 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 13105 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 36210 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 71838 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 56124 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 96914 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 60482 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 135425:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 25360 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 50375 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 14131 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 37112 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 32874 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 124914:>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 14780 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 53263 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 138797:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 745121:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 49848 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 37100 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 15107 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 192900:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 66283 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 477514:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 7791417:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 286780:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 131787:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 1745261:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 4389359:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 3139664:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 6445006:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 2763341:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 3834622:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 479075:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 4517318:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 402926:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 3245888:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 7620369:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 1773474:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 9648870:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 7540325:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 22403551:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 9689333:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 21862900:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 22386164:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 3919976:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 24075212:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 22359344:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; 24343356:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 27408294:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 27267482:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 36344410:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 6455329:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 2613527:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 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: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.18 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 55 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 44658 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 56504 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 15978 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 7007 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 91114 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 334695:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 49942 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 25052 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 213915:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 21074 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 168736:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 78990 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 8391 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 30206 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 103058:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 46420 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 153499:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 78250 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 612865:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 1495136:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 2604654:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 1255464:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 3059265:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 609361:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 11293503:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 627066:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 3796223:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 6887861:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 2209616:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 4832342:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 12659546:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 18552174:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 25694388:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 26200335:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 36547262:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 33576314:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 55461893:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 12386296:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 25599814:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 19863864:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 12647214:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 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 94.06 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 10 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 8 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 5 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 27 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 11 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 680 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 330 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 142 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 73 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 85 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 717 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 462 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 240 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 750 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 2744 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 2591 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 685 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 2429 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 4687 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 5015 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 405 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 637 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 16785 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 9383 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 1907 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 52299 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 265 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 1452 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 9746 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 1258 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 3402 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 44045 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 3017 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 1060 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 3446 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 10809 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 16317 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 45219 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 6155 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 112487:>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 38006 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 12093 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 10682 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 29880 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 674910:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 627356:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 26202 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 727999:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 433066:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 45315 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 529104:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 33828 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 1540367:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 34859 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 166704:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 77097 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 37884 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 6536 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 83615 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 556547:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 385379:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 305825:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 298999:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 131736:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 196957:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 118665:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 717888:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 457736:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 3406469:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 507762:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 1739720:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 623355:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 563350:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 2991094:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 5457577:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 2114930:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 2361608:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 2408339:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 790417:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 2076795:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 5951074:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 1275658:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 1359117:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 1591159:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 3699241:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 1230022:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 2758548:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 7369887:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 6825184:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 20457894:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 33723853:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 24414707:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 5176407:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 21130992:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; 6421 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 21897471:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 3212534:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 21828801:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 6183705:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 25368061:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 3821588:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 24757321:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 9041047:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 19694231:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 9289484:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 689490:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 3537666:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; 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 111.94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 5482040:>0:r3=1; 2:r1=0; x=1; 82837836:>0:r3=1; 2:r1=1; x=1; 22957316:>0:r3=0; 2:r1=1; x=1; 55516935:>0:r3=0; 2:r1=0; x=2; 108601605:>0:r3=0; 2:r1=0; x=1; 21630664:>0:r3=1; 2:r1=1; x=2; 102973604:>0:r3=1; 2:r1=0; 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 71.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 15354025:>0:r3=0; 2:r1=1; x=1; 11697010:>0:r3=1; 2:r1=0; x=1; 40851207:>0:r3=0; 2:r1=0; x=2; 12472948:>0:r3=1; 2:r1=1; x=2; 127625349:>0:r3=0; 2:r1=0; x=1; 113322970:>0:r3=1; 2:r1=0; x=2; 78676491:>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.60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 4522155:>0:r3=1; 2:r1=0; 2:r4=1; 23627916:>0:r3=1; 2:r1=1; 2:r4=0; 20276385:>0:r3=0; 2:r1=1; 2:r4=1; 77506416:>0:r3=1; 2:r1=1; 2:r4=1; 110014778:>0:r3=1; 2:r1=0; 2:r4=0; 110653453:>0:r3=0; 2:r1=0; 2:r4=1; 53398897:>0:r3=0; 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 74.60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 2775 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 1515 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 113548:>0:r3=0; 2:r1=0; 2:r4=2; y=1; 481360:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 363860:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 59722 :>0:r3=1; 2:r1=0; 2:r4=2; y=1; 742151:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 81781 :>0:r3=1; 2:r1=0; 2:r4=1; y=1; 15643 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 2559483:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 15695410:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 41447227:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 54938183:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 105118684:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 69627483:>0:r3=1; 2:r1=0; 2:r4=0; y=2; 38490634:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 24365954:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 45894587:>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 80.80 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 7160753:>0:r3=1; 2:r1=0; 2:r3=1; 52317622:>0:r3=0; 2:r1=0; 2:r3=0; 16452582:>0:r3=0; 2:r1=1; 2:r3=1; 16578913:>0:r3=1; 2:r1=1; 2:r3=0; 116365900:>0:r3=0; 2:r1=0; 2:r3=1; 115403313:>0:r3=1; 2:r1=0; 2:r3=0; 75720917:>0:r3=1; 2:r1=1; 2:r3=1; 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 76.60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 57085 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 347722:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 2123600:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 5356168:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 2262284:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 11181290:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 330176:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 663721:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 3951789:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 30316057:>0:r3=1; 2:r1=1; 2:r3=1; y=2; 66789525:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 21656291:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 2775414:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 43298945:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 38411228:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 13949812:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 103172190:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 53356703:>0:r3=0; 2:r1=0; 2:r3=0; 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 80.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 106203830:>1:r1=0; 1:r3=1; 309080170:>1:r1=0; 1:r3=0; 224716000:>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 74.45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 797114:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 611337:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 13060152:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 433307:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 6345944:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 500828:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 50476908:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 48825425:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 11232207:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 35438913:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 13350120:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 34602982:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 20656056:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 12392657:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 71276050:>1:r1=0; 1:r3=0; 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 91.94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1317 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 373782:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 183331:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 237851:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 379143:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 2750881:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 535662:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 1174174:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 528390:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 501298:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 1881187:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 2329292:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 290916:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 2084359:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 980215:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 414646:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 256850:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 697740:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 3720236:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 914840:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 1318410:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 29459230:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 2101800:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 506574:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 5696205:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 12685184:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 1424639:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 24916401:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 33710311:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 6906996:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 7583266:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 12095279:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 52316899:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 15613322:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 3214254:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 1896842:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 3177766:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 24361350:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 9625090:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 11509256:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 19569388:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 20075428:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 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 95.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_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) 2107939:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 158726:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 1419944:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 46817127:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 67667131:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 52427657:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 8548044:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 7315104:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 13384962:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 58493512:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 65156326:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 10626805:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 65876723:>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 74.80 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1936286:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 1077686:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 8686638:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 121077:>0:r3=2; 2:r1=0; 2:r3=1; x=2; 7620785:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 14176399:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 41851600:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 14865102:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 62823747:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 54922893:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 70428497:>0:r3=1; 2:r1=1; 2:r3=1; x=1; 57515336:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 63973954:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 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 77.08 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 928 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 385 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 387 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 1593 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 1976 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 3166 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 10449 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 2351 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 17816 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 8161 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 25501 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 75376 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 1841 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 80155 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 35026 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 47610 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 8182 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 23036 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 23099 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 80119 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 181073:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 1204 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 55162 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 35121 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 25837 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 10130 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 59534 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 107235:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 11221 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 114779:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 81925 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 663459:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 16631 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 184122:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 592223:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 117139:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 566581:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 118401:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 116353:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 480243:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 6880 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 1244797:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 499243:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 595177:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 1188243:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 631441:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 756290:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 239802:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 1188922:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 608024:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 126540:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 154667:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 1278105:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 567063:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 400988:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 2061487:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 1176665:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 1899775:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 195129:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 751861:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 455549:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 610740:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 3050991:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 497025:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 288643:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 290114:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 798385:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 1998680:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 1273594:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 403993:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 3039617:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 1134586:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 623816:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 1725766:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 433252:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 5779235:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 8587181:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 2153733:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 2091840:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 2074474:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 466883:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 20360687:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 3329438:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 710609:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 3364087:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 3418131:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 4262613:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 1172985:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 4180755:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 3261909:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 8562331:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 471304:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 2136607:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 6411450:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 414566:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 1075472:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 6123616:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 20199812:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 6128517:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 6281328:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 33317510:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 22754946:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 19583423:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 23364168:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 20467053:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; 19966439:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 19127268:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 2218250:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 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 110.79 $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= Mon Dec 28 11:16:05 GMT 2009