Sat Dec 26 16:41: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 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) 101264176:>1:r1=0; x=1; 306763275:>1:r1=0; x=2; 231972549:>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 32.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 622242:>1:r1=1; 3:r1=1; x=1; z=2; 621879:>1:r1=1; 3:r1=1; x=2; z=1; 1381517:>1:r1=0; 3:r1=1; x=2; z=2; 1492004:>1:r1=1; 3:r1=0; x=2; z=2; 13158960:>1:r1=0; 3:r1=1; x=2; z=1; 14680788:>1:r1=1; 3:r1=0; x=1; z=2; 16980520:>1:r1=1; 3:r1=0; x=2; z=1; 32895328:>1:r1=0; 3:r1=1; x=1; z=1; 37071199:>1:r1=1; 3:r1=0; x=1; z=1; 7898487:>1:r1=0; 3:r1=0; x=1; z=1; 44952104:>1:r1=0; 3:r1=0; x=1; z=2; 47233663:>1:r1=0; 3:r1=0; x=2; z=1; 60868440:>1:r1=0; 3:r1=0; x=2; z=2; 14870918:>1:r1=0; 3:r1=1; x=1; z=2; 25271951:>1:r1=1; 3:r1=1; x=1; z=1; 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 73.30 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 980756:>1:r1=1; 3:r1=0; x=2; z=2; 750722:>1:r1=0; 3:r1=1; x=2; z=2; 300931:>1:r1=1; 3:r1=1; x=2; z=1; 651471:>1:r1=1; 3:r1=1; x=1; z=2; 15207827:>1:r1=1; 3:r1=0; x=1; z=2; 8270402:>1:r1=0; 3:r1=1; x=2; z=1; 50113154:>1:r1=0; 3:r1=0; x=1; z=2; 32052257:>1:r1=0; 3:r1=1; x=1; z=1; 50626779:>1:r1=0; 3:r1=0; x=2; z=1; 55296589:>1:r1=0; 3:r1=0; x=2; z=2; 11726357:>1:r1=0; 3:r1=0; x=1; z=1; 44596954:>1:r1=1; 3:r1=0; x=1; z=1; 13966542:>1:r1=1; 3:r1=0; x=2; z=1; 13711546:>1:r1=0; 3:r1=1; x=1; z=2; 21747713:>1:r1=1; 3:r1=1; x=1; z=1; 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 74.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 684062:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 1113664:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 1772912:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 593880:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 15230906:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 13511050:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 12358071:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 7659810:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 24914724:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 47895197:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 44877609:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 32848845:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 61250880:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 18034501:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 37253889:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 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 76.23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 36 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 37593 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 17976 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 11726 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 2479 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 50937 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 16134 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 13411 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 3782 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 131039:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 26411 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 116943:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 21155 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 18467 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 38476 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 7464 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 38418 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 174287:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 1223329:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 54183 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 3747997:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 339671:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 1487483:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 287636:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 383447:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 4253434:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 4881713:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 15297365:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 2134914:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 4515143:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 8937628:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 19161024:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 11436727:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 9581261:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 12073897:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 26731340:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 15661652:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 24739279:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 54220263:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 38471100:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 33490477:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 26162303:>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=26d413fc2e2cdadfa9e0f1aeb3ab365b Cycle=DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww004 No BCSyncdWW Safe=Fre Wse DpsR DpdW Time bcsdww004 79.17 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 679885:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 542565:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 1045448:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 12774963:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 1314023:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 45958304:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 34197681:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 10135747:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 51139426:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 57670298:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 12844241:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 37979969:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 14404473:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 15939150:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 23373827:>1:r1=1; 3:r1=1; 3:r3=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=9d8e29c8c4e565bae4fdb78aec0db9b5 Cycle=SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww005 No BCSyncdWW Safe=Fre Wse SyncdRR DpdW Time bcsdww005 74.22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1143 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 380125:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 843914:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 194801:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 165927:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 425513:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 273348:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 408497:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 396442:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 1240540:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 1977984:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 407569:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 1699688:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 276548:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 1080631:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 3880136:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 641821:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 13172827:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 1583408:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 2487319:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 5899088:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 959108:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 2480454:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 813174:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 1798928:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 10435409:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 20471518:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 3456627:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 5192457:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 589814:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 4119489:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 9827556:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 51936645:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 8052600:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 34598366:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 22196781:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 19186595:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 2519139:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 11184044:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 25739096:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 14801911:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 32203020:>1:r1=0; 3:r1=0; 3:r3=0; 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 79.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 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) 15498710:>2:r1=1; x=2; y=1; 31416652:>2:r1=0; x=2; y=2; 13838253:>2:r1=1; x=1; y=2; 102411890:>2:r1=0; x=1; y=2; 25155898:>2:r1=0; x=1; y=1; 121875025:>2:r1=0; x=2; y=1; 89803572:>2:r1=1; x=1; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=7c2462ff041c713f8de949f757a40d53 Cycle=DpdW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww007 No BCSyncdWW Safe=Wse SyncdWW DpdW Time bcsdww007 48.36 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 24881680:>2:r1=0; x=2; y=2; 10384243:>2:r1=1; x=2; y=1; 12026309:>2:r1=1; x=1; y=2; 35643302:>2:r1=0; x=1; y=1; 110662431:>2:r1=0; x=1; y=2; 127459429:>2:r1=0; x=2; y=1; 78942606:>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 50.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 10572287:>2:r1=1; 2:r4=1; y=2; 11066793:>2:r1=1; 2:r4=0; y=1; 29835140:>2:r1=0; 2:r4=0; y=2; 105703545:>2:r1=0; 2:r4=1; y=2; 30454877:>2:r1=0; 2:r4=1; y=1; 144225704:>2:r1=0; 2:r4=0; y=1; 68141654:>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 47.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 683 :>2:r1=0; 2:r4=1; x=2; y=1; 22842 :>2:r1=1; 2:r4=2; x=1; y=2; 36001 :>2:r1=0; 2:r4=2; x=2; y=1; 371252:>2:r1=2; 2:r4=1; x=2; y=1; 22047 :>2:r1=2; 2:r4=1; x=1; y=1; 497907:>2:r1=0; 2:r4=1; x=1; y=2; 61764 :>2:r1=0; 2:r4=1; x=1; y=1; 73689 :>2:r1=0; 2:r4=2; x=1; y=1; 166193:>2:r1=0; 2:r4=2; x=1; y=2; 32240449:>2:r1=0; 2:r4=0; x=2; y=1; 10711713:>2:r1=1; 2:r4=1; x=2; y=1; 13266646:>2:r1=2; 2:r4=2; x=1; y=1; 40554605:>2:r1=1; 2:r4=1; x=1; y=2; 61335402:>2:r1=0; 2:r4=0; x=1; y=2; 29482662:>2:r1=1; 2:r4=1; x=1; y=1; 97467022:>2:r1=2; 2:r4=2; x=2; y=1; 70387761:>2:r1=0; 2:r4=0; x=1; y=1; 43301362:>2:r1=2; 2:r4=2; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=3bd35505ff4c5dbff1bb92ff33d7496b Cycle=DpsR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww010 No BCSyncdWW Safe=Fre Wse SyncdWW DpsR Time bcsdww010 49.59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 11100436:>2:r1=1; 2:r3=1; y=2; 32627163:>2:r1=0; 2:r3=1; y=1; 26834565:>2:r1=0; 2:r3=0; y=2; 71937624:>2:r1=1; 2:r3=1; y=1; 106591788:>2:r1=0; 2:r3=1; y=2; 139213114:>2:r1=0; 2:r3=0; y=1; 11695310:>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 47.92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 16193 :>2:r1=0; 2:r3=1; x=2; y=1; 2259535:>2:r1=1; 2:r3=2; x=1; y=2; 32249921:>2:r1=1; 2:r3=1; x=1; y=2; 3908118:>2:r1=2; 2:r3=1; x=2; y=1; 8031623:>2:r1=0; 2:r3=1; x=1; y=2; 27863008:>2:r1=0; 2:r3=0; x=2; y=1; 24562117:>2:r1=1; 2:r3=1; x=1; y=1; 795428:>2:r1=0; 2:r3=1; x=1; y=1; 3502240:>2:r1=0; 2:r3=2; x=1; y=2; 12469158:>2:r1=2; 2:r3=2; x=1; y=1; 71774877:>2:r1=0; 2:r3=0; x=1; y=1; 624638:>2:r1=0; 2:r3=2; x=1; y=1; 1076166:>2:r1=2; 2:r3=1; x=1; y=1; 1803895:>2:r1=0; 2:r3=2; x=2; y=1; 41515341:>2:r1=2; 2:r3=2; x=1; y=2; 9433840:>2:r1=1; 2:r3=1; x=2; y=1; 60747751:>2:r1=0; 2:r3=0; x=1; y=2; 97366151:>2:r1=2; 2:r3=2; 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 51.63 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 176963422:>1:r1=0; x=1; 279023198:>1:r1=0; x=2; 184013380:>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 33.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 474104:>1:r1=0; 3:r1=1; x=2; z=2; 574612:>1:r1=1; 3:r1=0; x=2; z=2; 349967:>1:r1=1; 3:r1=1; x=1; z=2; 297499:>1:r1=1; 3:r1=1; x=2; z=1; 12278516:>1:r1=1; 3:r1=0; x=2; z=1; 18271126:>1:r1=1; 3:r1=1; x=1; z=1; 8532581:>1:r1=0; 3:r1=1; x=2; z=1; 53047378:>1:r1=0; 3:r1=0; x=1; z=2; 17394491:>1:r1=0; 3:r1=0; x=1; z=1; 42106446:>1:r1=1; 3:r1=0; x=1; z=1; 55674361:>1:r1=0; 3:r1=0; x=2; z=1; 10715986:>1:r1=0; 3:r1=1; x=1; z=2; 10253886:>1:r1=1; 3:r1=0; x=1; z=2; 51836436:>1:r1=0; 3:r1=0; x=2; z=2; 38192611:>1:r1=0; 3:r1=1; x=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=ee6d6ba63625d467fac397c863618ff2 Cycle=SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww014 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww014 74.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 704821:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 693555:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 408874:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 1109083:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 16169152:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 9083700:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 10629742:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 46730414:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 57210380:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 53084844:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 31990848:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 13065862:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 14507777:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 41542120:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 23068828:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 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 75.46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 24 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 7796 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 3647 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 2235 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 10393 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 4278 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 31805 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 28371 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 14917 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 12813 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 104437:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 60206 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 59216 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 47735 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 23497 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 19491 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 39338 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 93901 :>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 940008:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 2562053:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 338295:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 1672078:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 279261:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 29010 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 2366766:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 283903:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 2737226:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 11535613:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 10669813:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 4808361:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 8571654:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 6128756:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 18761628:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 10770579:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 15272063:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 35630607:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 16380054:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 27421318:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 28628437:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 25914126:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 37094425:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 50639866:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=afd72f686b99433de47ab6d5cad91134 Cycle=DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww016 No BCSyncdWW Safe=Fre Wse SyncdRW DpsR Time bcsdww016 82.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww017 "SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r4) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 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) 642287:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 407808:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 917565:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 542119:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 13749041:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 13512670:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 9523087:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 12975228:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 13036789:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 55501767:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 47643750:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 35808123:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 55463701:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 39314910:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 20961155:>1:r1=1; 3:r1=1; 3:r3=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 77.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1203 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 460001:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 309739:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 184570:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 461009:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 938696:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 134654:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 214025:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 1550773:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 3791005:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 725297:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 273143:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 1044891:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 2648943:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 441319:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 505221:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 2083969:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 1591465:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 1592277:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 633497:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 5294962:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 1664157:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 1932180:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 10470993:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 603619:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 5931813:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 753247:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 2833823:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 13353704:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 34610457:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 6202427:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 9713636:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 8343887:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 47955575:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 15931152:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 2411376:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 23497444:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 18305366:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 32634366:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 20875133:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 26938488:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 10156498:>1:r1=1; 3:r1=0; 3:r3=0; y=1; 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=df82d53ff13c1c0132bc81937f5ecf56 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww018 No BCSyncdWW Safe=Fre Wse SyncsRR SyncdRW Time bcsdww018 79.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 99313607:>1:r1=0; 1:r4=1; 318084659:>1:r1=0; 1:r4=0; 222601734:>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 34.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 829034:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 836627:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 14832272:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 1452861:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 28015960:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 1321467:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 34226493:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 45063522:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 16082329:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 59974115:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 34310872:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 16632796:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 45679899:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 5964253:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 14777500:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=ff6729203383abc4a32d53a80bd77acb Cycle=DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww020 No BCSyncdWW Safe=Fre DpdR Time bcsdww020 74.21 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 14 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 17766 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 13288 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 3009 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 13084 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 20496 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 23526 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 17264 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 7164 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 13538 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 32081 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 56965 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 35640 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 91936 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 131823:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 19829 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 125811:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 12283 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 1415571:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 232294:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 299419:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 3276117:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 13219720:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 2163745:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 35017 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 621363:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 3656895:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 11392082:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 6644505:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 2827767:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 18401543:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 13919966:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 6592316:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 14312879:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 26518303:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 22692955:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 35671194:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 29919778:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 32514797:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 52790433:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 2983816:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 17262008:>1:r1=0; 1:r4=0; 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 80.02 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 979648:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 1062925:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 442185:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 615559:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 13358092:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 13709414:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 21789556:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 38008570:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 50982296:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 13983556:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 49825994:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 33240810:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 10404744:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 60237125:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 11359526:>1:r1=0; 1:r4=1; 3:r1=1; 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 72.24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1176 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 383144:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 576293:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 285469:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 348020:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 434770:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 594152:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 271170:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 1297810:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 511211:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 3226110:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 571966:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 1550318:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 810079:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 638418:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 252595:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 970815:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 1188284:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 1965033:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 1305753:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 3122667:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 5858696:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 15126358:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 1378274:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 13426054:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 5238029:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 6758524:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 5419080:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 2183919:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 2746747:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 19206081:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 16876938:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 9669391:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 20837539:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 3330842:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 31779476:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 31078835:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 14521053:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 50554891:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 2532363:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 28455516:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 12716141:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=ef69b708c957de42a04a8b5ca4d81078 Cycle=SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww023 No BCSyncdWW Safe=Fre SyncsRR DpdR Time bcsdww023 77.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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=1; 2 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 4 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 9 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 38 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 14 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 2 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 7 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 61 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 17 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 31 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 126 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 40 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 34 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 105 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 17 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 40 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 39 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 62 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 76 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 57 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 55 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 10 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 42 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 256 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 258 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 7295 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 33240 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 168 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 24565 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 6684 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 31709 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 39786 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 7345 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 38804 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 7132 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 26508 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 98840 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 6561 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 50857 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 16331 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 10384 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 9487 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 6578 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 19490 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 20960 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 21039 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 76483 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 30745 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 32399 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 27863 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 12478 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 11388 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 32239 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 18982 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 64259 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 12267 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 107120:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 52897 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 14549 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 16891 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 48258 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 305912:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 91379 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 11053 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 25382 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 107371:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 202547:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 4427 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 36383 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 17135 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 6189958:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 1604830:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 289336:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 87311 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 166045:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 4017828:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 2160865:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 2246461:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 5186 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 21576365:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 3849162:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 3748888:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 9012351:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 4318014:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 24134468:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 6107536:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 9888159:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 20180812:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; 24461308:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 7341805:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 27624966:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 26976412:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 10087015:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 1317329:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 40015113:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 19861355:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 4188687:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 9040361:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 4015150:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 22012336:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 1629015:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=6e01edb2061b004b7156eefd80367964 Cycle=DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww024 No BCSyncdWW Safe=Fre DpsR Time bcsdww024 98.67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 56 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 5498 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 20165 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 104395:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 47713 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 212204:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 26272 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 41420 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 47257 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 18248 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 31046 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 292339:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 68169 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 10331 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 20722 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 105309:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 127815:>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 34968 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 438512:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 2780725:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 5579904:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 1290619:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 1860075:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 367124:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 110534:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 16332126:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 355844:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 4412083:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 8501995:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 25928987:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 55395242:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 24060056:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 3170191:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 16988012:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 10301309:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 15379876:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 12198597:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 27298362:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 33200560:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 2619619:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 38476120:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 11739601:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=f58b58e77c065c1d7e45eddd6a49ef4b Cycle=SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww025 No BCSyncdWW Safe=Fre SyncdRR DpsR Time bcsdww025 78.93 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww026 "SyncsRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 5,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 5,1 _litmus_P2_4_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test bcsdww026 Allowed Histogram (108 states) 1 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 3 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 2 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 5 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 19 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 14 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 905 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 51 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 311 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 2138 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 148 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 1208 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 1004 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 1960 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 1091 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 418 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 704 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 2573 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 32287 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 353 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 2365 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 569 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 260 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 26 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 322 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 369 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 27545 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 16197 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 1335 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 13678 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 45 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 1776 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 2886 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 10371 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 484 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 2583 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 36285 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 21146 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 13478 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 3718 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 4342 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 183 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 9231 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 5576 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 4632 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 17333 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 61938 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 404402:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 6865 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 30615 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 270127:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 374208:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 9939 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 65956 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 167819:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 576617:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 35583 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 17232 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 176884:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 121602:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 48229 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 233649:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 629377:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 1525856:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 2092020:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 11865 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 1596249:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 224840:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 383049:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 1330504:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 501571:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 1839697:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 902248:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 547718:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 3145988:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 4113724:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 494076:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 2719566:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 318654:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 8572604:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 286496:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 5287086:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 528487:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 2765275:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 375219:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 1939972:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 1133202:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 1227524:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 3589110:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 3091925:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 1194730:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 20140162:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 25251897:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 27277525:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 8231381:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 3750927:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 20529338:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 1782169:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 6344693:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 4077035:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 38456514:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 7962949:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 9371810:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 25149993:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 19851043:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; 20537672:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 5029177:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 21043488:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; 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 105.45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 16112779:>0:r3=1; 2:r1=1; x=2; 18965036:>0:r3=0; 2:r1=1; x=1; 53253735:>0:r3=0; 2:r1=0; x=2; 18021047:>0:r3=1; 2:r1=0; x=1; 112262714:>0:r3=0; 2:r1=0; x=1; 100261603:>0:r3=1; 2:r1=0; x=2; 81123086:>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=a3cc59f896bd23424085486bc047f237 Cycle=DpdW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww027 No BCSyncdWW Safe=Fre Wse SyncdWR DpdW Time bcsdww027 48.27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 15691365:>0:r3=0; 2:r1=1; x=1; 69078877:>0:r3=1; 2:r1=1; x=1; 27784669:>0:r3=1; 2:r1=0; x=1; 37699736:>0:r3=0; 2:r1=0; x=2; 127100274:>0:r3=0; 2:r1=0; x=1; 10815591:>0:r3=1; 2:r1=1; x=2; 111829488:>0:r3=1; 2:r1=0; x=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=e4e07528cdbf9272fd50b0cf6708ccaa Cycle=SyncdRW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww028 No BCSyncdWW Safe=Fre Wse SyncdWR SyncdRW Time bcsdww028 49.06 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 19755126:>0:r3=0; 2:r1=1; 2:r4=1; 19425301:>0:r3=1; 2:r1=0; 2:r4=1; 74392510:>0:r3=1; 2:r1=1; 2:r4=1; 15521735:>0:r3=1; 2:r1=1; 2:r4=0; 108696780:>0:r3=0; 2:r1=0; 2:r4=1; 116498695:>0:r3=1; 2:r1=0; 2:r4=0; 45709853:>0:r3=0; 2:r1=0; 2:r4=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=1052dfbfb336d023eeffaaf6c00324c1 Cycle=DpdR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww029 No BCSyncdWW Safe=Fre SyncdWR DpdR Time bcsdww029 48.83 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 31786 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 1213 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 81431 :>0:r3=1; 2:r1=0; 2:r4=1; y=1; 223733:>0:r3=0; 2:r1=0; 2:r4=2; y=1; 645988:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 833852:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 51993 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 98903 :>0:r3=1; 2:r1=0; 2:r4=2; y=1; 266911:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 16293365:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 16952923:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 5254839:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 44261791:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 55796754:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 56489534:>0:r3=1; 2:r1=0; 2:r4=0; y=2; 46869523:>0:r3=1; 2:r1=2; 2:r4=2; y=2; 108417531:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 47427930:>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 48.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 12450812:>0:r3=1; 2:r1=1; 2:r3=0; 66354718:>0:r3=1; 2:r1=1; 2:r3=1; 16535337:>0:r3=0; 2:r1=1; 2:r3=1; 22890619:>0:r3=1; 2:r1=0; 2:r3=1; 117388609:>0:r3=0; 2:r1=0; 2:r3=1; 121481559:>0:r3=1; 2:r1=0; 2:r3=0; 42898346:>0:r3=0; 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 49.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 711929:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 906668:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 42875 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 2185724:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 1653529:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 3929462:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 749139:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 39303312:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 17649165:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 3356920:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 6991747:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 6934623:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 30614910:>0:r3=1; 2:r1=1; 2:r3=1; y=2; 47964737:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 13535072:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 65772335:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 49076506:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 108621347:>0:r3=0; 2:r1=2; 2:r3=2; 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 51.06 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 188471594:>1:r1=1; 1:r3=1; 307146635:>1:r1=0; 1:r3=0; 144381771:>1:r1=0; 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 34.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 498435:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 450442:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 797830:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 961089:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 12080555:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 52216290:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 10664305:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 11856478:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 12694989:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 52720068:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 35975975:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 34537440:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 61557452:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 13607886:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 19380766:>1:r1=1; 1:r3=1; 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 76.32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1006 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 246452:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 173259:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 885474:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 365525:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 2709563:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 234840:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 1938202:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 1318038:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 692453:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 4905678:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 1616769:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 191498:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 452600:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 833030:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 931415:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 278312:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 4009152:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 10389619:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 10298945:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 2638534:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 52528850:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 399712:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 16220914:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 10682058:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 1875558:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 758268:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 603923:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 5902839:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 2521964:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 8768863:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 20239503:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 22276106:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 13429787:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 15619993:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 32319217:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 4793529:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 460674:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 36133197:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 25859660:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 2361331:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 1133690:>1:r1=1; 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 82.44 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 352573:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 817624:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 1496895:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 19091270:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 4123323:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 22750047:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 9410378:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 65026183:>0:r3=1; 2:r1=0; 2:r4=0; x=1; 45956509:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 55319680:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 55903597:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 62095115:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 57656806:>0:r3=1; 2:r1=0; 2:r4=1; 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 47.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1100200:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 1470834:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 5333156:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 256543:>0:r3=2; 2:r1=0; 2:r3=1; x=2; 10762774:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 17637738:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 23592529:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 61882531:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 58387823:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 63099873:>0:r3=1; 2:r1=1; 2:r3=1; x=1; 38178264:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 53810804:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 64486931:>0:r3=1; 2:r1=0; 2:r3=0; 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 46.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1745 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 410 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 608 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 173 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 852 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 3004 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 604 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 69815 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 56240 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 5034 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 13858 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 1348 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 24349 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 129819:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 24847 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 46974 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 3647 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 29334 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 18392 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 23084 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 585357:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 79145 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 501964:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 9799 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 47005 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 466458:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 46718 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 51916 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 24918 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 329097:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 26400 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 380693:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 152093:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 495820:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 15263 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 144412:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 279 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 483249:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 88599 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 27193 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 25920 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 175955:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 391769:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 275832:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 556034:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 135445:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 128290:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 1211248:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 262644:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 600449:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 517177:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 780528:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 367692:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 324685:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 405531:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 2515513:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 1630253:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 1064199:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 623763:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 589315:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 232276:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 1075058:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 683488:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 538135:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 1059939:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 133388:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 2834104:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 496055:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 1307038:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 3960895:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 348861:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 1800689:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 1090609:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 2015997:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 835313:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 4354231:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 1688386:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 2070468:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 2255541:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 1923395:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 428078:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 4180501:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 1983074:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 8531877:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 6139847:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 3760071:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 607399:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 1926447:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 329519:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 24100958:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 8316612:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 8380014:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 4716297:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 2798515:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 1182943:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 2681627:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 211920:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 19075353:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 8638481:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 18749183:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; 3768208:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 24877806:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 37390796:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 19143689:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 1231542:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 19203673:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 20376226:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 19572721:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; 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 106.31 $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=-s 100000 -r 400 Sat Dec 26 17:23:16 GMT 2009