Fri Dec 25 19:05:41 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) 80465934:>1:r1=0; x=1; 312485264:>1:r1=0; x=2; 247048802:>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 73.63 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1508424:>1:r1=1; 3:r1=0; x=2; z=2; 611227:>1:r1=1; 3:r1=1; x=2; z=1; 3131813:>1:r1=0; 3:r1=0; x=1; z=1; 1243092:>1:r1=0; 3:r1=1; x=2; z=2; 618414:>1:r1=1; 3:r1=1; x=1; z=2; 13517614:>1:r1=0; 3:r1=1; x=1; z=2; 15865510:>1:r1=1; 3:r1=0; x=1; z=2; 27201806:>1:r1=1; 3:r1=1; x=1; z=1; 35429492:>1:r1=1; 3:r1=0; x=1; z=1; 42658046:>1:r1=0; 3:r1=0; x=1; z=2; 45042615:>1:r1=0; 3:r1=0; x=2; z=1; 13807845:>1:r1=0; 3:r1=1; x=2; z=1; 32422326:>1:r1=0; 3:r1=1; x=1; z=1; 70546945:>1:r1=0; 3:r1=0; x=2; z=2; 16394831:>1:r1=1; 3:r1=0; x=2; 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 90.84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 759920:>1:r1=1; 3:r1=1; x=1; z=2; 268857:>1:r1=1; 3:r1=1; x=2; z=1; 5187501:>1:r1=0; 3:r1=0; x=1; z=1; 1156915:>1:r1=1; 3:r1=0; x=2; z=2; 634317:>1:r1=0; 3:r1=1; x=2; z=2; 41273452:>1:r1=1; 3:r1=0; x=1; z=1; 47322219:>1:r1=0; 3:r1=0; x=1; z=2; 14428589:>1:r1=1; 3:r1=0; x=2; z=1; 25393628:>1:r1=1; 3:r1=1; x=1; z=1; 31783702:>1:r1=0; 3:r1=1; x=1; z=1; 65215267:>1:r1=0; 3:r1=0; x=2; z=2; 17848231:>1:r1=1; 3:r1=0; x=1; z=2; 9228027:>1:r1=0; 3:r1=1; x=2; z=1; 46527804:>1:r1=0; 3:r1=0; x=2; z=1; 12971571:>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 90.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1008684:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 854232:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 1901970:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 696617:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 2270591:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 13935039:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 41345041:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 18995219:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 17158699:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 33711267:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 43326959:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 30626972:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 72880991:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 13658333:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 27629386:>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=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 91.51 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 17 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 4270 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 2230 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 17958 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 12057 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 10458 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 13451 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 200847:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 27346 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 152280:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 30998 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 20584 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 39416 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 32846 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 60679 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 569306:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 55309 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 96663 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 955142:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 317345:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 537997:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 131795:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 7451120:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 2102625:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 116925:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 4152471:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 3749560:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 10182374:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 1713838:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 12057372:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 17872819:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 4406105:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 26153215:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 38957903:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 25771995:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 21704214:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 25749809:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 13179413:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 33469941:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 8987932:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 57871496:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 1059879:>1:r1=1; 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 92.87 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1219835:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 626109:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 1047794:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 764531:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 4313378:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 14338786:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 32515508:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 14711762:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 25979775:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 15207668:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 35742481:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 68304803:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 46009755:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 44341714:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 14876101:>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 92.12 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 892 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 156919:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 279920:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 285965:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 469073:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 1330501:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 368716:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 135986:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 1770200:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 2825750:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 536510:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 486259:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 3277647:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 1657049:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 538166:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 477845:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 321236:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 6056767:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 1571058:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 1385613:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 688467:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 3279090:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 6895738:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 887685:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 3789896:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 23839666:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 386397:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 1844226:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 8117935:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 1768811:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 34979757:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 24317385:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 9066495:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 2633799:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 11427806:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 9214201:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 12887977:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 29808981:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 53280218:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 15511438:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 21270378:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 20171582:>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=62faf55c9e7916888e6ae088e9375bff Cycle=SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww006 No BCSyncdWW Safe=Fre Wse SyncsRR DpdW Time bcsdww006 95.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 8949435:>2:r1=0; x=1; y=1; 92471336:>2:r1=1; x=1; y=1; 15826258:>2:r1=1; x=1; y=2; 35784747:>2:r1=0; x=2; y=2; 102816763:>2:r1=0; x=1; y=2; 22666845:>2:r1=1; x=2; y=1; 121484616:>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=7c2462ff041c713f8de949f757a40d53 Cycle=DpdW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww007 No BCSyncdWW Safe=Wse SyncdWW DpdW Time bcsdww007 72.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 10425365:>2:r1=1; x=1; y=2; 26778164:>2:r1=0; x=2; y=2; 17090547:>2:r1=0; x=1; y=1; 12983790:>2:r1=1; x=2; y=1; 128285981:>2:r1=0; x=2; y=1; 88493911:>2:r1=1; x=1; y=1; 115942242:>2:r1=0; x=1; y=2; 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 73.36 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 8816259:>2:r1=1; 2:r4=1; y=2; 11188343:>2:r1=0; 2:r4=1; y=1; 80472594:>2:r1=1; 2:r4=1; y=1; 35398555:>2:r1=0; 2:r4=0; y=2; 107719673:>2:r1=0; 2:r4=1; y=2; 15148407:>2:r1=1; 2:r4=0; y=1; 141256169:>2:r1=0; 2:r4=0; 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 73.44 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 584 :>2:r1=0; 2:r4=1; x=2; y=1; 6894 :>2:r1=2; 2:r4=1; x=1; y=1; 36473 :>2:r1=0; 2:r4=2; x=2; y=1; 12910 :>2:r1=1; 2:r4=2; x=1; y=2; 88011 :>2:r1=0; 2:r4=1; x=1; y=1; 306111:>2:r1=2; 2:r4=1; x=2; y=1; 51090 :>2:r1=0; 2:r4=2; x=1; y=1; 270387:>2:r1=0; 2:r4=2; x=1; y=2; 828528:>2:r1=0; 2:r4=1; x=1; y=2; 14969511:>2:r1=1; 2:r4=1; x=2; y=1; 46993088:>2:r1=2; 2:r4=2; x=1; y=2; 28817514:>2:r1=1; 2:r4=1; x=1; y=1; 55891458:>2:r1=0; 2:r4=0; x=1; y=1; 98526707:>2:r1=2; 2:r4=2; x=2; y=1; 37268949:>2:r1=0; 2:r4=0; x=2; y=1; 4794621:>2:r1=2; 2:r4=2; x=1; y=1; 41687193:>2:r1=1; 2:r4=1; x=1; y=2; 69449971:>2:r1=0; 2:r4=0; 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 76.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 15519677:>2:r1=1; 2:r3=0; y=1; 13422744:>2:r1=0; 2:r3=1; y=1; 109794188:>2:r1=0; 2:r3=1; y=2; 133795604:>2:r1=0; 2:r3=0; y=1; 33816846:>2:r1=0; 2:r3=0; y=2; 9360276:>2:r1=1; 2:r3=1; y=2; 84290665:>2:r1=1; 2:r3=1; 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 76.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 669830:>2:r1=0; 2:r3=1; x=1; y=1; 2542072:>2:r1=1; 2:r3=2; x=1; y=2; 2556364:>2:r1=0; 2:r3=2; x=2; y=1; 27569 :>2:r1=0; 2:r3=1; x=2; y=1; 529486:>2:r1=0; 2:r3=2; x=1; y=1; 5020687:>2:r1=2; 2:r3=1; x=2; y=1; 602279:>2:r1=2; 2:r3=1; x=1; y=1; 4526861:>2:r1=2; 2:r3=2; x=1; y=1; 4290999:>2:r1=0; 2:r3=2; x=1; y=2; 44493020:>2:r1=2; 2:r3=2; x=1; y=2; 12208989:>2:r1=0; 2:r3=1; x=1; y=2; 56985529:>2:r1=0; 2:r3=0; x=1; y=1; 29353811:>2:r1=1; 2:r3=1; x=1; y=2; 27903144:>2:r1=1; 2:r3=1; x=1; y=1; 94590157:>2:r1=2; 2:r3=2; x=2; y=1; 65144675:>2:r1=0; 2:r3=0; x=1; y=2; 34760946:>2:r1=0; 2:r3=0; x=2; y=1; 13793582:>2:r1=1; 2:r3=1; 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 82.72 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 124299358:>1:r1=0; x=1; 294603187:>1:r1=0; x=2; 221097455:>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 76.15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 255588:>1:r1=1; 3:r1=1; x=2; z=1; 364264:>1:r1=0; 3:r1=1; x=2; z=2; 340025:>1:r1=1; 3:r1=1; x=1; z=2; 586637:>1:r1=1; 3:r1=0; x=2; z=2; 9546246:>1:r1=0; 3:r1=0; x=1; z=1; 9184967:>1:r1=0; 3:r1=1; x=2; z=1; 41871731:>1:r1=1; 3:r1=0; x=1; z=1; 38582143:>1:r1=0; 3:r1=1; x=1; z=1; 59848789:>1:r1=0; 3:r1=0; x=2; z=2; 11461829:>1:r1=1; 3:r1=0; x=1; z=2; 10421868:>1:r1=0; 3:r1=1; x=1; z=2; 53387030:>1:r1=0; 3:r1=0; x=2; z=1; 21130079:>1:r1=1; 3:r1=1; x=1; z=1; 50655571:>1:r1=0; 3:r1=0; x=1; z=2; 12363233:>1:r1=1; 3:r1=0; x=2; 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 91.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 363518:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 668607:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 898572:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 5053400:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 1310079:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 19110993:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 24733944:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 31751446:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 66536042:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 42902436:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 12878012:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 40078171:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 9731525:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 49723761:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 14259494:>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=17704085d61983610ea6761b47264366 Cycle=DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww015 No BCSyncdWW Safe=Fre Wse SyncdRW DpdR Time bcsdww015 91.13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 17 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 3448 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 17378 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 4365 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 13466 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 18276 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 18781 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 67506 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 39805 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 130655:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 22514 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 33111 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 4888 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 153993:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 214148:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 70975 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 560646:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 52163 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 4249365:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 99323 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 861911:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 275012:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 577008:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 9698081:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 2294009:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 38238 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 3205514:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 17511517:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 8477826:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 10550578:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 2735181:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 27773081:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 17997013:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 53623210:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 15450597:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 36355731:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 3227619:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 27080789:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 36724363:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 27643853:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 10810316:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 1313730:>1:r1=1; 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 96.16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 331811:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 493651:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 8021578:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 11933435:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 14378245:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 524547:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 12392625:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 9407834:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 53619157:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 47084118:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 39748134:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 36206708:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 21597553:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 63416263:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 844341:>1:r1=0; 3:r1=1; 3:r3=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 92.17 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 981 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 274113:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 132187:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 1115974:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 304986:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 378637:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 3328210:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 1428214:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 428919:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 211808:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 505006:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 603999:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 1972063:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 1970519:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 2775451:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 918262:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 8341279:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 524130:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 2958835:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 535271:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 179957:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 786966:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 5947810:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 1501375:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 9512347:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 10491554:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 25435193:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 560144:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 32629221:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 14351912:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 2739180:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 32050206:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 3432282:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 15711680:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 50250702:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 1655390:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 9021445:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 8560318:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 20945525:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 26320966:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 17386074:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 1820909:>1:r1=0; 3:r1=1; 3:r3=1; y=2; 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 93.90 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 78094498:>1:r1=0; 1:r4=1; 320168967:>1:r1=0; 1:r4=0; 241736535:>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 72.39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1579985:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 1159694:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 1158379:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 1636550:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 29416399:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; 16662157:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 31468364:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 17304082:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 17243868:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 16703580:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 31644089:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 71032950:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 40655691:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 40681076:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 1653136:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=ff6729203383abc4a32d53a80bd77acb Cycle=DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww020 No BCSyncdWW Safe=Fre DpdR Time bcsdww020 90.87 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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; 4697 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 34576 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 16376 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 5823 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 3747 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 15854 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 40681 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 57690 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 198976:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 30728 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 26209 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 66587 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 20915 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 76130 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 24978 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 145047:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 48349 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 1119215:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 1644426:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 916825:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 4639871:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 131284:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 1811454:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 420875:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 547987:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 3065446:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 20347872:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 6440699:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 12989441:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 10146858:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 12987060:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 23912017:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 4303588:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 33016331:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 32137799:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 16476048:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 55142918:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 25481979:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 26997277:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 20880903:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 3624445:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26085f29b1357e5e8f0e159288ddd725 Cycle=DpsR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww021 No BCSyncdWW Safe=Fre DpsR DpdR Time bcsdww021 96.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 441006:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 801335:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 1057687:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 12677179:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 1024979:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 45416708:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 35840786:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 16287598:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 13860717:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 31560294:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 14670819:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; 4067422:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 23740594:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 71940548:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 46612328:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=52b75bc6c8456215cdaad6fb3a5164ee Cycle=SyncdRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww022 No BCSyncdWW Safe=Fre SyncdRR DpdR Time bcsdww022 91.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1963 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 479238:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 280277:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 1778132:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 673713:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 763572:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 318055:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 429374:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 439776:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 345905:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 4591768:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 1439907:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 190417:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 1336824:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 218647:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 1367680:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 1425529:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 1863200:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 5775681:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 905872:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 1209472:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 930857:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 7743717:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 3599709:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 2700176:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 19747172:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 2514974:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 10038674:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 913562:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 29392463:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 5163482:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 15816065:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 2486937:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 11972278:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 17678933:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 22104808:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 3417004:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 11736464:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 28972352:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 26065640:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 51576094:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 19593637:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=ef69b708c957de42a04a8b5ca4d81078 Cycle=SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww023 No BCSyncdWW Safe=Fre SyncsRR DpdR Time bcsdww023 94.08 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 (103 states) 2 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 1 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 4 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 6 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 24 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 13 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 20 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 49 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 28 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 67 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 185 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 102 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 29 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 59 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 109 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 137 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 82 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 48 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 794 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 88 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 253 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 49 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 818 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 3937 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 215 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 40 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 3984 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 87 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 4179 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 2935 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 16518 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 13785 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 3013 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 56560 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 15518 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 63 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 6900 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 12483 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 58735 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 51015 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 12657 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 5013 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 48191 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 58735 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 49858 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 47590 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 36921 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 24706 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 83594 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 64105 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 44202 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 57667 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 12126 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 7428 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 48872 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 71314 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 38481 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 67444 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 46769 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 194563:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 6127 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 37755 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 13141 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 139060:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 7064 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 392407:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 132789:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 126509:>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 17697 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 467854:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 283627:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 767015:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 38614 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 1767194:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 33125 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 4558011:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 466907:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 2687968:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 9710625:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 130116:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 6408561:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 3850371:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; 7728661:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 7645874:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 1785255:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 7552712:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 3817406:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 24339684:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 3290212:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 3174955:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 9684923:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 6410774:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 27261385:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 24015377:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 2835307:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 27380187:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 35748968:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 22433607:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; 22454259:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 22527670:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 22155461:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 4441615:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=6e01edb2061b004b7156eefd80367964 Cycle=DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww024 No BCSyncdWW Safe=Fre DpsR Time bcsdww024 108.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 55 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 8165 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 52847 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 6947 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 16353 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 47550 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 325704:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 101986:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 76380 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 21241 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 155206:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 89237 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 222828:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 153303:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 29468 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 25033 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 47855 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 589894:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 44175 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 2143178:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 76520 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 606157:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 4887308:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 1527220:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 1231586:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 2682625:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 634944:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 36673915:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 33723559:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 3093680:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 12632247:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 6829194:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 19937349:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 12468241:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 3807307:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 26142157:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 25648361:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 11314438:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 18521556:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 25586051:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 55409399:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 12408781:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 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 92.23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 4 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 4 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 2 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 4 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 65 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 21 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 596 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 963 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 226 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 217 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 63 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 360 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 385 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 46 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 122 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 1042 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 731 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 310 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 1096 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 2124 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 597 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 7826 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 592 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 12339 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 3423 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 3084 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 2484 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 2839 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 4350 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 11882 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 44936 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 6647 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 1749 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 7278 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 15673 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 35590 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 4884 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 680 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 39624 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 3251 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 34244 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 11311 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 37839 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 6288 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 97304 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 73575 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 71414 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 77337 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 11385 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 35748 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 33723 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 296306:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 310606:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 611654:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 1762280:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 625734:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 634773:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 178822:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 1295527:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 1285928:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 684113:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 33040 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 2098633:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 473216:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 10942 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 627737:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 560472:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 806342:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 3628346:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; 40851 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 594490:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 191983:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 408370:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 2002832:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 356959:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 498812:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 2350602:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 135186:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 121257:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 5281336:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 8594500:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 3501153:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 2928774:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 454400:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 1585655:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 730675:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 1247106:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 1485531:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 6838207:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 5598096:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 3351746:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 2857093:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 2292622:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 8790723:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 6259356:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 7432065:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 24526142:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 3920527:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 5884733:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 20649423:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 35022336:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 24870408:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 20009259:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 21347806:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 21895837:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 25465160:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 20546308:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; 3298933:>1:r1=1; 1:r4=1; 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 111.11 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww027 "DpdW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; lwz r3,0(r4) | li r3,1 | stwx r4,r3,r5 ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 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) 21414529:>0:r3=1; 2:r1=1; x=2; 22743162:>0:r3=0; 2:r1=1; x=1; 103384433:>0:r3=1; 2:r1=0; x=2; 5501946:>0:r3=1; 2:r1=0; x=1; 55266125:>0:r3=0; 2:r1=0; x=2; 83062203:>0:r3=1; 2:r1=1; x=1; 108627602:>0:r3=0; 2:r1=0; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=a3cc59f896bd23424085486bc047f237 Cycle=DpdW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww027 No BCSyncdWW Safe=Fre Wse SyncdWR DpdW Time bcsdww027 74.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 10947925:>0:r3=1; 2:r1=0; x=1; 12497340:>0:r3=1; 2:r1=1; x=2; 41339451:>0:r3=0; 2:r1=0; x=2; 128040151:>0:r3=0; 2:r1=0; x=1; 113143507:>0:r3=1; 2:r1=0; x=2; 78726057:>0:r3=1; 2:r1=1; x=1; 15305569:>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 74.46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 22901022:>0:r3=1; 2:r1=1; 2:r4=0; 21098740:>0:r3=0; 2:r1=1; 2:r4=1; 4793676:>0:r3=1; 2:r1=0; 2:r4=1; 110915426:>0:r3=1; 2:r1=0; 2:r4=0; 77063314:>0:r3=1; 2:r1=1; 2:r4=1; 109820061:>0:r3=0; 2:r1=0; 2:r4=1; 53407761:>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 72.53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1642 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 2959 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 16271 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 516611:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 58411 :>0:r3=1; 2:r1=0; 2:r4=2; y=1; 404639:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 82729 :>0:r3=1; 2:r1=0; 2:r4=1; y=1; 114858:>0:r3=0; 2:r1=0; 2:r4=2; y=1; 779198:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 15396332:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 2517400:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 46451145:>0:r3=1; 2:r1=2; 2:r4=2; y=2; 40028274:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 105142128:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 54163147:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 24042806:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 41504604:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 68776846:>0:r3=1; 2:r1=0; 2:r4=0; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=762db7307d35c050ae02494154891df7 Cycle=DpsR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww030 No BCSyncdWW Safe=Fre SyncdWR DpsR Time bcsdww030 80.19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 7253360:>0:r3=1; 2:r1=0; 2:r3=1; 16745811:>0:r3=1; 2:r1=1; 2:r3=0; 16440549:>0:r3=0; 2:r1=1; 2:r3=1; 51611734:>0:r3=0; 2:r1=0; 2:r3=0; 115564614:>0:r3=1; 2:r1=0; 2:r3=0; 75866163:>0:r3=1; 2:r1=1; 2:r3=1; 116517769:>0:r3=0; 2:r1=0; 2:r3=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=d99b2c9fcd24d521255a6c4ef185df57 Cycle=SyncdRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww031 No BCSyncdWW Safe=Fre SyncdWR SyncdRR Time bcsdww031 76.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 332854:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 51911 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 2033594:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 306902:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 2923521:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 606823:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 5002711:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 14631382:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 3570757:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 2044982:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 42793763:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 102822167:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 36711030:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 69564257:>0:r3=1; 2:r1=0; 2:r3=0; y=2; 29457999:>0:r3=1; 2:r1=1; 2:r3=1; y=2; 54059710:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 22503722:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 10581915:>0:r3=1; 2:r1=0; 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 79.76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 105561677:>1:r1=0; 1:r3=1; 309103613:>1:r1=0; 1:r3=0; 225334710:>1:r1=1; 1:r3=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (1:r1=1 /\ 1:r3=0) is NOT validated Hash=6fa2fc8a03a8948f9262ae5fd1e47a19 Cycle=SyncdRR Fre SyncdWW Rfe Relax bcsdww033 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww033 71.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 414600:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 487852:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 11069967:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 619012:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 802909:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 20282491:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 50778854:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 49086233:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 6631422:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 13218855:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 12237652:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 35953977:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 70505348:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 34943148:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 12967680:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 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 91.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 246479:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 438058:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 1130 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 176203:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 305855:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 507750:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 482611:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 1361818:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 3259466:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 2850917:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 1411728:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 393656:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 1883874:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 2072608:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 1947586:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 913640:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 552718:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 3616350:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 969748:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 5883920:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 1303666:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 261866:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 433767:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 7763946:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 689220:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 12802074:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 2375151:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 11202887:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 29551341:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 541945:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 15653185:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 24245013:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 33579549:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 51891044:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 12079230:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 7309675:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 9616157:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 3211318:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 19912561:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 24924913:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 19277018:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 2098359:>1:r1=0; 1:r3=0; 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 93.41 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 10840950:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 67532372:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 172562:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 7468697:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 46699661:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 1666194:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 52963931:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 58385614:>0:r3=1; 2:r1=0; 2:r4=0; x=2; 8603115:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 64872018:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 2158532:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 12806593:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 65829761:>0:r3=1; 2:r1=0; 2:r4=0; x=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=b5668ea36c70858ef8634a895265c398 Cycle=DpdR Fre SyncsWR Fre SyncdWW Rfe Relax bcsdww036 No BCSyncdWW Safe=Fre SyncsWR DpdR Time bcsdww036 74.36 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 2031747:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 963377:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 7546030:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 62919003:>0:r3=1; 2:r1=0; 2:r3=0; x=1; 15059478:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 110045:>0:r3=2; 2:r1=0; 2:r3=1; x=2; 13632733:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 55344597:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 8215998:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 71113401:>0:r3=1; 2:r1=1; 2:r3=1; x=1; 41314952:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 63974896:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 57773743:>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 72.90 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 971 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 379 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 1676 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 1885 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 8147 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 12257 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 1337 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 86390 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 2296 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 13632 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 4087 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 6642 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 379 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 27202 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 14104 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 131332:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 92482 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 1267 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 17790 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 31374 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 24469 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 30154 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 24861 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 8926 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 195569:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 614623:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 18669 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 173938:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 124410:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 71354 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 679009:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 256067:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 629034:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 32063 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 766448:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 130024:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 690236:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 147149:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 529756:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 188603:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 723389:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 422801:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 697009:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 210537:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 597065:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 310471:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 1170921:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 497386:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 1328802:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 522427:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 403262:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 473100:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 2103703:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 1334160:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 425395:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 135947:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 73955 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 737695:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 1190103:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 787914:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 503528:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 1298667:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 60211 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 644567:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 1171344:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 477451:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 127612:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 305566:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 80655 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 1097730:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 3047382:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 82145 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 3528128:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 2053700:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 1037252:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 3028131:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; 2158744:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 3422970:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 644440:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 6381259:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 2184966:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 3355026:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 8496284:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 2135992:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 8441495:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 5834371:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 1187632:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 2097859:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 419243:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 1878735:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 809769:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 2216906:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 2187539:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 4055358:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 4127160:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 20236550:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 6310128:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 3415731:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 6519054:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 19831021:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 22562252:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 23176041:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 19819304:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 6174183:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 20037624:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; 19167119:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 18799367:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 33434776:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; 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.54 $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= Fri Dec 25 20:01:36 GMT 2009