Wed Dec 30 09:28:00 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 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,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 bcsdww000 Allowed Histogram (3 states) 80513830:>1:r1=0; x=1; 246355708:>1:r1=1; x=1; 313130462:>1:r1=0; x=2; 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 65.15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 30,3,3 _litmus_P3_2_: li 10,1 _litmus_P3_3_: stwx 10,30,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,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) 723207:>1:r1=1; 3:r1=1; x=1; z=2; 761409:>1:r1=1; 3:r1=1; x=2; z=1; 2428510:>1:r1=0; 3:r1=0; x=1; z=1; 1159760:>1:r1=1; 3:r1=0; x=2; z=2; 42841142:>1:r1=0; 3:r1=0; x=1; z=2; 15172748:>1:r1=1; 3:r1=0; x=1; z=2; 1597454:>1:r1=0; 3:r1=1; x=2; z=2; 29128934:>1:r1=1; 3:r1=1; x=1; z=1; 34029997:>1:r1=0; 3:r1=1; x=1; z=1; 41785336:>1:r1=0; 3:r1=0; x=2; z=1; 71011779:>1:r1=0; 3:r1=0; x=2; z=2; 17336086:>1:r1=0; 3:r1=1; x=2; z=1; 30989508:>1:r1=1; 3:r1=0; x=1; z=1; 13875640:>1:r1=1; 3:r1=0; x=2; z=1; 17158490:>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 94.22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,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) 638524:>1:r1=1; 3:r1=1; x=1; z=2; 5955231:>1:r1=0; 3:r1=0; x=1; z=1; 984148:>1:r1=1; 3:r1=0; x=2; z=2; 333097:>1:r1=1; 3:r1=1; x=2; z=1; 12806737:>1:r1=1; 3:r1=0; x=2; z=1; 849608:>1:r1=0; 3:r1=1; x=2; z=2; 44395053:>1:r1=0; 3:r1=0; x=2; z=1; 10730339:>1:r1=0; 3:r1=1; x=2; z=1; 15205320:>1:r1=1; 3:r1=0; x=1; z=2; 34798107:>1:r1=0; 3:r1=1; x=1; z=1; 14116737:>1:r1=0; 3:r1=1; x=1; z=2; 24553589:>1:r1=1; 3:r1=1; x=1; z=1; 39665854:>1:r1=1; 3:r1=0; x=1; z=1; 63976765:>1:r1=0; 3:r1=0; x=2; z=2; 50990891:>1:r1=0; 3:r1=0; x=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=af33a9d4f6f79386d356cbbdb0662698 Cycle=SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww002 No BCSyncdWW Safe=Wse SyncdRW DpdW Time bcsdww002 91.47 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 28,0(11) _litmus_P3_1_: xor 10,28,28 _litmus_P3_2_: lwzx 30,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,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) 2207282:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 798338:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 740449:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 461754:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 1846887:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 26408955:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 17786245:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 13076344:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 41801980:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 45725773:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 34868588:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 29417081:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 18885387:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 11124912:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 74850025:>1:r1=0; 3:r1=0; 3:r4=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 91.90 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 3,0(9) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,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 bcsdww004 Allowed Histogram (42 states) 11 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 5845 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 24990 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 157863:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 11214 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 2982 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 24844 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 3850 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 17820 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 39689 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 4823 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 120994:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 49543 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 80982 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 48543 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 94163 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 33866 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 45778 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 123194:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 533787:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 1788027:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 1121640:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 3129700:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 3638508:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 547911:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 941817:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 6474521:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 4245724:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 1650548:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 11820142:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 4826135:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 25817481:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 31640904:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 21252951:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 33384364:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 27550120:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 54713371:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 10225739:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 24419663:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 20150214:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 13504225:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 15731514:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26d413fc2e2cdadfa9e0f1aeb3ab365b Cycle=DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww004 No BCSyncdWW Safe=Fre Wse DpsR DpdW Time bcsdww004 96.96 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 30,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,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) 3503857:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 705787:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 960982:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 1267265:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 44499425:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 35850390:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 16492087:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 16819159:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 1164691:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 14350250:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 42511174:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 31019859:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 68085432:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 27909123:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 14860519:>1:r1=0; 3:r1=1; 3:r3=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=9d8e29c8c4e565bae4fdb78aec0db9b5 Cycle=SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww005 No BCSyncdWW Safe=Fre Wse SyncdRR DpdW Time bcsdww005 89.94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,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 bcsdww006 Allowed Histogram (42 states) 1458 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 452916:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 278237:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 224052:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 1716562:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 328449:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 264115:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 369855:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 676551:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 218356:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 1391232:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 1163256:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 3582340:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 405864:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 1545268:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 707846:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 5106684:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 3589700:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 2601623:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 1387673:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 924044:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 2489638:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 1322819:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 807478:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 1592417:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 2611639:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 1172301:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 19366427:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 5012667:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 12640647:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 22299466:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 11260868:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 15142891:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 19783129:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 5886660:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 7653420:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 26429638:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 10137467:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 27680348:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 18428150:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 30632265:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 50713584:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=62faf55c9e7916888e6ae088e9375bff Cycle=SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww006 No BCSyncdWW Safe=Fre Wse SyncsRR DpdW Time bcsdww006 97.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 28,0(11) _litmus_P2_1_: xor 30,28,28 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,30,9 _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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) 21355737:>2:r1=1; x=2; y=1; 9778806:>2:r1=0; x=1; y=1; 123219636:>2:r1=0; x=2; y=1; 105091327:>2:r1=0; x=1; y=2; 35735434:>2:r1=0; x=2; y=2; 13751546:>2:r1=1; x=1; y=2; 91067514:>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 62.32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 30,1 _litmus_P2_3_: stw 30,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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) 13392996:>2:r1=1; x=2; y=1; 16928642:>2:r1=0; x=1; y=1; 127036576:>2:r1=0; x=2; y=1; 117221031:>2:r1=0; x=1; y=2; 26325967:>2:r1=0; x=2; y=2; 10971304:>2:r1=1; x=1; y=2; 88123484:>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=e6b1c1a0023ee13d1ea18feb286c6d13 Cycle=SyncdRW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww008 No BCSyncdWW Safe=Wse SyncdWW SyncdRW Time bcsdww008 65.08 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 28,0(11) _litmus_P2_1_: xor 10,28,28 _litmus_P2_2_: lwzx 30,10,9 _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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) 14327552:>2:r1=1; 2:r4=0; y=1; 36009322:>2:r1=0; 2:r4=0; y=2; 107175166:>2:r1=0; 2:r4=1; y=2; 11355154:>2:r1=0; 2:r4=1; y=1; 142076094:>2:r1=0; 2:r4=0; y=1; 80411600:>2:r1=1; 2:r4=1; y=1; 8645112:>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 64.43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 30,0(9) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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 bcsdww010 Allowed Histogram (18 states) 4931 :>2:r1=2; 2:r4=1; x=1; y=1; 27710 :>2:r1=0; 2:r4=2; x=2; y=1; 8232 :>2:r1=1; 2:r4=2; x=1; y=2; 580 :>2:r1=0; 2:r4=1; x=2; y=1; 99383 :>2:r1=0; 2:r4=1; x=1; y=1; 62124 :>2:r1=0; 2:r4=2; x=1; y=1; 330835:>2:r1=0; 2:r4=2; x=1; y=2; 181214:>2:r1=2; 2:r4=1; x=2; y=1; 975527:>2:r1=0; 2:r4=1; x=1; y=2; 46559793:>2:r1=2; 2:r4=2; x=1; y=2; 4748952:>2:r1=2; 2:r4=2; x=1; y=1; 28608354:>2:r1=1; 2:r4=1; x=1; y=1; 40513108:>2:r1=1; 2:r4=1; x=1; y=2; 15174171:>2:r1=1; 2:r4=1; x=2; y=1; 37139072:>2:r1=0; 2:r4=0; x=2; y=1; 98497679:>2:r1=2; 2:r4=2; x=2; y=1; 70935895:>2:r1=0; 2:r4=0; x=1; y=2; 56132440:>2:r1=0; 2:r4=0; x=1; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=3bd35505ff4c5dbff1bb92ff33d7496b Cycle=DpsR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww010 No BCSyncdWW Safe=Fre Wse SyncdWW DpsR Time bcsdww010 65.62 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 28,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 30,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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) 8591718:>2:r1=1; 2:r3=1; y=2; 11543451:>2:r1=1; 2:r3=0; y=1; 33218552:>2:r1=0; 2:r3=0; y=2; 15499485:>2:r1=0; 2:r3=1; y=1; 81193425:>2:r1=1; 2:r3=1; y=1; 110351955:>2:r1=0; 2:r3=1; y=2; 139601414:>2:r1=0; 2:r3=0; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=d6dadb697329282571a4979eadd035fd Cycle=SyncdRR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww011 No BCSyncdWW Safe=Fre Wse SyncdWW SyncdRR Time bcsdww011 66.03 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 3,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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 bcsdww012 Allowed Histogram (18 states) 26644 :>2:r1=0; 2:r3=1; x=2; y=1; 479700:>2:r1=2; 2:r3=1; x=1; y=1; 410890:>2:r1=0; 2:r3=2; x=1; y=1; 619759:>2:r1=0; 2:r3=1; x=1; y=1; 1455277:>2:r1=0; 2:r3=2; x=2; y=1; 3958936:>2:r1=2; 2:r3=1; x=2; y=1; 3382975:>2:r1=0; 2:r3=2; x=1; y=2; 2049066:>2:r1=1; 2:r3=2; x=1; y=2; 4992825:>2:r1=2; 2:r3=2; x=1; y=1; 28307175:>2:r1=1; 2:r3=1; x=1; y=1; 13404277:>2:r1=1; 2:r3=1; x=2; y=1; 43721021:>2:r1=2; 2:r3=2; x=1; y=2; 11083314:>2:r1=0; 2:r3=1; x=1; y=2; 68414371:>2:r1=0; 2:r3=0; x=1; y=2; 35604166:>2:r1=0; 2:r3=0; x=2; y=1; 54350403:>2:r1=0; 2:r3=0; x=1; y=1; 96193773:>2:r1=2; 2:r3=2; x=2; y=1; 31545428:>2:r1=1; 2:r3=1; 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 66.92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: 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 bcsdww013 Allowed Histogram (3 states) 140195525:>1:r1=0; x=1; 205958793:>1:r1=1; x=1; 293845682:>1:r1=0; x=2; 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 65.58 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,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 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) 558279:>1:r1=1; 3:r1=0; x=2; z=2; 369693:>1:r1=1; 3:r1=1; x=1; z=2; 11406802:>1:r1=1; 3:r1=0; x=1; z=2; 342079:>1:r1=1; 3:r1=1; x=2; z=1; 22572704:>1:r1=1; 3:r1=1; x=1; z=1; 11311338:>1:r1=0; 3:r1=1; x=1; z=2; 11228179:>1:r1=0; 3:r1=1; x=2; z=1; 59336277:>1:r1=0; 3:r1=0; x=2; z=2; 530341:>1:r1=0; 3:r1=1; x=2; z=2; 39929197:>1:r1=0; 3:r1=1; x=1; z=1; 51358684:>1:r1=0; 3:r1=0; x=2; z=1; 8765065:>1:r1=0; 3:r1=0; x=1; z=1; 11834329:>1:r1=1; 3:r1=0; x=2; z=1; 39982376:>1:r1=1; 3:r1=0; x=1; z=1; 50474657:>1:r1=0; 3:r1=0; x=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=ee6d6ba63625d467fac397c863618ff2 Cycle=SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww014 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww014 90.90 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 28,0(11) _litmus_P3_1_: xor 10,28,28 _litmus_P3_2_: lwzx 30,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,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 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) 663341:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 4387648:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 346994:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 43360875:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 39831807:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 66564251:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 873299:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 18982927:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 13410157:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 9781172:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 14434618:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 25695832:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 48614433:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 31778069:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 1274577:>1:r1=0; 3:r1=1; 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 89.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 3,0(9) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,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 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 bcsdww016 Allowed Histogram (42 states) 16 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 1621 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 2128 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 15923 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 10695 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 11489 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 20821 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 166736:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 4021 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 46605 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 121143:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 19262 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 25795 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 44437 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 41763 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 59163 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 85784 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 93006 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 32872 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 876601:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 2772180:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 383000:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 2557530:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 1562357:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 3341033:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 463090:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 5000824:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 540502:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 10994680:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 10242556:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 27113977:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 17746431:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 8249869:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 14193034:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 27014463:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 2638212:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 11214670:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 35477271:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 18799912:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 35679774:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 54150590:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 28184164:>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 96.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 30,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,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 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) 387922:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 7287397:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 574048:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 46381358:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 38421053:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 12359027:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 787865:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 12946170:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 14188124:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 36654769:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 52397264:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 22629337:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 573517:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 10463369:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 63948780:>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 88.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,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 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 bcsdww018 Allowed Histogram (42 states) 952 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 304504:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 204775:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 194043:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 409241:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 164894:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 1595514:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 550170:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 512016:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 390764:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 1746733:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 544212:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 819448:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 1918059:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 2689493:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 2839171:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 5863804:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 2095188:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 326310:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 3446331:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 1473988:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 1163396:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 603278:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 2802410:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 8462285:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 1831441:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 1015862:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 3823725:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 620382:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 24880223:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 14282949:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 31239098:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 9677628:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 50254187:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 16291110:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 9901182:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 32286605:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 16631457:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 8176859:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 10203245:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 27090528:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 20672540:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=df82d53ff13c1c0132bc81937f5ecf56 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww018 No BCSyncdWW Safe=Fre Wse SyncsRR SyncdRW Time bcsdww018 95.30 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 114989926:>1:r1=0; 1:r4=1; 205086984:>1:r1=1; 1:r4=1; 319923090:>1:r1=0; 1:r4=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r4=0) is NOT validated Hash=abe769d43585052eb6bd1199546b3603 Cycle=DpdR Fre SyncdWW Rfe Relax bcsdww019 No BCSyncdWW Safe=Fre DpdR Time bcsdww019 80.16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1678117:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 1067192:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 1003271:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 1878975:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 15880288:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 28603504:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 32108326:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 16783396:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 31380043:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 41124118:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 42410688:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 17169261:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 71560334:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 1527241:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 15825246:>1:r1=1; 1:r4=0; 3:r1=0; 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 93.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 3,0(9) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 28,0(11) _litmus_P1_1_: xor 10,28,28 _litmus_P1_2_: lwzx 30,10,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 bcsdww021 Allowed Histogram (42 states) 37 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 6292 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 3206 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 33066 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 5171 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 181067:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 5312 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 39156 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 10686 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 25048 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 52961 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 136359:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 31328 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 88798 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 59670 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 150523:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 976534:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 56342 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 1946266:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 4230288:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 125451:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 63330 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 1125960:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 1603193:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 3337573:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 12762420:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 4845736:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 9846469:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 675547:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 668583:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 23874902:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 16838856:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 32927849:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 13679421:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 23322057:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 20158418:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 33840527:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 55134330:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 6329997:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 26910293:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 20575013:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 3315965:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26085f29b1357e5e8f0e159288ddd725 Cycle=DpsR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww021 No BCSyncdWW Safe=Fre DpsR DpdR Time bcsdww021 97.09 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 703036:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 1053235:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 1482340:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 1171398:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 13279783:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 43467896:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 35864547:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 3683183:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 14451476:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 30306006:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 17877736:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 69820919:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 25964270:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 16430271:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 44443904:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=52b75bc6c8456215cdaad6fb3a5164ee Cycle=SyncdRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww022 No BCSyncdWW Safe=Fre SyncdRR DpdR Time bcsdww022 93.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 28,0(11) _litmus_P1_1_: xor 10,28,28 _litmus_P1_2_: lwzx 30,10,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 bcsdww023 Allowed Histogram (42 states) 1985 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 272956:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 438179:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 242331:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 813188:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 226787:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 1705012:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 1211668:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 362648:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 688745:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 425137:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 845493:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 2555651:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 410130:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 5288825:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 4362704:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 1529862:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 1515723:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 876304:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 5647716:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 2794893:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 17186203:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 1136822:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 985418:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 3443689:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 1408611:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 21480305:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 161031:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 12732667:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 1362017:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 30026899:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 28861576:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 11778801:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 8049978:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 52287837:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 3169290:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 20362616:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 16985454:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 9450492:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 26054093:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 2154948:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 18705316:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=ef69b708c957de42a04a8b5ca4d81078 Cycle=SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww023 No BCSyncdWW Safe=Fre SyncsRR DpdR Time bcsdww023 97.53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 3,0(9) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,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,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 bcsdww024 Allowed Histogram (102 states) 7 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 3 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 21 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 16 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 47 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 27 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 41 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 80 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 46 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 70 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 54 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 109 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 64 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 110 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 66 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 57 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 76 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 79 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 23 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 268 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 269 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 4954 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 63 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 3646 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 50 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 738 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 3866 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 3634 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 15244 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 5008 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 640 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 53983 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 63831 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 24403 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 8223 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 8231 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 14822 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 6923 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 3724 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 14518 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 71822 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 8119 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 103191:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 51474 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 8113 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 125565:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 24596 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 14319 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 70203 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 68712 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 45840 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 12534 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 53333 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 73087 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 62964 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 51106 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 6822 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 345190:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 45435 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 36827 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 36779 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 12338 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 157335:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 36110 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 35630 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 70886 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 3977344:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 128514:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 104345:>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 4539490:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 447942:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 345297:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 155405:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 71286 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 448245:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 1784376:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 4531501:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 6468941:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 3153009:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 9577241:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 9619018:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 7549953:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 2689298:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 740687:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 22293617:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 7828998:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 1793605:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 2682522:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 7592114:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 3983942:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 21963526:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 3180428:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 6479088:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 36290451:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 24402782:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 27291064:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 27255816:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 22329874:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 24446311:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 21987604:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3: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 119.11 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 30,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,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) 16 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 3667 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 11242 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 5147 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 11574 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 142072:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 18444 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 3546 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 37665 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 66844 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 19660 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 96664 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 47257 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 24253 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 116737:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 21879 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 49862 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 710702:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 115388:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 3161998:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 43251 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 2004966:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 514446:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 501483:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 1262395:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 5270140:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 13166249:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 3803857:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 2708249:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 20072556:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 13044465:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 26080169:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 26188619:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 55196869:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 25637935:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 12194797:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 6548998:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 32870570:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 11458578:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 36234626:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 18863045:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 1669120:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=f58b58e77c065c1d7e45eddd6a49ef4b Cycle=SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww025 No BCSyncdWW Safe=Fre SyncdRR DpsR Time bcsdww025 93.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,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,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 bcsdww026 Allowed Histogram (108 states) 1 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 7 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 5 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 50 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 171 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 457 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 262 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 10 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 582 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 502 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 81 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 861 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 123 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 2751 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 321 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 625 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 30 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 6659 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 982 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 804 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 3480 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 4589 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 1975 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 1165 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 19518 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 1237 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 3054 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 6055 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 2840 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 4814 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 7998 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 47097 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 18419 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 71051 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 5257 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 77591 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 2644 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 12084 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 26365 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 13249 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 7956 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 86342 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 34544 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 17764 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 91097 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 14091 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 869661:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 33435 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 56242 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 58961 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 32036 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 133959:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 126652:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 296409:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 210406:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 885615:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 544382:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 831808:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 1429964:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 1283296:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 10194 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 684718:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 11823 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 3300317:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 1627182:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 439420:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 1416469:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 1133658:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 484335:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 648930:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 654303:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 2313934:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 865366:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 3661307:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 102032:>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 572345:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 202004:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 6747850:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 1540241:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 350673:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 315646:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 43990 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 3923555:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 3748361:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 6430007:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 2253331:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 2208394:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 7627601:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 765859:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 2193460:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 7070938:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 21593419:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 8696843:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 19799146:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; 5374722:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 4926948:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 2871499:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 3406344:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 753701:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 8916630:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 35528406:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 18876028:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 23957186:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 24559572:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 25136921:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 20809442:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 3019370:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 21035194:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=494bdd377023c801c91266ccd04985a6 Cycle=SyncsRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww026 No BCSyncdWW Safe=Fre SyncsRR DpsR Time bcsdww026 118.11 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 28,0(11) _litmus_P2_1_: xor 30,28,28 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,30,9 _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 30,2 _litmus_P0_1_: stw 30,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww027 Allowed Histogram (7 states) 54014232:>0:r3=0; 2:r1=0; x=2; 6511389:>0:r3=1; 2:r1=0; x=1; 19263054:>0:r3=0; 2:r1=1; x=1; 20645947:>0:r3=1; 2:r1=1; x=2; 105542987:>0:r3=1; 2:r1=0; x=2; 81082966:>0:r3=1; 2:r1=1; x=1; 112939425:>0:r3=0; 2:r1=0; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=a3cc59f896bd23424085486bc047f237 Cycle=DpdW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww027 No BCSyncdWW Safe=Fre Wse SyncdWR DpdW Time bcsdww027 63.09 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 30,1 _litmus_P2_3_: stw 30,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 30,2 _litmus_P0_1_: stw 30,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww028 Allowed Histogram (7 states) 15921014:>0:r3=0; 2:r1=1; x=1; 41768806:>0:r3=0; 2:r1=0; x=2; 13099696:>0:r3=1; 2:r1=1; x=2; 11401241:>0:r3=1; 2:r1=0; x=1; 78889974:>0:r3=1; 2:r1=1; x=1; 112126994:>0:r3=1; 2:r1=0; x=2; 126792275:>0:r3=0; 2:r1=0; 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 62.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 4216354:>0:r3=1; 2:r1=0; 2:r4=1; 23909586:>0:r3=1; 2:r1=1; 2:r4=0; 53929100:>0:r3=0; 2:r1=0; 2:r4=0; 109122208:>0:r3=0; 2:r1=0; 2:r4=1; 107752883:>0:r3=1; 2:r1=0; 2:r4=0; 79207634:>0:r3=1; 2:r1=1; 2:r4=1; 21862235:>0:r3=0; 2:r1=1; 2:r4=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=1052dfbfb336d023eeffaaf6c00324c1 Cycle=DpdR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww029 No BCSyncdWW Safe=Fre SyncdWR DpdR Time bcsdww029 77.24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 30,0(9) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 30,2 _litmus_P0_1_: stw 30,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww030 Allowed Histogram (18 states) 3191 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 1023 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 20873 :>0:r3=0; 2:r1=0; 2:r4=2; y=1; 139194:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 1453 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 136831:>0:r3=1; 2:r1=0; 2:r4=1; y=1; 26040238:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 1477045:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 109277:>0:r3=1; 2:r1=0; 2:r4=2; y=1; 382256:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 40755826:>0:r3=1; 2:r1=2; 2:r4=2; y=2; 107770538:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 34976588:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 4292175:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 14077791:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 57299422:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 89372125:>0:r3=1; 2:r1=0; 2:r4=0; y=2; 23144154:>0:r3=0; 2:r1=1; 2:r4=1; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=762db7307d35c050ae02494154891df7 Cycle=DpsR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww030 No BCSyncdWW Safe=Fre SyncdWR DpsR Time bcsdww030 64.65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 8029699:>0:r3=1; 2:r1=0; 2:r3=1; 15536130:>0:r3=1; 2:r1=1; 2:r3=0; 15791400:>0:r3=0; 2:r1=1; 2:r3=1; 115719756:>0:r3=1; 2:r1=0; 2:r3=0; 117154637:>0:r3=0; 2:r1=0; 2:r3=1; 51140301:>0:r3=0; 2:r1=0; 2:r3=0; 76628077:>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.09 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 3,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 30,2 _litmus_P0_1_: stw 30,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww032 Allowed Histogram (18 states) 47675 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 259698:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 383424:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 554031:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 1839079:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 2081706:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 13412163:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 4185144:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 20484378:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 3523787:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 40225481:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 4827866:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 55672495:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 12998086:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 35916939:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 78228558:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 105048873:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 20310617:>0:r3=1; 2:r1=1; 2:r3=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=1) is NOT validated Hash=6ef8013c1a65c6c1574ee921baad8f97 Cycle=SyncsRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww032 No BCSyncdWW Safe=Fre SyncsRR SyncdWR Time bcsdww032 65.87 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 129248890:>1:r1=0; 1:r3=1; 200788965:>1:r1=1; 1:r3=1; 309962145:>1:r1=0; 1:r3=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r3=0) is NOT validated Hash=6fa2fc8a03a8948f9262ae5fd1e47a19 Cycle=SyncdRR Fre SyncdWW Rfe Relax bcsdww033 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww033 72.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 623660:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 848835:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 601617:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 13715033:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 783383:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 23045937:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 13812959:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 13430939:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 5826226:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 68817225:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 47539607:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 34553644:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 35188684:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 47795338:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 13416913:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=3dd9d4fff43138f32cd2819c7a65cdb3 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe Relax bcsdww034 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww034 92.96 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 30,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 bcsdww035 Allowed Histogram (42 states) 1171 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 203114:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 583612:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 242179:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 349940:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 1295178:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 1980252:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 343612:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 342920:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 666997:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 481224:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 1813714:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 1708230:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 6515461:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 2622689:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 1368449:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 5828418:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 266921:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 921333:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 583068:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 1008861:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 1432563:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 413531:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 929063:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 2441362:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 3894173:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 15890440:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 52339487:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 1947024:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 3364109:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 32042742:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 18873252:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 8055520:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 10777044:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 3024130:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 11592103:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 25554430:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 19621813:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 31587634:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 12903748:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 11457945:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 22730544:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; 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 97.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 28,0(11) _litmus_P2_1_: xor 10,28,28 _litmus_P2_2_: lwzx 30,10,9 _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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) 1925680:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 5670321:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 161508:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 6859046:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 973994:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 22603068:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 59158398:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 62263835:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 74274478:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 65090684:>0:r3=1; 2:r1=0; 2:r4=0; x=1; 23183652:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 46819301:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 31016035:>0:r3=1; 2:r1=0; 2:r4=2; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=b5668ea36c70858ef8634a895265c398 Cycle=DpdR Fre SyncsWR Fre SyncdWW Rfe Relax bcsdww036 No BCSyncdWW Safe=Fre SyncsWR DpdR Time bcsdww036 61.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 28,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 30,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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) 119409:>0:r3=2; 2:r1=0; 2:r3=1; x=2; 1101924:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 2410302:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 8495762:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 63155855:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 7881936:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 63943945:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 40323334:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 52848784:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 16331240:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 55984898:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 16320095:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 71082516:>0:r3=1; 2:r1=1; 2:r3=1; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=c99d291fc8d3f66519c556e43131cb0b Cycle=SyncdRR Fre SyncsWR Fre SyncdWW Rfe Relax bcsdww037 No BCSyncdWW Safe=Fre SyncsWR SyncdRR Time bcsdww037 60.72 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _litmus_P1_2_: lwz 11,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 bcsdww038 Allowed Histogram (108 states) 988 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 1469 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 308 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 1943 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 78258 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 82081 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 1564 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 332 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 9804 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 3244 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 22965 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 1976 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 23558 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 9834 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 17131 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 1048 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 9405 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 26388 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 114308:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 62725 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 200091:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 82539 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 7530 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 50394 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 10250 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 51264 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 31663 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 123172:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 564400:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 196518:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 602498:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 654061:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 32743 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 607905:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 588745:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 498061:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 465222:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 296595:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 63530 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 389923:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 570245:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 123978:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 26298 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 414907:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 113346:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 647903:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 17123 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 295102:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 2090561:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 625541:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 1040122:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 2067889:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 121086:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 2028280:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 470430:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 1218665:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 3387413:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 4104149:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 6110740:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 1322828:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 1314395:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 81654 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 3338632:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 413212:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 1830454:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 471367:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 193179:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 1210855:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 1255643:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 486408:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 603246:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 763384:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 1036534:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 618167:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 194586:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 1825310:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 125742:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 1212378:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 757649:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 5950790:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 1198214:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 2195063:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 504534:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 2171394:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 3334423:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 6085582:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 8582145:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 7198 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 33318937:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 6361557:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 387033:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 6339139:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 3401384:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 2031508:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 20507725:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 19206474:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 19217493:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 23484233:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 20616669:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; 20223406:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 1265873:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 20246616:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 757359:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 8510769:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 23399996:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 3062531:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 4071106:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 3045015:>1:r1=0; 1:r3=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: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 121.16 $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: true */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS= Wed Dec 30 10:22:15 GMT 2009