Mon Dec 28 13:13:42 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) 103892352:>1:r1=1; x=1; 157305471:>1:r1=0; x=2; 58802177:>1:r1=0; x=1; No Witnesses Positive: 0, Negative: 320000000 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 35.03 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 442591:>1:r1=0; 3:r1=1; x=2; z=2; 372175:>1:r1=1; 3:r1=0; x=2; z=2; 109508:>1:r1=1; 3:r1=1; x=1; z=2; 117681:>1:r1=1; 3:r1=1; x=2; z=1; 4783346:>1:r1=0; 3:r1=1; x=2; z=1; 4820832:>1:r1=1; 3:r1=0; x=1; z=2; 9461962:>1:r1=1; 3:r1=1; x=1; z=1; 7564650:>1:r1=0; 3:r1=1; x=1; z=2; 18611529:>1:r1=0; 3:r1=1; x=1; z=1; 25826105:>1:r1=0; 3:r1=0; x=2; z=2; 26997944:>1:r1=0; 3:r1=0; x=2; z=1; 25083459:>1:r1=0; 3:r1=0; x=1; z=2; 8415656:>1:r1=0; 3:r1=0; x=1; z=1; 7860142:>1:r1=1; 3:r1=0; x=2; z=1; 19532420:>1:r1=1; 3:r1=0; x=1; z=1; No Witnesses Positive: 0, Negative: 160000000 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 73.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 74004 :>1:r1=1; 3:r1=1; x=2; z=1; 130213:>1:r1=1; 3:r1=1; x=1; z=2; 280345:>1:r1=1; 3:r1=0; x=2; z=2; 231954:>1:r1=0; 3:r1=1; x=2; z=2; 5766377:>1:r1=1; 3:r1=0; x=1; z=2; 7882674:>1:r1=1; 3:r1=1; x=1; z=1; 3312510:>1:r1=0; 3:r1=1; x=2; z=1; 6586723:>1:r1=0; 3:r1=1; x=1; z=2; 6548667:>1:r1=1; 3:r1=0; x=2; z=1; 28074056:>1:r1=0; 3:r1=0; x=1; z=2; 16390928:>1:r1=0; 3:r1=1; x=1; z=1; 10201873:>1:r1=0; 3:r1=0; x=1; z=1; 23394122:>1:r1=1; 3:r1=0; x=1; z=1; 23273747:>1:r1=0; 3:r1=0; x=2; z=2; 27851807:>1:r1=0; 3:r1=0; x=2; z=1; No Witnesses Positive: 0, Negative: 160000000 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 73.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 285566:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 143143:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 137627:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 9663287:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 554454:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 4203740:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 7060799:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 6099620:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 24585915:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 7511183:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 8573470:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 18053047:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 30300025:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 17711982:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 25116142:>1:r1=0; 3:r1=0; 3:r4=1; z=2; No Witnesses Positive: 0, Negative: 160000000 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 74.59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 89 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 359 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 100 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 459 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 528 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 1485 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 11851 :>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 4235 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 930 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 1681 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 5833 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 1384 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 31387 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 4805 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 4417 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 5180 :>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 2705 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 9565 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 1974618:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 61905 :>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 288921:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 22086 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 463580:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 4953 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 539120:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 5487931:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 12198212:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 5327451:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 2016216:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 9138201:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 1897838:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 3688474:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 17605218:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 5231340:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 17369389:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 25283571:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 18375458:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 5333411:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 12572177:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 4400982:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 10631952:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; No Witnesses Positive: 0, Negative: 160000000 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 78.23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 128165:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 480385:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 127802:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 251894:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 4743826:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 9311929:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 7582673:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 5464282:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 18000761:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 25538677:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 8354623:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 28862621:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 25394502:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 20116376:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 5641484:>1:r1=1; 3:r1=0; 3:r3=0; z=1; No Witnesses Positive: 0, Negative: 160000000 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 73.84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 93 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 59605 :>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 14949 :>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 26606 :>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 57004 :>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 20131 :>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 51352 :>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 219311:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 71507 :>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 568552:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 76809 :>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 624036:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 438039:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 496824:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 172002:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 475208:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 172006:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 196600:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 3727737:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 5704908:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 4660965:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 1459725:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 1365325:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 240938:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 173968:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 264900:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 15564831:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 898826:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 554682:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 448171:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 1393074:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 7958636:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 8963240:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 5181563:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 11712657:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 19241836:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 13027142:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 4633391:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 18179008:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 24488505:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 4830763:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 1584575:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; No Witnesses Positive: 0, Negative: 160000000 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 76.82 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3609582:>2:r1=1; x=1; y=2; 2685009:>2:r1=1; x=2; y=1; 39589459:>2:r1=1; x=1; y=1; 31372946:>2:r1=0; x=1; y=1; 60759373:>2:r1=0; x=2; y=1; 14255190:>2:r1=0; x=2; y=2; 47728441:>2:r1=0; x=1; y=2; No Witnesses Positive: 0, Negative: 200000000 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 48.94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 2356298:>2:r1=1; x=2; y=1; 8857469:>2:r1=0; x=2; y=2; 37145445:>2:r1=1; x=1; y=1; 50855453:>2:r1=0; x=1; y=2; 39285924:>2:r1=0; x=1; y=1; 57668930:>2:r1=0; x=2; y=1; 3830481:>2:r1=1; x=1; y=2; No Witnesses Positive: 0, Negative: 200000000 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 50.63 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3255165:>2:r1=1; 2:r4=1; y=2; 2464362:>2:r1=1; 2:r4=0; y=1; 10446352:>2:r1=0; 2:r4=0; y=2; 29070814:>2:r1=0; 2:r4=1; y=1; 33830379:>2:r1=1; 2:r4=1; y=1; 49870130:>2:r1=0; 2:r4=1; y=2; 71062798:>2:r1=0; 2:r4=0; y=1; No Witnesses Positive: 0, Negative: 200000000 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 48.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 6771 :>2:r1=0; 2:r4=2; x=1; y=2; 64 :>2:r1=0; 2:r4=1; x=2; y=1; 13401 :>2:r1=2; 2:r4=1; x=1; y=1; 1822 :>2:r1=1; 2:r4=2; x=1; y=2; 5573 :>2:r1=0; 2:r4=1; x=1; y=1; 58916 :>2:r1=2; 2:r4=1; x=2; y=1; 3238 :>2:r1=0; 2:r4=2; x=2; y=1; 73253 :>2:r1=0; 2:r4=1; x=1; y=2; 2496395:>2:r1=1; 2:r4=1; x=2; y=1; 8263 :>2:r1=0; 2:r4=2; x=1; y=1; 12361862:>2:r1=1; 2:r4=1; x=1; y=1; 16429051:>2:r1=1; 2:r4=1; x=1; y=2; 13913757:>2:r1=2; 2:r4=2; x=1; y=2; 45306394:>2:r1=0; 2:r4=0; x=1; y=1; 19023885:>2:r1=2; 2:r4=2; x=1; y=1; 32249267:>2:r1=0; 2:r4=0; x=1; y=2; 12581332:>2:r1=0; 2:r4=0; x=2; y=1; 45466756:>2:r1=2; 2:r4=2; x=2; y=1; No Witnesses Positive: 0, Negative: 200000000 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 50.32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3715665:>2:r1=1; 2:r3=1; y=2; 2620273:>2:r1=1; 2:r3=0; y=1; 9187401:>2:r1=0; 2:r3=0; y=2; 34980265:>2:r1=1; 2:r3=1; y=1; 47723266:>2:r1=0; 2:r3=1; y=2; 34222561:>2:r1=0; 2:r3=1; y=1; 67550569:>2:r1=0; 2:r3=0; y=1; No Witnesses Positive: 0, Negative: 200000000 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 48.38 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww012 "SyncsRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_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) 2000 :>2:r1=0; 2:r3=1; x=2; y=1; 561029:>2:r1=0; 2:r3=2; x=1; y=2; 507514:>2:r1=0; 2:r3=1; x=1; y=1; 374578:>2:r1=1; 2:r3=2; x=1; y=2; 367588:>2:r1=2; 2:r3=1; x=2; y=1; 249713:>2:r1=0; 2:r3=2; x=2; y=1; 496638:>2:r1=2; 2:r3=1; x=1; y=1; 847217:>2:r1=0; 2:r3=1; x=1; y=2; 2285986:>2:r1=1; 2:r3=1; x=2; y=1; 460277:>2:r1=0; 2:r3=2; x=1; y=1; 14938985:>2:r1=1; 2:r3=1; x=1; y=2; 20110165:>2:r1=2; 2:r3=2; x=1; y=1; 31895156:>2:r1=0; 2:r3=0; x=1; y=2; 12146255:>2:r1=0; 2:r3=0; x=2; y=1; 11119942:>2:r1=1; 2:r3=1; x=1; y=1; 45089649:>2:r1=2; 2:r3=2; x=2; y=1; 14083989:>2:r1=2; 2:r3=2; x=1; y=2; 44463319:>2:r1=0; 2:r3=0; x=1; y=1; No Witnesses Positive: 0, Negative: 200000000 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 53.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 81514303:>1:r1=0; x=1; 140886537:>1:r1=0; x=2; 97599160:>1:r1=1; x=1; No Witnesses Positive: 0, Negative: 320000000 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 35.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 90797 :>1:r1=0; 3:r1=1; x=2; z=2; 72938 :>1:r1=1; 3:r1=1; x=1; z=2; 60320 :>1:r1=1; 3:r1=1; x=2; z=1; 130762:>1:r1=1; 3:r1=0; x=2; z=2; 4151163:>1:r1=1; 3:r1=0; x=1; z=2; 3102943:>1:r1=0; 3:r1=1; x=2; z=1; 3857537:>1:r1=0; 3:r1=1; x=1; z=2; 5332653:>1:r1=1; 3:r1=0; x=2; z=1; 7502899:>1:r1=1; 3:r1=1; x=1; z=1; 22604322:>1:r1=1; 3:r1=0; x=1; z=1; 31158831:>1:r1=0; 3:r1=0; x=2; z=1; 14005628:>1:r1=0; 3:r1=0; x=1; z=1; 18855309:>1:r1=0; 3:r1=1; x=1; z=1; 26945923:>1:r1=0; 3:r1=0; x=1; z=2; 22127975:>1:r1=0; 3:r1=0; x=2; z=2; No Witnesses Positive: 0, Negative: 160000000 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 72.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 236143:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 96765 :>1:r1=1; 3:r1=1; 3:r4=0; z=1; 82408 :>1:r1=1; 3:r1=1; 3:r4=1; z=2; 260806:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 5556338:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 7470700:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 5704214:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 5629790:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 16141064:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 3506449:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 23478677:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 21001146:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 32292629:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 10958876:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 27583995:>1:r1=0; 3:r1=0; 3:r4=1; z=2; No Witnesses Positive: 0, Negative: 160000000 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 73.44 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 28 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 527 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 30 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 104 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 1010 :>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 1619 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 8296 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 561 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 2398 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 938 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 11888 :>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 3880 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 5910 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 35870 :>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 1752 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 23613 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 3185 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 1246 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 557016:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 757157:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 138800:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 1690593:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 3036475:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 17395 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 5269519:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 447869:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 389 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 816404:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 3095873:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 4459 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 4957758:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 18061953:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 7462261:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 13399673:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 11102683:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 26677338:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 6880062:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 16385116:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 14332043:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 5465332:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 19340976:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; No Witnesses Positive: 0, Negative: 160000000 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 77.76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 111601:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 208292:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 79394 :>1:r1=1; 3:r1=1; 3:r3=1; z=2; 5219153:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 5125420:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 119411:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 9099875:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 4849552:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 3458763:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 24047454:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 19861444:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 10547640:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 24878804:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 31853149:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 20540048:>1:r1=0; 3:r1=1; 3:r3=1; z=1; No Witnesses Positive: 0, Negative: 160000000 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 72.75 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 75 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 10267 :>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 28706 :>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 26004 :>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 110612:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 25589 :>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 70861 :>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 58987 :>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 126002:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 321459:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 43205 :>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 419213:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 589006:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 788182:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 479318:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 1586773:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 33999 :>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 252508:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 1028396:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 284003:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 112021:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 234575:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 4796876:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 444158:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 2908955:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 758702:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 1288769:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 620793:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 4691165:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 396342:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 3605065:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 316490:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 7490895:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 12140859:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 6284821:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 16741687:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 10366283:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 5144619:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 22127830:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 14796503:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 20643270:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 17806157:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; No Witnesses Positive: 0, Negative: 160000000 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 78.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 63790080:>1:r1=0; 1:r4=1; 158006527:>1:r1=0; 1:r4=0; 98203393:>1:r1=1; 1:r4=1; No Witnesses Positive: 0, Negative: 320000000 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 34.98 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 140604:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 149961:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 378006:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 390884:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 5420581:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 9496324:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 7058552:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 6561772:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 5340633:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 28300546:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 18694296:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 18240815:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 25283908:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 6788664:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 27754454:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; No Witnesses Positive: 0, Negative: 160000000 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 70.68 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 (41 states) 435 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 1467 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 3265 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 870 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 215 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 964 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 2932 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 492 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 1978 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 10887 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 13209 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 7569 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 16078 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 1268 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 8836 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 2527 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 52289 :>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 1312 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 305796:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 3450 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 21766 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 18366 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 5455720:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 4306296:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 1941698:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 1359514:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 635946:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 686025:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 6285412:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 3555252:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 1739327:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 9594361:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 13437021:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 4074403:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 6820416:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 18251707:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 20203487:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 4750419:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 12212998:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 26547331:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 17666696:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; No Witnesses Positive: 0, Negative: 160000000 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 77.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 117830:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 104383:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 309529:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 168377:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 4593013:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 9395825:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 5708881:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 5413888:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 4073399:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 29052783:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 19714168:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 16261232:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 9006151:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 25873646:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 30206895:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; No Witnesses Positive: 0, Negative: 160000000 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 69.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 83 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 78331 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 34217 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 25447 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 51323 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 69763 :>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 21482 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 56087 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 709783:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 250863:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 83572 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 321384:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 311020:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 811321:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 236522:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 84262 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 1892524:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 853298:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 244447:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 537951:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 213452:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 304153:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 88488 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 4566197:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 5400927:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 1079337:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 959174:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 509686:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 11222375:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 20083338:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 4646257:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 8437104:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 17242574:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 12301925:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 28323667:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 226070:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 16720634:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 3671691:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 5104234:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 5230739:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 6391304:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 602994:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; No Witnesses Positive: 0, Negative: 160000000 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 78.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 (87 states) 32 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 1 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 14 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 2 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 2 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 3 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 5 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 1 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 3 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 197 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 22 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 2 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 40 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 2481 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 210 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 2119 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 413 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 4214 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 5236 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 968 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 1089 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 1337 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 3056 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 1603 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 346 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 578 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 432 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 2567 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 740 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 7647 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 2406 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 1715 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 3200 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 6956 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 9519 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 787 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 4135 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 1039 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 2858 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 1954 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 51 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 14369 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 4486 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 1133 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 12677 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 6090 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 1038 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 1424 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 9870 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 3319 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 5416 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 5438 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 807 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 2724 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 32122 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 19377 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 510882:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 1766393:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 16098 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 447426:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 1324196:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 6905 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 2644 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 1129671:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 10316 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 446355:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 1694952:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 3606629:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 3246994:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 7663358:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 3003342:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 1234371:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 369041:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 1250928:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 3747813:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 8108186:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 8160667:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 11524736:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 9334647:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 9261314:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 2092968:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 15034820:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 3442769:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 27196620:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 11203795:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 14684871:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 8286023:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; No Witnesses Positive: 0, Negative: 160000000 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 87.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 5 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 3952 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 1336 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 21673 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 3584 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 1604 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 29313 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 320 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 54677 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 1742 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 7056 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 20331 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 7106 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 42966 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 6323 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 275911:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 56296 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 2886 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 57848 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 34706 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 653910:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 26409 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 10044 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 42455 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 1947627:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 3506223:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 893600:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 4855735:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 12367935:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 4979493:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 4770218:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 1016474:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 5523612:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 5494558:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 20802270:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 18837400:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 27886878:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 12354118:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 10268153:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 6531105:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 16009908:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 592240:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; No Witnesses Positive: 0, Negative: 160000000 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 74.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 (102 states) 1 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 3 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 4 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 4 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 3 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 1 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 1 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 11 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 3 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 4 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 8 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 34 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 18 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 6 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 30 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 29 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 14 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 33 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 64 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 17 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 2 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 61 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 232 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 142 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 76 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 42 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 379 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 91 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 234 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 161 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 264 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 23 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 235 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 293 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 229 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 284 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 542 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 1032 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 12323 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 20635 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 741 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 240 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 1652 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 1578 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 15764 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 3856 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 2680 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 84 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 47502 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 69111 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 5221 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 481778:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 31463 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 453 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 1240 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 56742 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 696892:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 447639:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 554899:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 260288:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 1026100:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 202339:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 149004:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 225471:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 4997 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 7719 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 57648 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 2629 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 439503:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 49258 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 91424 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 87973 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 1015957:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 44632 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 168117:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 2594772:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 110847:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 260519:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 2405636:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 298100:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 168968:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 667842:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 154270:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 2000911:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 16407621:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 8740197:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 82279 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 334236:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 7606174:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 3204656:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 3572210:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 7226010:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 15750283:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 9696361:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 7825250:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 9370069:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 7483715:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 489025:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 4118817:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 34352729:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 8788340:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; No Witnesses Positive: 0, Negative: 160000000 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 98.60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3039422:>0:r3=1; 2:r1=1; x=2; 5809921:>0:r3=0; 2:r1=1; x=1; 22112314:>0:r3=1; 2:r1=0; x=1; 47253595:>0:r3=1; 2:r1=0; x=2; 35622375:>0:r3=1; 2:r1=1; x=1; 59271645:>0:r3=0; 2:r1=0; x=1; 26890728:>0:r3=0; 2:r1=0; x=2; No Witnesses Positive: 0, Negative: 200000000 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 48.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 4796639:>0:r3=0; 2:r1=1; x=1; 2325957:>0:r3=1; 2:r1=1; x=2; 37427712:>0:r3=1; 2:r1=1; x=1; 49458623:>0:r3=1; 2:r1=0; x=2; 25506289:>0:r3=1; 2:r1=0; x=1; 66076483:>0:r3=0; 2:r1=0; x=1; 14408297:>0:r3=0; 2:r1=0; x=2; No Witnesses Positive: 0, Negative: 200000000 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 47.41 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 2912355:>0:r3=1; 2:r1=1; 2:r4=0; 5758037:>0:r3=0; 2:r1=1; 2:r4=1; 33828685:>0:r3=1; 2:r1=1; 2:r4=1; 54171517:>0:r3=1; 2:r1=0; 2:r4=0; 20675866:>0:r3=1; 2:r1=0; 2:r4=1; 59195938:>0:r3=0; 2:r1=0; 2:r4=1; 23457602:>0:r3=0; 2:r1=0; 2:r4=0; No Witnesses Positive: 0, Negative: 200000000 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 48.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3101 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 4700 :>0:r3=1; 2:r1=0; 2:r4=1; y=1; 77659 :>0:r3=0; 2:r1=2; 2:r4=1; y=1; 1759 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 284 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 25556 :>0:r3=1; 2:r1=0; 2:r4=1; y=2; 14000 :>0:r3=1; 2:r1=0; 2:r4=2; y=2; 5072 :>0:r3=1; 2:r1=0; 2:r4=2; y=1; 35668 :>0:r3=0; 2:r1=0; 2:r4=2; y=1; 7854969:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 4138287:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 15119831:>0:r3=1; 2:r1=2; 2:r4=2; y=2; 21021814:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 30409328:>0:r3=1; 2:r1=0; 2:r4=0; y=2; 5772766:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 28040021:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 27709104:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 59766081:>0:r3=0; 2:r1=2; 2:r4=2; y=1; No Witnesses Positive: 0, Negative: 200000000 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 51.54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3376482:>0:r3=1; 2:r1=1; 2:r3=0; 5390371:>0:r3=0; 2:r1=1; 2:r3=1; 31550410:>0:r3=1; 2:r1=1; 2:r3=1; 56122849:>0:r3=1; 2:r1=0; 2:r3=0; 19774195:>0:r3=0; 2:r1=0; 2:r3=0; 62579161:>0:r3=0; 2:r1=0; 2:r3=1; 21206532:>0:r3=1; 2:r1=0; 2:r3=1; No Witnesses Positive: 0, Negative: 200000000 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 47.59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 335275:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 231814:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 456638:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 5842 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 406611:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 492833:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 19299422:>0:r3=1; 2:r1=1; 2:r3=1; y=2; 886158:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 250635:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 8193010:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 175808:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 14808016:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 27840848:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 61242306:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 6327809:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 29408672:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 27209795:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 2428508:>0:r3=0; 2:r1=1; 2:r3=1; y=1; No Witnesses Positive: 0, Negative: 200000000 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 50.67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 64810382:>1:r1=0; 1:r3=1; 153940788:>1:r1=0; 1:r3=0; 101248830:>1:r1=1; 1:r3=1; No Witnesses Positive: 0, Negative: 320000000 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 34.02 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 250114:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 209246:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 105583:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 102711:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 4947396:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 4703972:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 7834453:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 5337929:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 5613952:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 18374440:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 9577664:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 27079241:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 28604391:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 18190832:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 29068076:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; No Witnesses Positive: 0, Negative: 160000000 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 72.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 83 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 27744 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 58870 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 19923 :>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 34730 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 29797 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 125557:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 66348 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 630290:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 578986:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 105943:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 58226 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 334985:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 980293:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 462426:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 258442:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 204419:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 280662:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 184680:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 64849 :>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 157025:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 272973:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 901164:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 360199:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 5450657:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 1672663:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 4826557:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 971567:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 885254:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 4357277:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 11522689:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 552521:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 5275920:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 12801737:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 5645636:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 6348609:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 14792097:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 18318207:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 20940828:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 26345750:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 9398530:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 3694887:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; No Witnesses Positive: 0, Negative: 160000000 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 76.51 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 599960:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 111512:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 28337731:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 19093400:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 23356508:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 2326531:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 39607426:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 1087649:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 13461819:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 32130520:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 7086463:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 1863797:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 30936684:>0:r3=1; 2:r1=0; 2:r4=0; x=1; No Witnesses Positive: 0, Negative: 200000000 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 45.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 401554:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 98242 :>0:r3=2; 2:r1=0; 2:r3=1; x=2; 1840857:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 2451906:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 1087929:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 32560799:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 30228417:>0:r3=1; 2:r1=1; 2:r3=1; x=1; 7384201:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 26354286:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 42387560:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 17111741:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 9892314:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 28200194:>0:r3=1; 2:r1=0; 2:r3=0; x=2; No Witnesses Positive: 0, Negative: 200000000 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 46.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 7 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 11 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 17 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 10 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 35 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 23 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 233 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 129 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 713 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 4471 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 1350 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 482 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 1360 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 6053 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 618 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 8020 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 54977 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 2183 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 3954 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 2480 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 22468 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 2681 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 2515 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 1362 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 7758 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 2059 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 4895 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 21429 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 16947 :>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 18465 :>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 311 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 109725:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 3739 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 5932 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 38006 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 2359 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 27063 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 58369 :>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 5588 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 29103 :>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 6374 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 114478:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 6551 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 98434 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 124275:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 106061:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 4676 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 281526:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 426351:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 52668 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 220675:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 128144:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 49539 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 77903 :>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 707051:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 35688 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 104573:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 144171:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 69698 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 119375:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 132730:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 233386:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 31155 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 198244:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 149790:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 570074:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 343248:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 1417505:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 508361:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 307632:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 712684:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 71860 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 968948:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 60121 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 417622:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 80917 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1506848:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 158620:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 363673:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 219749:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 142391:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 62805 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 412829:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 273535:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 405125:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 939328:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 762844:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 2607619:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 191800:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 8969860:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 561442:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 3140810:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 7875266:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; 666559:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 3276092:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 14669093:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 3301795:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 8143276:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 1869763:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 896166:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 11256001:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 3208183:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 14329387:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 25292647:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 9034051:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 10940330:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 7815126:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 7156599:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; No Witnesses Positive: 0, Negative: 160000000 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 105.83 $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 (16 < N ? 1 : 16 / 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: 16 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS=-s 1000000 -r 40 Mon Dec 28 13:54:53 GMT 2009