Tue Dec 22 20:12:31 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww000 "DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 ; li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | ; exists (x=2 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww000 Allowed Histogram (3 states) 81422175:>1:r1=0; x=1; 312549377:>1:r1=0; x=2; 246028448:>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 76.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww001 "DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | li r4,1 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: xor 31,3,3 _litmus_P3_2_: li 10,1 _litmus_P3_3_: stwx 10,31,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww001 Allowed Histogram (15 states) 598111:>1:r1=1; 3:r1=1; x=2; z=1; 3081278:>1:r1=0; 3:r1=0; x=1; z=1; 618658:>1:r1=1; 3:r1=1; x=1; z=2; 1512605:>1:r1=1; 3:r1=0; x=2; z=2; 16332326:>1:r1=1; 3:r1=0; x=2; z=1; 27258561:>1:r1=1; 3:r1=1; x=1; z=1; 13999544:>1:r1=0; 3:r1=1; x=2; z=1; 1259819:>1:r1=0; 3:r1=1; x=2; z=2; 42429732:>1:r1=0; 3:r1=0; x=1; z=2; 13560379:>1:r1=0; 3:r1=1; x=1; z=2; 35420633:>1:r1=1; 3:r1=0; x=1; z=1; 32513470:>1:r1=0; 3:r1=1; x=1; z=1; 15953738:>1:r1=1; 3:r1=0; x=1; z=2; 44823004:>1:r1=0; 3:r1=0; x=2; z=1; 70638142:>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 88.97 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww002 "SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | li r3,1 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 4,1 _litmus_P3_3_: stw 4,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww002 Allowed Histogram (15 states) 1152736:>1:r1=1; 3:r1=0; x=2; z=2; 734367:>1:r1=1; 3:r1=1; x=1; z=2; 262314:>1:r1=1; 3:r1=1; x=2; z=1; 638256:>1:r1=0; 3:r1=1; x=2; z=2; 14237098:>1:r1=1; 3:r1=0; x=2; z=1; 46740714:>1:r1=0; 3:r1=0; x=2; z=1; 8892079:>1:r1=0; 3:r1=1; x=2; z=1; 41865256:>1:r1=1; 3:r1=0; x=1; z=1; 32176112:>1:r1=0; 3:r1=1; x=1; z=1; 17555993:>1:r1=1; 3:r1=0; x=1; z=2; 47958688:>1:r1=0; 3:r1=0; x=1; z=2; 5414715:>1:r1=0; 3:r1=0; x=1; z=1; 24706283:>1:r1=1; 3:r1=1; x=1; z=1; 64614080:>1:r1=0; 3:r1=0; x=2; z=2; 13051309:>1:r1=0; 3:r1=1; x=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=af33a9d4f6f79386d356cbbdb0662698 Cycle=SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww002 No BCSyncdWW Safe=Wse SyncdRW DpdW Time bcsdww002 89.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww003 "DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | lwzx r4,r3,r5 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: xor 10,30,30 _litmus_P3_2_: lwzx 31,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww003 Allowed Histogram (15 states) 1052588:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 1926050:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 2454995:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 34129490:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 823953:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 27186535:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 13880877:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 18565569:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 72514868:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 13649730:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 30897854:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 41574534:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 43464049:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 690919:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 17187989:>1:r1=0; 3:r1=1; 3:r4=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 90.78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww004 "DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | lwzx r4,r3,r2 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: xor 10,4,4 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 31,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,31,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww004 Allowed Histogram (42 states) 13 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 9495 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 4890 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 13064 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 12817 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 2841 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 54758 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 20252 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 204340:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 59268 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 135847:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 4608 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 66404 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 31798 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 27476 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 331891:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 527042:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 37975 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 120110:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 1065773:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 31606 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 129762:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 2101622:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 3783672:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 940185:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 554840:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 11943937:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 7421146:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 9061103:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 25699129:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 38839253:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 33431798:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 1713001:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 21784176:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 25692304:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 26137344:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 57883938:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 13234115:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 4222825:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 10210286:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 4438000:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 18015296:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26d413fc2e2cdadfa9e0f1aeb3ab365b Cycle=DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww004 No BCSyncdWW Safe=Fre Wse DpsR DpdW Time bcsdww004 93.84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww005 "SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | lwz r3,0(r4) ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 4,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,4,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww005 Allowed Histogram (15 states) 1038812:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 1212682:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 623075:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 4357826:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 46164754:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 44642310:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 14175914:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 35873455:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 25762814:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 14713363:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 68179913:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 32611996:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 759807:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 15113955:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 14769324:>1:r1=1; 3:r1=0; 3:r3=0; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=9d8e29c8c4e565bae4fdb78aec0db9b5 Cycle=SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww005 No BCSyncdWW Safe=Fre Wse SyncdRR DpdW Time bcsdww005 90.69 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww006 "SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | lwz r3,0(r2) ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 31,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,31,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww006 Allowed Histogram (42 states) 902 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 463540:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 1353621:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 267146:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 147175:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 374957:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 532621:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 311480:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 503095:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 170357:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 539035:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 460351:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 1854041:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 1605299:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 322638:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 365545:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 2830031:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 3232039:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 9035424:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 8057119:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 6160506:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 1700481:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 3292633:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 932404:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 24650300:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 1722661:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 1982667:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 1416138:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 3950530:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 24210185:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 9043683:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 12389839:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 11654388:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 15449561:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 20093146:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 34835762:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 2695751:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 29521545:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 53681984:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 7006502:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 20503509:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 679409:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=62faf55c9e7916888e6ae088e9375bff Cycle=SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww006 No BCSyncdWW Safe=Fre Wse SyncsRR DpdW Time bcsdww006 94.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww007 "DpdW Wse SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; li r3,1 | li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: xor 31,3,3 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,31,9 _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww007 Allowed Histogram (7 states) 11482825:>2:r1=0; x=1; y=1; 90857535:>2:r1=1; x=1; y=1; 15075478:>2:r1=1; x=1; y=2; 123448419:>2:r1=0; x=2; y=1; 34644294:>2:r1=0; x=2; y=2; 103224562:>2:r1=0; x=1; y=2; 21266887:>2:r1=1; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=7c2462ff041c713f8de949f757a40d53 Cycle=DpdW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww007 No BCSyncdWW Safe=Wse SyncdWW DpdW Time bcsdww007 73.26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww008 "SyncdRW Wse SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww008 Allowed Histogram (7 states) 10551405:>2:r1=1; x=1; y=2; 12638187:>2:r1=1; x=2; y=1; 18457511:>2:r1=0; x=1; y=1; 88113578:>2:r1=1; x=1; y=1; 26959315:>2:r1=0; x=2; y=2; 115604708:>2:r1=0; x=1; y=2; 127675296:>2:r1=0; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=e6b1c1a0023ee13d1ea18feb286c6d13 Cycle=SyncdRW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww008 No BCSyncdWW Safe=Wse SyncdWW SyncdRW Time bcsdww008 76.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww009 "DpdR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 31,10,9 _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww009 Allowed Histogram (7 states) 8867441:>2:r1=1; 2:r4=1; y=2; 15178591:>2:r1=1; 2:r4=0; y=1; 11259748:>2:r1=0; 2:r4=1; y=1; 141078539:>2:r1=0; 2:r4=0; y=1; 80366326:>2:r1=1; 2:r4=1; y=1; 106724857:>2:r1=0; 2:r4=1; y=2; 36524498:>2:r1=0; 2:r4=0; 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 73.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww010 "DpsR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r2 ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P2_0_: lwz 3,0(9) _litmus_P2_1_: xor 10,3,3 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww010 Allowed Histogram (18 states) 590 :>2:r1=0; 2:r4=1; x=2; y=1; 7517 :>2:r1=2; 2:r4=1; x=1; y=1; 13122 :>2:r1=1; 2:r4=2; x=1; y=2; 38781 :>2:r1=0; 2:r4=2; x=2; y=1; 82456 :>2:r1=0; 2:r4=1; x=1; y=1; 358332:>2:r1=2; 2:r4=1; x=2; y=1; 300644:>2:r1=0; 2:r4=2; x=1; y=2; 50488 :>2:r1=0; 2:r4=2; x=1; y=1; 839592:>2:r1=0; 2:r4=1; x=1; y=2; 37375249:>2:r1=0; 2:r4=0; x=2; y=1; 4681797:>2:r1=2; 2:r4=2; x=1; y=1; 29050370:>2:r1=1; 2:r4=1; x=1; y=1; 41108483:>2:r1=1; 2:r4=1; x=1; y=2; 56576696:>2:r1=0; 2:r4=0; x=1; y=1; 97785164:>2:r1=2; 2:r4=2; x=2; y=1; 69435523:>2:r1=0; 2:r4=0; x=1; y=2; 46933966:>2:r1=2; 2:r4=2; x=1; y=2; 15361230:>2:r1=1; 2:r4=1; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=3bd35505ff4c5dbff1bb92ff33d7496b Cycle=DpsR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww010 No BCSyncdWW Safe=Fre Wse SyncdWW DpsR Time bcsdww010 77.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww011 "SyncdRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww011 Allowed Histogram (7 states) 9644013:>2:r1=1; 2:r3=1; y=2; 13682463:>2:r1=0; 2:r3=1; y=1; 133071118:>2:r1=0; 2:r3=0; y=1; 84445116:>2:r1=1; 2:r3=1; y=1; 34245637:>2:r1=0; 2:r3=0; y=2; 109367922:>2:r1=0; 2:r3=1; y=2; 15543731:>2:r1=1; 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 77.02 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww012 "SyncsRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_P2_0_: lwz 4,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww012 Allowed Histogram (18 states) 26816 :>2:r1=0; 2:r3=1; x=2; y=1; 665484:>2:r1=0; 2:r3=1; x=1; y=1; 2508811:>2:r1=0; 2:r3=2; x=2; y=1; 550952:>2:r1=2; 2:r3=1; x=1; y=1; 12041148:>2:r1=0; 2:r3=1; x=1; y=2; 13453236:>2:r1=1; 2:r3=1; x=2; y=1; 491474:>2:r1=0; 2:r3=2; x=1; y=1; 4836035:>2:r1=2; 2:r3=1; x=2; y=1; 2284833:>2:r1=1; 2:r3=2; x=1; y=2; 4265368:>2:r1=0; 2:r3=2; x=1; y=2; 4575110:>2:r1=2; 2:r3=2; x=1; y=1; 27786411:>2:r1=1; 2:r3=1; x=1; y=1; 44551888:>2:r1=2; 2:r3=2; x=1; y=2; 57213607:>2:r1=0; 2:r3=0; x=1; y=1; 65210575:>2:r1=0; 2:r3=0; x=1; y=2; 29906024:>2:r1=1; 2:r3=1; x=1; y=2; 95160082:>2:r1=2; 2:r3=2; x=2; y=1; 34472146:>2:r1=0; 2:r3=0; x=2; y=1; 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 78.08 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww013 "SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; sync | li r3,1 ; li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | ; exists (x=2 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww013 Allowed Histogram (3 states) 127747649:>1:r1=0; x=1; 218482733:>1:r1=1; x=1; 293769618:>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 75.67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww014 "SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | li r3,1 ; li r3,1 | stw r3,0(r4) | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 4,1 _litmus_P3_3_: stw 4,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww014 Allowed Histogram (15 states) 342915:>1:r1=1; 3:r1=1; x=1; z=2; 595018:>1:r1=1; 3:r1=0; x=2; z=2; 11471789:>1:r1=1; 3:r1=0; x=1; z=2; 9083816:>1:r1=0; 3:r1=1; x=2; z=1; 361707:>1:r1=0; 3:r1=1; x=2; z=2; 12353687:>1:r1=1; 3:r1=0; x=2; z=1; 20983338:>1:r1=1; 3:r1=1; x=1; z=1; 41960113:>1:r1=1; 3:r1=0; x=1; z=1; 10363778:>1:r1=0; 3:r1=1; x=1; z=2; 38635203:>1:r1=0; 3:r1=1; x=1; z=1; 9622629:>1:r1=0; 3:r1=0; x=1; z=1; 53294520:>1:r1=0; 3:r1=0; x=2; z=1; 254896:>1:r1=1; 3:r1=1; x=2; z=1; 50858217:>1:r1=0; 3:r1=0; x=1; z=2; 59818374:>1:r1=0; 3:r1=0; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=ee6d6ba63625d467fac397c863618ff2 Cycle=SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww014 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww014 91.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww015 "DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r3,1 | sync | lwzx r4,r3,r5 ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P3_0_: lwz 30,0(11) _litmus_P3_1_: xor 10,30,30 _litmus_P3_2_: lwzx 31,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww015 Allowed Histogram (15 states) 371671:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 929767:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 664086:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 25264584:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 42571799:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 39570702:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 13078184:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 14508380:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 4797068:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 9943758:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 49125307:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 19382390:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 31470367:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 66983248:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 1338689:>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 92.71 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww016 "DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r3,1 | sync | lwzx r4,r3,r2 ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: xor 10,4,4 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww016 Allowed Histogram (42 states) 18 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 2539 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 3436 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 4543 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 10562 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 13377 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 14669 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 59454 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 166576:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 32708 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 19541 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 63721 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 21269 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 41258 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 32771 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 105769:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 141425:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 49595 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 92559 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 581233:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 507116:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 293203:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 9177788:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 2732358:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 4476203:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 11251728:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 839245:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 2436666:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 36359813:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 1390848:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 18364056:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 3176131:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 14487318:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 2828742:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 27740997:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 10550142:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 27293342:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 36265565:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 53821553:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 8938511:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 18290665:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 27320987:>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 94.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww017 "SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r4) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 31,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww017 Allowed Histogram (15 states) 390002:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 612931:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 896901:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 510522:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 12771140:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 10009923:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 15357826:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 51554392:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 6642936:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 34981067:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 45927471:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 38518312:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 65278672:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 23131196:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 13416709:>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=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 91.57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww018 "SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r2) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww018 Allowed Histogram (42 states) 1027 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 190037:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 130665:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 605532:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 180685:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 561768:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 522444:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 1432303:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 1915407:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 2937397:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 1110141:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 763419:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 384786:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 531727:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 1500243:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 423996:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 286732:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 495419:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 1617029:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 2717503:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 5942967:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 280288:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 2773397:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 8710189:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 25483530:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 3298884:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 932687:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 1962381:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 8292675:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 3467493:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 14255945:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 1834831:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 8727862:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 10475617:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 15789554:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 50256898:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 32109540:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 32579382:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 9402724:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 26262263:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 17640537:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 21212096:>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 94.98 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 79632558:>1:r1=0; 1:r4=1; 320163651:>1:r1=0; 1:r4=0; 240203791:>1:r1=1; 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 78.47 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1655732:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 1668001:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 1115198:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 1782497:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 41120307:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 32169676:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 28486870:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 71047786:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 32101128:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 16384782:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 16893358:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 16923319:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 41113881:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 1118607:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 16418858:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=ff6729203383abc4a32d53a80bd77acb Cycle=DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww020 No BCSyncdWW Safe=Fre DpdR Time bcsdww020 91.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww021 "DpsR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 | sync | lwzx r4,r3,r2 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: xor 10,4,4 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: xor 10,30,30 _litmus_P1_2_: lwzx 31,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww021 Allowed Histogram (42 states) 19 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 5375 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 6040 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 24002 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 22565 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 229533:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 46709 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 149435:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 6547 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 19306 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 32778 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 46133 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 27109 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 89106 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 24512 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 47442 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 77428 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 61703 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 459402:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 4764958:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 989139:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 1771227:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 561243:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 2945717:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 4449899:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 6290122:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 12871878:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 27428247:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 3715653:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 1071409:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 1677839:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 137981:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 33225732:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 20255910:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 25340910:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 55771515:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 20055540:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 31975859:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 10513809:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 15999427:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 12641281:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 24169561:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; 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 93.39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 780040:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 1043135:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 1047167:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 434763:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 23362109:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 12532412:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 4216229:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 13679981:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 71916206:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 31843657:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 36170586:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 47010710:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 16145750:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 45380619:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 14436636:>1:r1=0; 1:r4=0; 3:r1=1; 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 89.80 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww023 "SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r5 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: xor 10,30,30 _litmus_P1_2_: lwzx 31,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww023 Allowed Histogram (42 states) 2019 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 392127:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 278494:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 294733:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 231296:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 440376:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 358683:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 1805134:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 1417323:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 2669960:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 679817:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 435248:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 1750291:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 1182834:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 3413826:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 913027:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 5697614:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 1361151:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 707852:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 1383012:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 175660:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 1219420:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 7505840:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 4544416:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 5235898:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 860122:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 3482643:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 16162800:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 17525172:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 12230308:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 51670305:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 2421125:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 20328258:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 19683450:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 9851560:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 25911415:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 29149155:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 29213466:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 2582221:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 975436:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 11952036:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 21904477:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=ef69b708c957de42a04a8b5ca4d81078 Cycle=SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww023 No BCSyncdWW Safe=Fre SyncsRR DpdR Time bcsdww023 94.09 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww024 "DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r2 | sync | lwzx r4,r3,r2 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: xor 10,4,4 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww024 Allowed Histogram (102 states) 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 2 :>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; 4 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 42 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 110 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 83 :>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=0; 3:r4=2; x=1; y=2; 67 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 10 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 33 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 26 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 49 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 23 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 21 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 37 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 66 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 39 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 90 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 23 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 31 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 138 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 33 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 578 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 1851 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 248 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 2344 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 1946 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 656 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 2028 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 3588 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 49337 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 5314 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 242 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 16626 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 44743 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 31416 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 3466 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 15875 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 52753 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 36993 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 7499 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 12597 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 52922 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 4723 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 37494 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 57195 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 6899 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 45943 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 52773 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 12652 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 36398 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 46274 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 29623 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 37373 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 66651 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 13490 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 72984 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 16841 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 110656:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 32113 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 36637 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 280154:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 125051:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 12389 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 23238 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 52137 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 471397:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 363988:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 109662:>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 1806994:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 7511247:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 9769059:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 6524522:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 470402:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 3172188:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 147710:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 11735 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 130711:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 4302969:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 47106 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 2679149:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 3721198:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 748287:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 7579186:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 22464773:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 3284011:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 1798960:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 3745249:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 4374723:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 22415343:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 9838231:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 35617039:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 27281225:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 24581916:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 22451935:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 24268900:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 7496267:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 2828376:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 6488663:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 27249097:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 22694077:>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 105.22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww025 "SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 4,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww025 Allowed Histogram (42 states) 48 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 8016 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 44761 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 20904 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 47364 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 53146 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 30436 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 7285 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 16617 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 26225 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 161027:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 77644 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 317749:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 211997:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 90866 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 46974 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 104378:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 155403:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 78472 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 3108289:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 630882:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 597115:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 1236454:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 3794781:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 12739843:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 6960571:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 1526011:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 12457094:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 2682985:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 4934353:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 55278448:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 596380:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 25383393:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 19956459:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 11421388:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 18444734:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 2204856:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 25563370:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 12575227:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 36470446:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 26279026:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 33658583:>1:r1=0; 1:r4=0; 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 95.01 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww026 "SyncsRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww026 Allowed Histogram (108 states) 5 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 27 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 23 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 4 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 10 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 3 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 81 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 364 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 245 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 601 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 1034 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 1378 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 634 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 1296 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 466 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 2052 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 5004 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 2980 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 153 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 627 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 822 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 857 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 9495 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 4923 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 234 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 382 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 2873 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 2998 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 42561 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 28214 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 6415 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 14150 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 92 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 58524 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 6419 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 11317 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 12023 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 37148 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 46216 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 3780 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 3288 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 15883 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 3530 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 11347 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 79468 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 36997 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 35798 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 426412:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 622820:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 647183:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 600607:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 513394:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 701748:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 198417:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 307114:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 109525:>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 379504:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 34476 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 731647:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 629038:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 506641:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 6655503:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 2924001:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 1780182:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 3568403:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 2308760:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 11356 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 47021 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 5978 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 1547991:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 1389394:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 29633 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 691437:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 81970 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 5533621:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 118916:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 9029444:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 136531:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 324774:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 459009:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 2093658:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 3311639:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 181552:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 5199766:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 2790069:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 2146031:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 2299761:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 808265:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 1252084:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 21970861:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 3579840:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 569332:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 6346592:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 3863192:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 25081389:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 20596020:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 6019933:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 34495630:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 24596092:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 21549968:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 3252016:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 19899667:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 7573910:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 1627682:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 8864412:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 1268171:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 24467307:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 20749970:>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 108.14 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww027 "DpdW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; lwz r3,0(r4) | li r3,1 | stwx r4,r3,r5 ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: xor 31,3,3 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,31,9 _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 31,2 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww027 Allowed Histogram (7 states) 5490419:>0:r3=1; 2:r1=0; x=1; 22929573:>0:r3=0; 2:r1=1; x=1; 82604534:>0:r3=1; 2:r1=1; x=1; 102871728:>0:r3=1; 2:r1=0; x=2; 55577337:>0:r3=0; 2:r1=0; x=2; 108623409:>0:r3=0; 2:r1=0; x=1; 21903000:>0:r3=1; 2:r1=1; x=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=a3cc59f896bd23424085486bc047f237 Cycle=DpdW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww027 No BCSyncdWW Safe=Fre Wse SyncdWR DpdW Time bcsdww027 75.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww028 "SyncdRW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | li r3,1 ; lwz r3,0(r4) | li r3,1 | stw r3,0(r4) ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 31,2 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww028 Allowed Histogram (7 states) 10568733:>0:r3=1; 2:r1=0; x=1; 41924652:>0:r3=0; 2:r1=0; x=2; 12583126:>0:r3=1; 2:r1=1; x=2; 127838831:>0:r3=0; 2:r1=0; x=1; 113144834:>0:r3=1; 2:r1=0; x=2; 77745247:>0:r3=1; 2:r1=1; x=1; 16194577:>0:r3=0; 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 70.94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 23232115:>0:r3=1; 2:r1=1; 2:r4=0; 53282025:>0:r3=0; 2:r1=0; 2:r4=0; 77771393:>0:r3=1; 2:r1=1; 2:r4=1; 20041233:>0:r3=0; 2:r1=1; 2:r4=1; 110826415:>0:r3=0; 2:r1=0; 2:r4=1; 110146226:>0:r3=1; 2:r1=0; 2:r4=0; 4700593:>0:r3=1; 2:r1=0; 2:r4=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=1052dfbfb336d023eeffaaf6c00324c1 Cycle=DpdR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww029 No BCSyncdWW Safe=Fre SyncdWR DpdR Time bcsdww029 77.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww030 "DpsR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r2 ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P2_0_: lwz 3,0(9) _litmus_P2_1_: xor 10,3,3 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww030 Allowed Histogram (18 states) 2324 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 1548 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 13417 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 104405:>0:r3=0; 2:r1=0; 2:r4=2; y=1; 498997:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 374327:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 58947 :>0:r3=1; 2:r1=0; 2:r4=2; y=1; 73689 :>0:r3=1; 2:r1=0; 2:r4=1; y=1; 765135:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 2394064:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 69167873:>0:r3=1; 2:r1=0; 2:r4=0; y=2; 15484196:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 41881544:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 24077031:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 38932104:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 46032968:>0:r3=1; 2:r1=2; 2:r4=2; y=2; 105368531:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 54768900:>0:r3=0; 2:r1=0; 2:r4=0; 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 77.31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 7315359:>0:r3=1; 2:r1=0; 2:r3=1; 16492838:>0:r3=0; 2:r1=1; 2:r3=1; 75801108:>0:r3=1; 2:r1=1; 2:r3=1; 51567754:>0:r3=0; 2:r1=0; 2:r3=0; 116346818:>0:r3=0; 2:r1=0; 2:r3=1; 16733081:>0:r3=1; 2:r1=1; 2:r3=0; 115743042:>0:r3=1; 2:r1=0; 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 77.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww032.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww032 "SyncsRR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_P2_0_: lwz 4,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww032 Allowed Histogram (18 states) 55657 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 332702:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 666609:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 348464:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 2414593:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 2691219:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 14493391:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 66322652:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 2444808:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 5688767:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 4203329:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 11369673:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 22190681:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 39657286:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 43540995:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 52245607:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 101897213:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 29436354:>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 80.62 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 109468497:>1:r1=0; 1:r3=1; 221869461:>1:r1=1; 1:r3=1; 308662042:>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.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 796210:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 6297505:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 613305:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 48838825:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 13137463:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 34535332:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 504887:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 50464425:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 12443263:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 20854011:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 11330041:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 35194881:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 71132353:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 434462:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 13423037:>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 93.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww035.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww035 "SyncsRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r4) | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,1 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 31,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww035 Allowed Histogram (42 states) 1142 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 425588:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 399502:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 239019:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 1307533:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 900766:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 1440788:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 438469:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 1990503:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 2369772:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 688961:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 1353036:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 5871860:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 297715:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 509781:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 3174862:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 1920516:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 528427:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 178924:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 247188:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 476425:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 536794:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 2847912:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 2070156:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 3227280:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 12043496:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 7128653:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 9479147:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 959891:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 7734481:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 19237986:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 2036451:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 24959622:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 3622804:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 33802057:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 12891998:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 24306924:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 15656288:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 29390591:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 19993906:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 11256452:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 52056334:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 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 93.26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww036.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww036 "DpdR Fre SyncsWR Fre SyncdWW Rfe" {0:r2=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 31,10,9 _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test bcsdww036 Allowed Histogram (13 states) 2125776:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 1455276:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 7138227:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 155669:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 10752511:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 8437490:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 46581885:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 51827738:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 58659576:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 65244287:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 65881464:>0:r3=1; 2:r1=0; 2:r4=0; x=1; 67891635:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 13848466:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 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 75.19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww037.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww037 "SyncdRR Fre SyncsWR Fre SyncdWW Rfe" {0:r2=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 31,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test bcsdww037 Allowed Histogram (13 states) 115360:>0:r3=2; 2:r1=0; 2:r3=1; x=2; 1035815:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 8932145:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 2161617:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 62567995:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 7991904:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 64127288:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 14846659:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 54718490:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 42126833:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 14246239:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 70010993:>0:r3=1; 2:r1=1; 2:r3=1; x=1; 57118662:>0:r3=1; 2:r1=0; 2:r3=0; x=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=c99d291fc8d3f66519c556e43131cb0b Cycle=SyncdRR Fre SyncsWR Fre SyncdWW Rfe Relax bcsdww037 No BCSyncdWW Safe=Fre SyncsWR SyncdRR Time bcsdww037 73.78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/bcsdww038.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww038 "SyncsRR Fre SyncdWW Rfe SyncsRR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r2) | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r3=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _litmus_P1_2_: lwz 11,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww038 Allowed Histogram (108 states) 430 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 1984 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 1232 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 2242 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 13557 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 12351 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 1005 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 2472 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 145608:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 9883 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 1815 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 465 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 34540 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 13316 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 24653 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 6709 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 19683 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 19448 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 65162 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 104522:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 3743 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 77408 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 82377 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 30123 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 817948:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 32651 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 793385:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 33662 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 124767:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 731780:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 732332:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 202978:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 78883 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 791017:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 96836 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 277435:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 802651:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 1148124:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 8022 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 141358:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 565891:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 547897:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 2263881:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 294586:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1147164:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 2231724:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 615413:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 140507:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 241227:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 1345062:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 814209:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 137353:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 221584:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 414665:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 632433:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 1364246:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 194028:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 635724:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 1319451:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 493221:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 23471 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 852688:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 429822:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 2107191:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 507914:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 3778692:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 1223069:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 3364060:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1027842:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 688592:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 2105136:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 3613136:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 1068620:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 420779:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 141589:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 563389:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 726220:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 397908:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 85258 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 5953709:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 546609:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 2095935:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 8805246:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 3017530:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 2286848:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 4002202:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 299039:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 1193708:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 2141498:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 1879504:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 3471643:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 2118588:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 6553011:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 6093776:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 18797079:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 6222866:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 19557575:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 19855117:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 8786401:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 4055687:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 18463617:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 32419867:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 23177767:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 2965057:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 19866177:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 22513533:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 6292037:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 20334175:>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 109.89 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 2000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 20000 #endif #ifndef N_EXE #define N_EXE (32 < N ? 1 : 32 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: false */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS= Tue Dec 22 21:08:28 GMT 2009