Wed Dec 30 17:20:13 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) 79542811:>1:r1=0; x=1; 313024844:>1:r1=0; x=2; 247432345:>1:r1=1; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 1:r1=1) is NOT validated Hash=262d40103ab036ada7c4d5ede4cb5840 Cycle=DpdW Wse SyncdWW Rfe Relax bcsdww000 No BCSyncdWW Safe=Wse DpdW Time bcsdww000 63.93 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 666355:>1:r1=1; 3:r1=1; x=2; z=1; 3236186:>1:r1=0; 3:r1=0; x=1; z=1; 644854:>1:r1=1; 3:r1=1; x=1; z=2; 1586493:>1:r1=0; 3:r1=1; x=2; z=2; 1180642:>1:r1=1; 3:r1=0; x=2; z=2; 16147182:>1:r1=0; 3:r1=1; x=2; z=1; 42930463:>1:r1=0; 3:r1=0; x=2; z=1; 32143457:>1:r1=1; 3:r1=0; x=1; z=1; 13399607:>1:r1=1; 3:r1=0; x=2; z=1; 16595171:>1:r1=0; 3:r1=1; x=1; z=2; 27251395:>1:r1=1; 3:r1=1; x=1; z=1; 44322010:>1:r1=0; 3:r1=0; x=1; z=2; 35503975:>1:r1=0; 3:r1=1; x=1; z=1; 14032519:>1:r1=1; 3:r1=0; x=1; z=2; 70359691:>1:r1=0; 3:r1=0; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=96b3ad5ef3552835e91cfb053b388e47 Cycle=DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww001 No BCSyncdWW Safe=Wse DpdW Time bcsdww001 91.87 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 358891:>1:r1=1; 3:r1=1; x=2; z=1; 999332:>1:r1=1; 3:r1=0; x=2; z=2; 703053:>1:r1=1; 3:r1=1; x=1; z=2; 13271969:>1:r1=1; 3:r1=0; x=2; z=1; 11161548:>1:r1=0; 3:r1=1; x=2; z=1; 5058695:>1:r1=0; 3:r1=0; x=1; z=1; 15763383:>1:r1=1; 3:r1=0; x=1; z=2; 14577451:>1:r1=0; 3:r1=1; x=1; z=2; 43716709:>1:r1=0; 3:r1=0; x=2; z=1; 49718272:>1:r1=0; 3:r1=0; x=1; z=2; 25817433:>1:r1=1; 3:r1=1; x=1; z=1; 34038783:>1:r1=0; 3:r1=1; x=1; z=1; 38990562:>1:r1=1; 3:r1=0; x=1; z=1; 64971952:>1:r1=0; 3:r1=0; x=2; z=2; 851967:>1:r1=0; 3:r1=1; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=af33a9d4f6f79386d356cbbdb0662698 Cycle=SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww002 No BCSyncdWW Safe=Wse SyncdRW DpdW Time bcsdww002 93.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 792254:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 713168:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 12664598:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 439047:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 46316506:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 18288805:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 2611829:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 10692672:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 29902322:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 17423464:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 74584466:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 35673227:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 25324269:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 42746714:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 1826659:>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=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 91.67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 18 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 4707 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 3396 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 5579 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 29513 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 12353 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 34257 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 50912 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 7448 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 176265:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 19788 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 24514 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 97481 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 46699 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 606604:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 58320 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 111503:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 55578 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 134638:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 153695:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 550757:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 5181507:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 3083081:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 1736036:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 1722028:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 10803964:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 31590660:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 1230502:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 858082:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 4288261:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 21192533:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 3592197:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 25316894:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 11809136:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 33840764:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 27899462:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 54578520:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 24521633:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 13419385:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 15094614:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 19864005:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 6192711:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26d413fc2e2cdadfa9e0f1aeb3ab365b Cycle=DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww004 No BCSyncdWW Safe=Fre Wse DpsR DpdW Time bcsdww004 97.65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 686796:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 915537:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 3641124:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 1156773:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 14083502:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 1260623:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 44659404:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 16409669:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 27660797:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 42777844:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 16626223:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 31417341:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 36226002:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 67547603:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 14930762:>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 91.10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1461 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 682979:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 214607:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 367437:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 409537:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 275272:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 1420992:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 327075:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 1816301:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 347362:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 432471:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 1466421:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 689300:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 2538708:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 218553:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 1763306:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 1308370:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 3820384:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 779515:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 2557686:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 2582394:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 5153673:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 1008960:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 1543773:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 27889133:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 1198873:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 1116686:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 3512660:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 22621271:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 10807762:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 7615335:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 5105482:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 10335344:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 5918131:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 18657095:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 18161314:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 30675102:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 12620899:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 26719830:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 19591082:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 51046166:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 14681298:>1:r1=1; 3:r1=2; 3:r3=2; 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 93.85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 20925828:>2:r1=1; x=2; y=1; 10128967:>2:r1=0; x=1; y=1; 34695746:>2:r1=0; x=2; y=2; 106058451:>2:r1=0; x=1; y=2; 124004219:>2:r1=0; x=2; y=1; 90763071:>2:r1=1; x=1; y=1; 13423718:>2:r1=1; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=7c2462ff041c713f8de949f757a40d53 Cycle=DpdW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww007 No BCSyncdWW Safe=Wse SyncdWW DpdW Time bcsdww007 62.95 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 10577028:>2:r1=1; x=1; y=2; 18242684:>2:r1=0; x=1; y=1; 13096216:>2:r1=1; x=2; y=1; 25974427:>2:r1=0; x=2; y=2; 126584924:>2:r1=0; x=2; y=1; 117479161:>2:r1=0; x=1; y=2; 88045560:>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 63.51 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 8138237:>2:r1=1; 2:r4=1; y=2; 11515208:>2:r1=0; 2:r4=1; y=1; 15046770:>2:r1=1; 2:r4=0; y=1; 36335477:>2:r1=0; 2:r4=0; y=2; 107675363:>2:r1=0; 2:r4=1; y=2; 141038292:>2:r1=0; 2:r4=0; y=1; 80250653:>2:r1=1; 2:r4=1; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=9d7f07ce6da224ac7eca2af4a5915a72 Cycle=DpdR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww009 No BCSyncdWW Safe=Fre Wse SyncdWW DpdR Time bcsdww009 64.17 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 577 :>2:r1=0; 2:r4=1; x=2; y=1; 6094 :>2:r1=2; 2:r4=1; x=1; y=1; 79043 :>2:r1=0; 2:r4=2; x=1; y=1; 10610 :>2:r1=1; 2:r4=2; x=1; y=2; 232862:>2:r1=2; 2:r4=1; x=2; y=1; 469399:>2:r1=0; 2:r4=2; x=1; y=2; 32249 :>2:r1=0; 2:r4=2; x=2; y=1; 99631 :>2:r1=0; 2:r4=1; x=1; y=1; 27991886:>2:r1=1; 2:r4=1; x=1; y=1; 1026822:>2:r1=0; 2:r4=1; x=1; y=2; 15182593:>2:r1=1; 2:r4=1; x=2; y=1; 70143272:>2:r1=0; 2:r4=0; x=1; y=2; 40033701:>2:r1=1; 2:r4=1; x=1; y=2; 4944705:>2:r1=2; 2:r4=2; x=1; y=1; 58604844:>2:r1=0; 2:r4=0; x=1; y=1; 36327455:>2:r1=0; 2:r4=0; x=2; y=1; 46624582:>2:r1=2; 2:r4=2; x=1; y=2; 98189675:>2:r1=2; 2:r4=2; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=3bd35505ff4c5dbff1bb92ff33d7496b Cycle=DpsR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww010 No BCSyncdWW Safe=Fre Wse SyncdWW DpsR Time bcsdww010 68.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 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) 11289285:>2:r1=1; 2:r3=0; y=1; 15863899:>2:r1=0; 2:r3=1; y=1; 8753426:>2:r1=1; 2:r3=1; y=2; 33112776:>2:r1=0; 2:r3=0; y=2; 81338583:>2:r1=1; 2:r3=1; y=1; 110308988:>2:r1=0; 2:r3=1; y=2; 139333043:>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 63.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 2466947:>2:r1=0; 2:r3=2; x=2; y=1; 689032:>2:r1=0; 2:r3=1; x=1; y=1; 26577 :>2:r1=0; 2:r3=1; x=2; y=1; 528533:>2:r1=0; 2:r3=2; x=1; y=1; 639031:>2:r1=2; 2:r3=1; x=1; y=1; 4662971:>2:r1=0; 2:r3=2; x=1; y=2; 5315588:>2:r1=2; 2:r3=1; x=2; y=1; 2729182:>2:r1=1; 2:r3=2; x=1; y=2; 28307490:>2:r1=1; 2:r3=1; x=1; y=1; 12396274:>2:r1=0; 2:r3=1; x=1; y=2; 29030188:>2:r1=1; 2:r3=1; x=1; y=2; 57189061:>2:r1=0; 2:r3=0; x=1; y=1; 4718159:>2:r1=2; 2:r3=2; x=1; y=1; 93370118:>2:r1=2; 2:r3=2; x=2; y=1; 65343992:>2:r1=0; 2:r3=0; x=1; y=2; 34135636:>2:r1=0; 2:r3=0; x=2; y=1; 14299169:>2:r1=1; 2:r3=1; x=2; y=1; 44152052:>2:r1=2; 2:r3=2; 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 67.47 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 140399681:>1:r1=0; x=1; 293802986:>1:r1=0; x=2; 205797333:>1:r1=1; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 1:r1=1) is NOT validated Hash=3bacaa46622528b0ef100acb0d326a4f Cycle=SyncdRW Wse SyncdWW Rfe Relax bcsdww013 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww013 62.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww014 "SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | li r3,1 ; li r3,1 | stw r3,0(r4) | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_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) 367466:>1:r1=1; 3:r1=1; x=2; z=1; 383042:>1:r1=1; 3:r1=1; x=1; z=2; 554454:>1:r1=1; 3:r1=0; x=2; z=2; 12056083:>1:r1=1; 3:r1=0; x=2; z=1; 11446289:>1:r1=1; 3:r1=0; x=1; z=2; 11436055:>1:r1=0; 3:r1=1; x=2; z=1; 22979603:>1:r1=1; 3:r1=1; x=1; z=1; 50795351:>1:r1=0; 3:r1=0; x=2; z=1; 8220730:>1:r1=0; 3:r1=0; x=1; z=1; 50088823:>1:r1=0; 3:r1=0; x=1; z=2; 11649877:>1:r1=0; 3:r1=1; x=1; z=2; 39765794:>1:r1=0; 3:r1=1; x=1; z=1; 39659412:>1:r1=1; 3:r1=0; x=1; z=1; 60066618:>1:r1=0; 3:r1=0; x=2; z=2; 530403:>1:r1=0; 3:r1=1; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=ee6d6ba63625d467fac397c863618ff2 Cycle=SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww014 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww014 93.13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 323273:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 686564:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 1263745:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 820864:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 14130438:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 4698821:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 18630890:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 25013689:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 13013407:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 40259780:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 9523400:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 49556697:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 66142397:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 32274871:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 43661164:>1:r1=0; 3:r1=0; 3:r4=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=17704085d61983610ea6761b47264366 Cycle=DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww015 No BCSyncdWW Safe=Fre Wse SyncdRW DpdR Time bcsdww015 88.57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 8 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 3099 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 14188 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 4732 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 26614 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 2780 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 39583 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 14538 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 12535 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 169939:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 71268 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 22556 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 20204 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 50185 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 109505:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 146824:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 54206 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 99058 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 42096 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 4973706:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 1558993:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 971472:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 2760997:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 11414440:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 2638512:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 530252:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 3283160:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 2654764:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 365531:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 8527303:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 555464:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 26844989:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 18957286:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 10152555:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 27994494:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 17870521:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 14192748:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 11242619:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 35793946:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 35473427:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 53423921:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 26914982:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=afd72f686b99433de47ab6d5cad91134 Cycle=DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww016 No BCSyncdWW Safe=Fre Wse SyncdRW DpsR Time bcsdww016 97.77 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 579539:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 7329825:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 385156:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 574176:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 38393451:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 12254697:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 36667870:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 12855719:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 14052633:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 46532604:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 63976224:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 22534412:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 52720142:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 10358857:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 784695:>1:r1=0; 3:r1=1; 3:r3=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 89.68 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 982 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 199152:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 171839:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 1787368:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 191433:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 311658:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 430597:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 599315:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 598853:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 549943:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 2977239:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 1999894:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 985081:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 619305:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 456127:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 800341:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 3457437:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 530467:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 1541715:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 2852011:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 8664176:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 3740642:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 1114134:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 2014597:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 1724337:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 1778949:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 6063070:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 16185453:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 10059408:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 31027872:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 14757051:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 9908539:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 9504347:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 20618698:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 32076509:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 27000273:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 16534482:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 8434270:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 49835810:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 321404:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 2729400:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 24845822:>1:r1=0; 3:r1=2; 3:r3=2; 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 96.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 204274957:>1:r1=1; 1:r4=1; 319935428:>1:r1=0; 1:r4=0; 115789615:>1:r1=0; 1:r4=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r4=0) is NOT validated Hash=abe769d43585052eb6bd1199546b3603 Cycle=DpdR Fre SyncdWW Rfe Relax bcsdww019 No BCSyncdWW Safe=Fre DpdR Time bcsdww019 74.96 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1796576:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 1522819:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 1024311:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 16013404:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 31851013:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 40967856:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 42271499:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 1083827:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 16085416:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 17001215:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 17383519:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 28788426:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 31137503:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 71388641:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 1683975:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=ff6729203383abc4a32d53a80bd77acb Cycle=DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww020 No BCSyncdWW Safe=Fre DpdR Time bcsdww020 92.24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 42 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 3365 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 3171 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 5511 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 5217 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 176194:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 8995 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 118179:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 57362 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 24445 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 50496 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 38843 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 28644 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 130292:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 38762 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 150851:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 1090968:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 64558 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 87016 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 3243316:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 4751573:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 12753243:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 4183066:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 969410:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 62425 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 20233907:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 669565:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 1920741:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 13686015:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 1611677:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 23332485:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 679761:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 27136465:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 6320578:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 33620130:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 32975419:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 55193167:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 24180159:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 10069307:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 16526737:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 20472119:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 3325824:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 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.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3367623:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 1520492:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 26731692:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 30021981:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 18242154:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 721278:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 43041651:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 43931397:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 14625354:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 16707549:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 35380470:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 1142217:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 13563853:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 1079128:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 69923161:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=52b75bc6c8456215cdaad6fb3a5164ee Cycle=SyncdRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww022 No BCSyncdWW Safe=Fre SyncdRR DpdR Time bcsdww022 94.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 2029 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 523626:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 1383041:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 419134:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 1490513:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 238738:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 839649:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 954258:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 1825338:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 6026324:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 1616330:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 266532:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 1402920:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 2188740:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 2725870:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 1099329:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 300591:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 859844:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 8149031:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 899742:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 366653:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 435693:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 3574405:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 3268425:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 170245:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 28727495:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 5132921:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 4519327:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 21426164:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 12647793:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 2674026:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 17169139:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 1419270:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 29966079:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 698362:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 9639750:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 11693415:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 26131632:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 51901040:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 16645234:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 20117896:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 18463457:>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 98.52 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 (105 states) 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 4 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 1 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 6 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 5 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 19 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 26 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 79 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 3 :>1:r1=0; 1:r4=1; 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; 42 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 29 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 147 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 50 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 82 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 139 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 70 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 88 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 91 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 87 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 92 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 42 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 66 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 65 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 85 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 278 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 5343 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 5727 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 850 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 8875 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 13001 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 85347 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 9007 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 3783 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 851 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 4715 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 85767 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 14609 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 57019 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 15276 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 69916 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 8916 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 5040 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 3716 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 251 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 70987 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 7907 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 68364 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 14713 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 102276:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 56505 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 67219 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 100206:>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 37178 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 36802 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 349524:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 27336 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 179847:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 13639 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 50502 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 9111 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 71669 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 37708 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 72786 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 74422 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 50651 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 71681 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 39608 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 128951:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 26927 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 348654:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 15022 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 181010:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 455589:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 131297:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 1765708:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 4114566:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 3155732:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 458742:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 2694519:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 7589142:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 9386385:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 6439506:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 6503096:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 4719492:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 9318971:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 770460:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 7761 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 22364280:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 8009414:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 4132562:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 2696397:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 22321770:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 36883425:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 1735772:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 7615092:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 24162397:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 27383076:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 27437744:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 21488642:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; 3157224:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 24148846:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 21495718:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 4745840:>1:r1=2; 1:r4=2; 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 116.59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 21 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 2760 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 5222 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 17747 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 155694:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 34653 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 10649 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 11241 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 22013 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 125781:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 51342 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 115103:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 2943 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 25942 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 41998 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 698028:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 2685740:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 99799 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 69932 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 20744 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 20018679:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 12969699:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 47793 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 500987:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 3876501:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 33202535:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 1277708:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 3224929:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 19072604:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 5285137:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 494573:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 11658543:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 6662513:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 25498283:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 1666078:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 36202798:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 25967992:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 12030136:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 2087875:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 54818881:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 13211960:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 26026444:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=f58b58e77c065c1d7e45eddd6a49ef4b Cycle=SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww025 No BCSyncdWW Safe=Fre SyncdRR DpsR Time bcsdww025 93.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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; 6 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 9 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 60 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 28 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 100 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 19 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 1113 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 184 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 558 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 68 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 443 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 339 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 6046 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 3217 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 388 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 1111 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 2408 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 2498 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 5054 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 2154 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 13610 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 3727 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 25591 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 2916 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 344 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 71006 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 5077 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 784 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 5507 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 5845 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 37295 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 12785 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 17578 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 9555 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 43289 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 9470 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 23945 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 13268 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 3066 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 676 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 17694 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 85833 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 33049 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 24006 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 783890:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 3624 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 32225 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 824691:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 108319:>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 59592 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 38301 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 130948:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 215940:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 89647 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 295829:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 67305 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 60111 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 208285:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 774211:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 362999:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 445775:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 644150:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 674654:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 122823:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 1469170:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 12874 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 759884:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 504595:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 798644:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 2232713:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 312587:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 3081460:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 825668:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 3877350:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 632529:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 3609894:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 552182:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 1269121:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 562566:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 2197678:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 4906857:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 3285652:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 1482503:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 1656468:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 6996580:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 3507818:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 6467064:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 1527562:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 6539836:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 2256395:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 2779614:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 8863071:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 5318852:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 1138080:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 2294522:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 21696287:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 7697473:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 18742144:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 21366474:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 35228762:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 9151092:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 20646156:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 23928580:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 3678523:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 25175056:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 24318705:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 20215920:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1: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 119.13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 6410292:>0:r3=1; 2:r1=0; x=1; 80260048:>0:r3=1; 2:r1=1; x=1; 54610347:>0:r3=0; 2:r1=0; x=2; 20489307:>0:r3=0; 2:r1=1; x=1; 105368256:>0:r3=1; 2:r1=0; x=2; 111777540:>0:r3=0; 2:r1=0; x=1; 21084210:>0:r3=1; 2:r1=1; x=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=a3cc59f896bd23424085486bc047f237 Cycle=DpdW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww027 No BCSyncdWW Safe=Fre Wse SyncdWR DpdW Time bcsdww027 63.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 11591888:>0:r3=1; 2:r1=0; x=1; 13129186:>0:r3=1; 2:r1=1; x=2; 41522752:>0:r3=0; 2:r1=0; x=2; 127063726:>0:r3=0; 2:r1=0; x=1; 112283990:>0:r3=1; 2:r1=0; x=2; 16024140:>0:r3=0; 2:r1=1; x=1; 78384318:>0:r3=1; 2:r1=1; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=e4e07528cdbf9272fd50b0cf6708ccaa Cycle=SyncdRW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww028 No BCSyncdWW Safe=Fre Wse SyncdWR SyncdRW Time bcsdww028 62.19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 4416375:>0:r3=1; 2:r1=0; 2:r4=1; 79142023:>0:r3=1; 2:r1=1; 2:r4=1; 108778545:>0:r3=0; 2:r1=0; 2:r4=1; 109057326:>0:r3=1; 2:r1=0; 2:r4=0; 52949237:>0:r3=0; 2:r1=0; 2:r4=0; 21883103:>0:r3=0; 2:r1=1; 2:r4=1; 23773391:>0:r3=1; 2:r1=1; 2:r4=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=1052dfbfb336d023eeffaaf6c00324c1 Cycle=DpdR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww029 No BCSyncdWW Safe=Fre SyncdWR DpdR Time bcsdww029 79.85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1341 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 6104 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 3497 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 282001:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 22482 :>0:r3=0; 2:r1=0; 2:r4=2; y=1; 718692:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 270121:>0:r3=1; 2:r1=0; 2:r4=1; y=1; 140083:>0:r3=1; 2:r1=0; 2:r4=2; y=1; 14923827:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 4326952:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 1506361:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 42027444:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 25592787:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 105072954:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 86661407:>0:r3=1; 2:r1=0; 2:r4=0; y=2; 54263479:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 23200601:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 40979867:>0:r3=1; 2:r1=2; 2:r4=2; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=762db7307d35c050ae02494154891df7 Cycle=DpsR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww030 No BCSyncdWW Safe=Fre SyncdWR DpsR Time bcsdww030 63.38 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 7820807:>0:r3=1; 2:r1=0; 2:r3=1; 76241264:>0:r3=1; 2:r1=1; 2:r3=1; 16089072:>0:r3=0; 2:r1=1; 2:r3=1; 115704586:>0:r3=1; 2:r1=0; 2:r3=0; 51600153:>0:r3=0; 2:r1=0; 2:r3=0; 116964641:>0:r3=0; 2:r1=0; 2:r3=1; 15579477:>0:r3=1; 2:r1=1; 2:r3=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=d99b2c9fcd24d521255a6c4ef185df57 Cycle=SyncdRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww031 No BCSyncdWW Safe=Fre SyncdWR SyncdRR Time bcsdww031 75.46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 45484 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 454470:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 633714:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 2185150:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 5071596:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 20314516:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 281832:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 3537174:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 13866271:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 4788926:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 2215485:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 37964618:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 75447948:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 13993087:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 40518258:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 20164904:>0:r3=1; 2:r1=1; 2:r3=1; y=2; 104388239:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 54128328:>0:r3=0; 2:r1=0; 2:r3=0; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=1) is NOT validated Hash=6ef8013c1a65c6c1574ee921baad8f97 Cycle=SyncsRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww032 No BCSyncdWW Safe=Fre SyncsRR SyncdWR Time bcsdww032 66.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 128730195:>1:r1=0; 1:r3=1; 309724523:>1:r1=0; 1:r3=0; 201545282:>1:r1=1; 1:r3=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r3=0) is NOT validated Hash=6fa2fc8a03a8948f9262ae5fd1e47a19 Cycle=SyncdRR Fre SyncdWW Rfe Relax bcsdww033 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww033 78.22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 612483:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 804214:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 847481:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 13968642:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 636615:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 5727167:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 23248931:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 35070178:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 13616632:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 13793585:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 68954831:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 34452508:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 47098042:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 47596412:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 13572279:>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.65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1232 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 218773:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 508054:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 432038:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 621440:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 210738:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 341255:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 517591:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 405825:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 2994560:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 544275:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 1933256:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 1723776:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 1365408:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 1512117:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 2223847:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 272836:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 6814875:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 937754:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 2821705:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 1516083:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 3368780:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 8586220:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 3708309:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 15456584:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 923558:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 10358441:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 677695:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 2228344:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 6446869:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 23056460:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 12461308:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 19365283:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 874227:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 12326143:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 32024518:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 1788678:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 30688481:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 52202307:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 25501389:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 11475418:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 18563550:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=f0c1b6d32c1c64645b39ad490ac97524 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe Relax bcsdww035 No BCSyncdWW Safe=Fre SyncsRR SyncdRR Time bcsdww035 94.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 158317:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 1744109:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 880428:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 5289061:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 6421979:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 62335426:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 65388237:>0:r3=1; 2:r1=0; 2:r4=0; x=1; 30724456:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 47081245:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 23338869:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 59486028:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 22418251:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 74733594:>0:r3=1; 2:r1=1; 2:r4=1; 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 62.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 103284:>0:r3=2; 2:r1=0; 2:r3=1; x=2; 925333:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 63213081:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 8516064:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 2348327:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 7841514:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 51506304:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 64324706:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 16335368:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 40697699:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 56234176:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 17373886:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 70580258:>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.21 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1707 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 1726 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 1221 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 16270 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 1048 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 337 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 13888 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 4007 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 7429 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 346 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 2062 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 95359 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 29679 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 82607 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 2047 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 7210 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 28598 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 20421 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 27163 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 102763:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 85235 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 19716 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 30779 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 30951 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 88678 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 142878:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 11724 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 67813 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 14297 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 139577:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 729509:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 127054:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 67124 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 145550:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 237026:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 529512:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 223475:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 753083:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 704159:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 232581:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 87771 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 435604:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 549915:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 537702:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 697221:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 26803 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 822916:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 126909:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 668968:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 672280:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 217903:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 143224:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 535742:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 1346849:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 2088167:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 2001410:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 299456:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 510016:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 818330:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 1354768:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 755277:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 1419496:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 3526202:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 3470162:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1208403:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 303711:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 759535:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 742740:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 740074:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 434001:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 1254158:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 1256595:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 3477565:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 557210:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 2131199:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 818602:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 2089346:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 978827:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 1420858:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 430666:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 3527372:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 2005005:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 2209551:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 2136907:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 6386824:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 435722:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 3950575:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 1210424:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 3914130:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 2223228:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 8449319:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 6294161:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 6366702:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 6286152:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 3077497:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 22852900:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 6372864:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 22840446:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 18383780:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 3055966:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 20115602:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 979297:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 19814172:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 8499309:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 18400632:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 20065874:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 33787881:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 19814518:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r3=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=1749371cc26417072606d04b91651c05 Cycle=SyncsRR Fre SyncdWW Rfe SyncsRR Fre SyncdWW Rfe Relax bcsdww038 No BCSyncdWW Safe=Fre SyncsRR Time bcsdww038 119.51 $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 18:14:22 GMT 2009