Mon Dec 28 14:29:54 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww000 "DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 ; li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | ; exists (x=2 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww000 Allowed Histogram (3 states) 246887292:>1:r1=1; x=1; 313035434:>1:r1=0; x=2; 80077274:>1:r1=0; 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 64.45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww001 "DpdW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | li r4,1 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: xor 30,3,3 _litmus_P3_2_: li 10,1 _litmus_P3_3_: stwx 10,30,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww001 Allowed Histogram (15 states) 687603:>1:r1=1; 3:r1=1; x=2; z=1; 1571542:>1:r1=0; 3:r1=1; x=2; z=2; 3151585:>1:r1=0; 3:r1=0; x=1; z=1; 16694153:>1:r1=0; 3:r1=1; x=1; z=2; 654465:>1:r1=1; 3:r1=1; x=1; z=2; 16544938:>1:r1=0; 3:r1=1; x=2; z=1; 14349161:>1:r1=1; 3:r1=0; x=1; z=2; 1175923:>1:r1=1; 3:r1=0; x=2; z=2; 31815470:>1:r1=1; 3:r1=0; x=1; z=1; 34916300:>1:r1=0; 3:r1=1; x=1; z=1; 70719000:>1:r1=0; 3:r1=0; x=2; z=2; 42633295:>1:r1=0; 3:r1=0; x=2; z=1; 43844229:>1:r1=0; 3:r1=0; x=1; z=2; 13544630:>1:r1=1; 3:r1=0; x=2; z=1; 27697706:>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 92.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww002 "SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | li r3,1 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 4,1 _litmus_P3_3_: stw 4,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww002 Allowed Histogram (15 states) 371342:>1:r1=1; 3:r1=1; x=2; z=1; 1023099:>1:r1=1; 3:r1=0; x=2; z=2; 13575607:>1:r1=1; 3:r1=0; x=2; z=1; 737041:>1:r1=1; 3:r1=1; x=1; z=2; 16021995:>1:r1=1; 3:r1=0; x=1; z=2; 842343:>1:r1=0; 3:r1=1; x=2; z=2; 49297933:>1:r1=0; 3:r1=0; x=1; z=2; 14762555:>1:r1=0; 3:r1=1; x=1; z=2; 11369830:>1:r1=0; 3:r1=1; x=2; z=1; 38487696:>1:r1=1; 3:r1=0; x=1; z=1; 65198687:>1:r1=0; 3:r1=0; x=2; z=2; 4956850:>1:r1=0; 3:r1=0; x=1; z=1; 26130519:>1:r1=1; 3:r1=1; x=1; z=1; 43650904:>1:r1=0; 3:r1=0; x=2; z=1; 33573599:>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=af33a9d4f6f79386d356cbbdb0662698 Cycle=SyncdRW Wse SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww002 No BCSyncdWW Safe=Wse SyncdRW DpdW Time bcsdww002 92.58 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww003 "DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | lwzx r4,r3,r5 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P3_0_: lwz 28,0(11) _litmus_P3_1_: xor 10,28,28 _litmus_P3_2_: lwzx 30,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww003 Allowed Histogram (15 states) 470007:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 751791:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 787311:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 12998558:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 17775998:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 45868904:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 35039437:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 42152513:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 29431872:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 2384589:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 26015435:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 18670714:>1:r1=0; 3:r1=1; 3:r4=0; z=1; 74736618:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 11073074:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 1843179:>1:r1=0; 3:r1=1; 3:r4=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=6c72af0e6695d87de072985a4977a496 Cycle=DpdR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww003 No BCSyncdWW Safe=Fre Wse DpdW DpdR Time bcsdww003 90.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww004 "DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 | sync | lwzx r4,r3,r2 ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 3,0(9) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww004 Allowed Histogram (42 states) 14 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 7726 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 5884 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 6984 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 73309 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 17532 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 61851 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 39653 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 7599 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 200423:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 47509 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 107008:>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 164283:>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 61117 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 711944:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 138429:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 837452:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 25667 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 1769716:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 21481 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 38835 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 138138:>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 3032786:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 1701211:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 563680:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 1403373:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 13534682:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 24998912:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 6075774:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 11266653:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 3743805:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 5524172:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 11671474:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 33801035:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=2; 14643612:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 4445070:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 20857638:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 19495156:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 24388629:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 28098284:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 54703217:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 31568283:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=26d413fc2e2cdadfa9e0f1aeb3ab365b Cycle=DpsR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe Relax bcsdww004 No BCSyncdWW Safe=Fre Wse DpsR DpdW Time bcsdww004 93.18 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww005 "SyncdRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | lwz r3,0(r4) ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 30,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww005 Allowed Histogram (15 states) 707023:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 1158438:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 1276296:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 44520201:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 3607261:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 14910970:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 939217:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 16716040:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 14286373:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 42612756:>1:r1=0; 3:r1=0; 3:r3=1; z=2; 16459124:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 27674931:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 67763421:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 36187097:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 31180852:>1:r1=0; 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 90.78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww006 "SyncsRR Fre SyncdWW Rfe DpdW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | li r4,1 | sync | lwz r3,0(r2) ; li r3,1 | stwx r4,r3,r5 | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww006 Allowed Histogram (42 states) 1532 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 356729:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 194990:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 400052:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 353453:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 251441:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 1179230:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 1054588:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 244821:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 220189:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 677935:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 1712662:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 2438629:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 333402:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 5755952:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 1558130:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 913597:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 658035:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 2735730:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 5265019:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 1474390:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 3489106:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 1175316:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 4687761:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 7255146:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 2411536:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 1349976:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 9908836:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 19574682:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 1426385:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 854064:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 30825021:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 26585734:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=1; 27658724:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 22562934:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 51141114:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 18447302:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 11212340:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 12601403:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 15448284:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 3560914:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 20042916:>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 96.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww007 "DpdW Wse SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; li r3,1 | li r3,1 | stwx r4,r3,r5 ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: xor 30,28,28 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,30,9 _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww007 Allowed Histogram (7 states) 14229447:>2:r1=1; x=1; y=2; 91010368:>2:r1=1; x=1; y=1; 22546980:>2:r1=1; x=2; y=1; 8965031:>2:r1=0; x=1; y=1; 36266801:>2:r1=0; x=2; y=2; 104846169:>2:r1=0; x=1; y=2; 122135204:>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 62.27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww008 "SyncdRW Wse SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 30,1 _litmus_P2_3_: stw 30,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww008 Allowed Histogram (7 states) 13322127:>2:r1=1; x=2; y=1; 10981616:>2:r1=1; x=1; y=2; 16999273:>2:r1=0; x=1; y=1; 26313493:>2:r1=0; x=2; y=2; 116951990:>2:r1=0; x=1; y=2; 126846978:>2:r1=0; x=2; y=1; 88584523:>2:r1=1; x=1; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=1) is NOT validated Hash=e6b1c1a0023ee13d1ea18feb286c6d13 Cycle=SyncdRW Wse SyncdWW Wse SyncdWW Rfe Relax bcsdww008 No BCSyncdWW Safe=Wse SyncdWW SyncdRW Time bcsdww008 65.79 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww009 "DpdR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: xor 10,28,28 _litmus_P2_2_: lwzx 30,10,9 _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww009 Allowed Histogram (7 states) 14065412:>2:r1=1; 2:r4=0; y=1; 11912376:>2:r1=0; 2:r4=1; y=1; 8989042:>2:r1=1; 2:r4=1; y=2; 35693347:>2:r1=0; 2:r4=0; y=2; 142861146:>2:r1=0; 2:r4=0; y=1; 79426729:>2:r1=1; 2:r4=1; y=1; 107051948:>2:r1=0; 2:r4=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=9d7f07ce6da224ac7eca2af4a5915a72 Cycle=DpdR Fre SyncdWW Wse SyncdWW Rfe Relax bcsdww009 No BCSyncdWW Safe=Fre Wse SyncdWW DpdR Time bcsdww009 61.99 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww010 "DpsR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r2 ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P2_0_: lwz 30,0(9) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww010 Allowed Histogram (18 states) 573 :>2:r1=0; 2:r4=1; x=2; y=1; 24869 :>2:r1=0; 2:r4=2; x=2; y=1; 6966 :>2:r1=1; 2:r4=2; x=1; y=2; 292949:>2:r1=0; 2:r4=2; x=1; y=2; 5417 :>2:r1=2; 2:r4=1; x=1; y=1; 148630:>2:r1=2; 2:r4=1; x=2; y=1; 90192 :>2:r1=0; 2:r4=1; x=1; y=1; 62612 :>2:r1=0; 2:r4=2; x=1; y=1; 939262:>2:r1=0; 2:r4=1; x=1; y=2; 45825423:>2:r1=2; 2:r4=2; x=1; y=2; 13726430:>2:r1=1; 2:r4=1; x=2; y=1; 5579454:>2:r1=2; 2:r4=2; x=1; y=1; 29180249:>2:r1=1; 2:r4=1; x=1; y=1; 57079616:>2:r1=0; 2:r4=0; x=1; y=1; 36714050:>2:r1=0; 2:r4=0; x=2; y=1; 98868817:>2:r1=2; 2:r4=2; x=2; y=1; 41139650:>2:r1=1; 2:r4=1; x=1; y=2; 70314841:>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 65.68 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww011 "SyncdRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 30,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww011 Allowed Histogram (7 states) 9001944:>2:r1=1; 2:r3=1; y=2; 34895226:>2:r1=0; 2:r3=0; y=2; 14248653:>2:r1=0; 2:r3=1; y=1; 81378245:>2:r1=1; 2:r3=1; y=1; 109094200:>2:r1=0; 2:r3=1; y=2; 139916536:>2:r1=0; 2:r3=0; y=1; 11465196:>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 62.38 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww012 "SyncsRR Fre SyncdWW Wse SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_P2_0_: lwz 3,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test bcsdww012 Allowed Histogram (18 states) 25520 :>2:r1=0; 2:r3=1; x=2; y=1; 1480344:>2:r1=0; 2:r3=2; x=2; y=1; 648134:>2:r1=2; 2:r3=1; x=1; y=1; 491382:>2:r1=0; 2:r3=2; x=1; y=1; 641809:>2:r1=0; 2:r3=1; x=1; y=1; 3974331:>2:r1=2; 2:r3=1; x=2; y=1; 3661193:>2:r1=0; 2:r3=2; x=1; y=2; 1989830:>2:r1=1; 2:r3=2; x=1; y=2; 5440753:>2:r1=2; 2:r3=2; x=1; y=1; 43318190:>2:r1=2; 2:r3=2; x=1; y=2; 29053605:>2:r1=1; 2:r3=1; x=1; y=1; 30133293:>2:r1=1; 2:r3=1; x=1; y=2; 55422034:>2:r1=0; 2:r3=0; x=1; y=1; 69010716:>2:r1=0; 2:r3=0; x=1; y=2; 96043324:>2:r1=2; 2:r3=2; x=2; y=1; 11106192:>2:r1=0; 2:r3=1; x=1; y=2; 35316435:>2:r1=0; 2:r3=0; x=2; y=1; 12242915:>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 68.75 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww013 "SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; sync | li r3,1 ; li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | ; exists (x=2 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww013 Allowed Histogram (3 states) 138668586:>1:r1=0; x=1; 206862478:>1:r1=1; x=1; 294468936:>1:r1=0; x=2; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 1:r1=1) is NOT validated Hash=3bacaa46622528b0ef100acb0d326a4f Cycle=SyncdRW Wse SyncdWW Rfe Relax bcsdww013 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww013 62.32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww014 "SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | li r3,1 ; li r3,1 | stw r3,0(r4) | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 4,1 _litmus_P3_3_: stw 4,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww014 Allowed Histogram (15 states) 8782117:>1:r1=0; 3:r1=0; x=1; z=1; 347197:>1:r1=1; 3:r1=1; x=2; z=1; 572749:>1:r1=1; 3:r1=0; x=2; z=2; 377419:>1:r1=1; 3:r1=1; x=1; z=2; 22413262:>1:r1=1; 3:r1=1; x=1; z=1; 11223034:>1:r1=1; 3:r1=0; x=1; z=2; 11109957:>1:r1=0; 3:r1=1; x=2; z=1; 40146460:>1:r1=1; 3:r1=0; x=1; z=1; 11341440:>1:r1=0; 3:r1=1; x=1; z=2; 51408787:>1:r1=0; 3:r1=0; x=2; z=1; 59359805:>1:r1=0; 3:r1=0; x=2; z=2; 40010835:>1:r1=0; 3:r1=1; x=1; z=1; 11886882:>1:r1=1; 3:r1=0; x=2; z=1; 50485486:>1:r1=0; 3:r1=0; x=1; z=2; 534570:>1:r1=0; 3:r1=1; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=ee6d6ba63625d467fac397c863618ff2 Cycle=SyncdRW Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww014 No BCSyncdWW Safe=Wse SyncdRW Time bcsdww014 91.27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww015 "DpdR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r3,1 | sync | lwzx r4,r3,r5 ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) Generated assembler _litmus_P3_0_: lwz 28,0(11) _litmus_P3_1_: xor 10,28,28 _litmus_P3_2_: lwzx 30,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww015 Allowed Histogram (15 states) 339428:>1:r1=1; 3:r1=1; 3:r4=1; z=2; 666263:>1:r1=1; 3:r1=0; 3:r4=0; z=2; 857042:>1:r1=1; 3:r1=1; 3:r4=0; z=1; 13322835:>1:r1=1; 3:r1=0; 3:r4=0; z=1; 31980803:>1:r1=1; 3:r1=0; 3:r4=1; z=1; 25423981:>1:r1=1; 3:r1=1; 3:r4=1; z=1; 14269049:>1:r1=0; 3:r1=1; 3:r4=1; z=2; 4484695:>1:r1=0; 3:r1=0; 3:r4=1; z=1; 39999751:>1:r1=0; 3:r1=1; 3:r4=1; z=1; 66468488:>1:r1=0; 3:r1=0; 3:r4=0; z=2; 9754014:>1:r1=1; 3:r1=0; 3:r4=1; z=2; 1276584:>1:r1=0; 3:r1=1; 3:r4=0; z=2; 43403462:>1:r1=0; 3:r1=0; 3:r4=1; z=2; 48857453:>1:r1=0; 3:r1=0; 3:r4=0; z=1; 18896152:>1:r1=0; 3:r1=1; 3:r4=0; 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 89.59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww016 "DpsR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | xor r3,r1,r1 ; sync | li r3,1 | sync | lwzx r4,r3,r2 ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 3,0(9) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww016 Allowed Histogram (42 states) 12 :>1:r1=1; 3:r1=0; 3:r4=1; y=2; z=1; 21714 :>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=2; 15682 :>1:r1=0; 3:r1=2; 3:r4=1; y=1; z=1; 4450 :>1:r1=1; 3:r1=0; 3:r4=2; y=2; z=1; 11396 :>1:r1=0; 3:r1=1; 3:r4=2; y=1; z=2; 26900 :>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=1; 2252 :>1:r1=1; 3:r1=1; 3:r4=2; y=1; z=2; 2536 :>1:r1=0; 3:r1=1; 3:r4=2; y=2; z=2; 14521 :>1:r1=1; 3:r1=2; 3:r4=1; y=2; z=1; 183088:>1:r1=0; 3:r1=2; 3:r4=1; y=2; z=1; 96277 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=2; 46243 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=1; 36529 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=2; 20844 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=1; 48469 :>1:r1=0; 3:r1=0; 3:r4=2; y=1; z=1; 42661 :>1:r1=1; 3:r1=0; 3:r4=1; y=1; z=2; 375432:>1:r1=1; 3:r1=1; 3:r4=1; y=2; z=1; 550440:>1:r1=0; 3:r1=0; 3:r4=1; y=1; z=2; 146169:>1:r1=1; 3:r1=2; 3:r4=1; y=1; z=1; 70270 :>1:r1=1; 3:r1=0; 3:r4=2; y=1; z=1; 97451 :>1:r1=0; 3:r1=0; 3:r4=1; y=2; z=2; 2599346:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=1; 2600259:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=2; 499135:>1:r1=0; 3:r1=0; 3:r4=2; y=2; z=1; 1550272:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=2; 2795719:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=2; 8526000:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=1; 943314:>1:r1=1; 3:r1=0; 3:r4=0; y=2; z=1; 35414175:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=1; 17650045:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=2; 4978409:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=2; 10222258:>1:r1=1; 3:r1=2; 3:r4=2; y=2; z=1; 3348048:>1:r1=0; 3:r1=2; 3:r4=2; y=2; z=2; 14171464:>1:r1=0; 3:r1=0; 3:r4=0; y=1; z=1; 18997019:>1:r1=1; 3:r1=1; 3:r4=1; y=1; z=1; 26856308:>1:r1=0; 3:r1=1; 3:r4=1; y=1; z=2; 11409233:>1:r1=1; 3:r1=0; 3:r4=0; y=1; z=1; 11116521:>1:r1=0; 3:r1=1; 3:r4=1; y=2; z=1; 26926217:>1:r1=0; 3:r1=2; 3:r4=2; y=1; z=2; 28095472:>1:r1=1; 3:r1=2; 3:r4=2; y=1; z=1; 53623865:>1:r1=0; 3:r1=0; 3:r4=0; y=2; z=1; 35863585:>1:r1=0; 3:r1=0; 3:r4=0; 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.52 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww017 "SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r4) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 30,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww017 Allowed Histogram (15 states) 413951:>1:r1=1; 3:r1=1; 3:r3=1; z=2; 635882:>1:r1=1; 3:r1=1; 3:r3=0; z=1; 808144:>1:r1=0; 3:r1=1; 3:r3=0; z=2; 6526999:>1:r1=0; 3:r1=0; 3:r3=1; z=1; 574075:>1:r1=1; 3:r1=0; 3:r3=0; z=2; 14743363:>1:r1=0; 3:r1=1; 3:r3=0; z=1; 12845307:>1:r1=0; 3:r1=1; 3:r3=1; z=2; 64850369:>1:r1=0; 3:r1=0; 3:r3=0; z=2; 23514653:>1:r1=1; 3:r1=1; 3:r3=1; z=1; 10830726:>1:r1=1; 3:r1=0; 3:r3=1; z=2; 51474941:>1:r1=0; 3:r1=0; 3:r3=0; z=1; 37640292:>1:r1=0; 3:r1=1; 3:r3=1; z=1; 35928725:>1:r1=1; 3:r1=0; 3:r3=1; z=1; 13463935:>1:r1=1; 3:r1=0; 3:r3=0; z=1; 45748638:>1:r1=0; 3:r1=0; 3:r3=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=c13f8ec23ce3b9ee95f51b18bda82021 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe Relax bcsdww017 No BCSyncdWW Safe=Fre Wse SyncdRW SyncdRR Time bcsdww017 91.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww018 "SyncsRR Fre SyncdWW Rfe SyncdRW Wse SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | li r3,1 | sync | lwz r3,0(r2) ; li r3,1 | stw r3,0(r4) | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww018 Allowed Histogram (42 states) 1020 :>1:r1=1; 3:r1=0; 3:r3=1; y=2; z=1; 187130:>1:r1=1; 3:r1=1; 3:r3=2; y=1; z=2; 184513:>1:r1=0; 3:r1=1; 3:r3=2; y=2; z=2; 520861:>1:r1=0; 3:r1=2; 3:r3=1; y=1; z=1; 367974:>1:r1=1; 3:r1=0; 3:r3=2; y=2; z=1; 167717:>1:r1=1; 3:r1=2; 3:r3=1; y=2; z=1; 1133048:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=2; 1846741:>1:r1=0; 3:r1=1; 3:r3=2; y=1; z=2; 803690:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=2; 1589546:>1:r1=0; 3:r1=2; 3:r3=1; y=2; z=1; 308413:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=1; 503610:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=1; 1815670:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=2; 543046:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=2; 372259:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=1; 1353162:>1:r1=1; 3:r1=0; 3:r3=2; y=1; z=1; 2743644:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=2; 2780275:>1:r1=0; 3:r1=0; 3:r3=2; y=1; z=2; 639666:>1:r1=1; 3:r1=0; 3:r3=0; y=2; z=1; 350255:>1:r1=1; 3:r1=1; 3:r3=1; y=2; z=1; 585642:>1:r1=1; 3:r1=0; 3:r3=1; y=1; z=2; 1053819:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=2; 2176547:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=2; 17313866:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=2; 24673180:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=2; 5635055:>1:r1=0; 3:r1=0; 3:r3=2; y=2; z=1; 8027510:>1:r1=0; 3:r1=0; 3:r3=1; y=1; z=2; 10206419:>1:r1=0; 3:r1=1; 3:r3=1; y=2; z=1; 3403158:>1:r1=1; 3:r1=2; 3:r3=1; y=1; z=1; 3894899:>1:r1=1; 3:r1=2; 3:r3=2; y=1; z=2; 50374403:>1:r1=0; 3:r1=0; 3:r3=0; y=2; z=1; 8127461:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=1; 1479042:>1:r1=0; 3:r1=0; 3:r3=1; y=2; z=1; 21121253:>1:r1=0; 3:r1=1; 3:r3=1; y=1; z=2; 10113044:>1:r1=1; 3:r1=2; 3:r3=2; y=2; z=1; 13797605:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=1; 31142682:>1:r1=0; 3:r1=2; 3:r3=2; y=2; z=1; 16317509:>1:r1=1; 3:r1=1; 3:r3=1; y=1; z=1; 32638648:>1:r1=0; 3:r1=0; 3:r3=0; y=1; z=2; 10228906:>1:r1=1; 3:r1=0; 3:r3=0; y=1; z=1; 2494144:>1:r1=0; 3:r1=2; 3:r3=2; y=1; z=1; 26982968:>1:r1=1; 3:r1=2; 3:r3=2; 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 97.57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 113288361:>1:r1=0; 1:r4=1; 319961081:>1:r1=0; 1:r4=0; 206750558:>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 73.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 1703800:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; 1151372:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; 1520065:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; 1075249:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; 1604067:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; 30531000:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; 40346411:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; 41495086:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; 16414715:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; 17920223:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; 71811316:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; 31370049:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; 17213127:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; 16182162:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; 29661358:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=0) is NOT validated Hash=ff6729203383abc4a32d53a80bd77acb Cycle=DpdR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww020 No BCSyncdWW Safe=Fre DpdR Time bcsdww020 93.44 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww021 "DpsR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 | sync | lwzx r4,r3,r2 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 3,0(9) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 28,0(11) _litmus_P1_1_: xor 10,28,28 _litmus_P1_2_: lwzx 30,10,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww021 Allowed Histogram (42 states) 35 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 2655 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 4591 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 4295 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 8340 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; z=2; 2526 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; z=2; 22782 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 29606 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=1; 31726 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 64148 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 122148:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; z=1; 55245 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=1; 665396:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; z=2; 141812:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; z=2; 1666119:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=2; 3246984:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=2; 1157289:>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 4519052:>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 152972:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; z=1; 12839106:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; z=1; 46718 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 74991 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 3377762:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 41749 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=1; 6573757:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 24021835:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=2; 4122035:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=2; 13664636:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 93767 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; z=2; 591725:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=1; 828363:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 37616 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; z=2; 9550542:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=1; 1863730:>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 17364465:>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 32612072:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; z=1; 26704417:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; z=1; 55257662:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=1; 33290465:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; z=2; 20318880:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; z=1; 20985228:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; z=2; 23840758:>1:r1=0; 1:r4=1; 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 98.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 3348649:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; 1141429:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; 700883:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; 1041017:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; 13474737:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; 1485026:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; 35645413:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; 43433720:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; 26511084:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; 70049388:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; 18051077:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; 44065233:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; 30061737:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; 16569714:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; 14420893:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=52b75bc6c8456215cdaad6fb3a5164ee Cycle=SyncdRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww022 No BCSyncdWW Safe=Fre SyncdRR DpdR Time bcsdww022 94.90 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww023 "SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r5=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r5 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 28,0(11) _litmus_P1_1_: xor 10,28,28 _litmus_P1_2_: lwzx 30,10,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww023 Allowed Histogram (42 states) 2060 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 237087:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; z=2; 466167:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 683988:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 154366:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 352184:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 237078:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 877579:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=2; 420375:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=1; 2510224:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=2; 853664:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 1215469:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 1518629:>1:r1=1; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 1394001:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=1; 1719433:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; z=2; 256022:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; z=1; 1142613:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 830275:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 9428475:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 415069:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 1509533:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; z=1; 3452602:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; z=1; 2209099:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=2; 4350179:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 1413648:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; z=2; 3221242:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=2; 995076:>1:r1=1; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 2789584:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 12607981:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; z=1; 21549568:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; z=2; 28767982:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 17330846:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; z=1; 11624756:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; z=1; 7925936:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; z=2; 29933744:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; z=2; 20183151:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=2; 26108137:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=1; 5685332:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; z=1; 18883604:>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; z=2; 17093802:>1:r1=1; 1:r4=0; 3:r1=2; 3:r3=2; z=1; 52331072:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; z=1; 5318368:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r4=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=ef69b708c957de42a04a8b5ca4d81078 Cycle=SyncsRR Fre SyncdWW Rfe DpdR Fre SyncdWW Rfe Relax bcsdww023 No BCSyncdWW Safe=Fre SyncsRR DpdR Time bcsdww023 95.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww024 "DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r2 | sync | lwzx r4,r3,r2 ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) Generated assembler _litmus_P3_0_: lwz 3,0(9) _litmus_P3_1_: xor 10,3,3 _litmus_P3_2_: lwzx 11,10,9 _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww024 Allowed Histogram (105 states) 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; 1 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 2 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 3 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 35 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 3 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 24 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 53 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 12 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 46 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 61 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 59 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 78 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 26 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 49 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 70 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 26 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 89 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 2 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 275 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 122 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 122 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 45 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=1; 800 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 305 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=1; 83 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=1; 227 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 6583 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=1; y=2; 61 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 6182 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 4570 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 769 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 3954 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=1; y=1; 15612 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=1; y=1; 67700 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=1; 3958 :>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=1; y=2; 54242 :>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=1; y=1; 3878 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 49818 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 14374 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 24228 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=1; 25481 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=1; 46769 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=1; 8305 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 8010 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=1; y=2; 68516 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 55197 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 8583 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 63483 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 8378 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 12028 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=1; 15900 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 16159 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=1; 46867 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=1; 100043:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=1; 24175 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=2; 36662 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=2; 37429 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 169323:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=1; y=1; 67370 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=1; y=2; 34089 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=1; x=1; y=1; 65963 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 67869 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=1; y=2; 12016 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 46398 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 66452 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 456168:>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 3148041:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=1; 341351:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=1; 1779504:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=2; 9420723:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=1; 2731126:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=1; y=2; 6510526:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=1; y=2; 2729019:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=1; 7755614:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 33735 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=1; y=1; 126103:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 61156 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=1; 336010:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 165773:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 126590:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=1; y=2; 453671:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=1; y=2; 27600745:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=1; 23862 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 95212 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 1800747:>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=1; 3118155:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=1; 4499887:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=2; 745218:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=1; 3957346:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=1; 22126670:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=1; 7441984:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=1; y=1; 24477248:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=1; y=2; 7450539:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=1; 24533610:>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=1; 21949758:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=2; 22303151:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=1; y=2; 36358049:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=1; y=1; 6523635:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=1; 9428979:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=1; 27422682:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=1; y=2; 4469363:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=1; 22157663:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=1; 3970365:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r4=1) is NOT validated Hash=6e01edb2061b004b7156eefd80367964 Cycle=DpsR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe Relax bcsdww024 No BCSyncdWW Safe=Fre DpsR Time bcsdww024 116.87 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww025 "SyncdRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r4) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=0) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: lwz 30,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 5,1 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww025 Allowed Histogram (42 states) 24 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 5390 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 12588 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 31049 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 5757 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 16820 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 213443:>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 71177 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 54519 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 44960 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 55902 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 121252:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 5716 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=0; y=1; 121203:>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 23422 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 22080 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 41173 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 127255:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 28621 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 573853:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 2246302:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=1; 509101:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 1351600:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=0; y=1; 3337827:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=2; 1567135:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=2; 2619309:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=2; 4072558:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=2; 7046709:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=1; 676008:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=0; y=1; 18722443:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; y=1; 5094474:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=2; 26519925:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; y=1; 25663496:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; y=2; 12630101:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=1; 36197074:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; y=1; 19089741:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=2; 25850867:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; y=2; 11641094:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; y=1; 12365667:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; y=1; 33328427:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; y=2; 55296737:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; y=1; 12597201:>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 90.57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww026 "SyncsRR Fre SyncdWW Rfe DpsR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | sync ; sync | lwzx r4,r3,r2 | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r4=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(9) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 11,10,9 _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww026 Allowed Histogram (107 states) 3 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 10 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 25 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 13 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 52 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 505 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 77 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 322 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 1597 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 400 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 286 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 152 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 748 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 75 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 711 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 3279 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 3021 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 832 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 1031 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 4406 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 1156 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 436 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 3191 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 12726 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 70293 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 15867 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 8775 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 3433 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 270 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 4152 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 3097 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=2; y=1; 1786 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 2354 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 519 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 6801 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 14449 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 59213 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 10017 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=2; y=1; 7312 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 24769 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 11424 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 12092 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 80767 :>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=1; y=1; 612871:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=1; 31356 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 70044 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 156622:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 286967:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=2; x=1; y=2; 31606 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 666946:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=2; y=1; 653171:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=2; y=1; 36576 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 7171 :>1:r1=0; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 828140:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=2; 630847:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=1; y=1; 535820:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=2; 116536:>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 129556:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=1; 504421:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=1; y=1; 34133 :>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=2; y=1; 46273 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 41691 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 1374951:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=1; 306066:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=1; 1311277:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=1; x=1; y=2; 1411620:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=2; x=1; y=2; 325267:>1:r1=0; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 3982265:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=2; y=1; 3483233:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=2; y=1; 1573471:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=1; x=2; y=1; 1139337:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=2; 35974 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 86824 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 800049:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=1; x=2; y=1; 176111:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=2; x=1; y=2; 2733069:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=2; 668174:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=2; x=1; y=2; 2336524:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=2; 605425:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=1; x=2; y=1; 468462:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=1; x=1; y=1; 2288515:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=2; y=1; 6390909:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=1; 432728:>1:r1=0; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 8999560:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=1; y=1; 3436490:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=1; 1550399:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=2; y=1; 3348280:>1:r1=1; 1:r4=1; 3:r1=0; 3:r3=0; x=2; y=1; 2075830:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=2; x=1; y=1; 19162869:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=1; y=2; 6348682:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=1; x=1; y=2; 7507601:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=1; 21696851:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=2; y=1; 8670983:>1:r1=0; 1:r4=0; 3:r1=1; 3:r3=1; x=1; y=1; 2115255:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=2; x=1; y=2; 6703398:>1:r1=1; 1:r4=1; 3:r1=1; 3:r3=1; x=1; y=1; 5409474:>1:r1=2; 1:r4=2; 3:r1=1; 3:r3=1; x=2; y=1; 5015338:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=2; 3089300:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=1; y=1; 21568130:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=2; 20802176:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=2; 24346167:>1:r1=1; 1:r4=1; 3:r1=2; 3:r3=2; x=2; y=1; 751248:>1:r1=2; 1:r4=2; 3:r1=2; 3:r3=2; x=1; y=1; 20387885:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=2; y=1; 35210941:>1:r1=0; 1:r4=0; 3:r1=0; 3:r3=0; x=1; y=1; 25907094:>1:r1=2; 1:r4=2; 3:r1=0; 3:r3=0; x=1; y=2; 24546234:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=2; y=1; 3626373:>1:r1=0; 1:r4=0; 3:r1=2; 3:r3=2; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1: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 117.97 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww027 "DpdW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | li r4,1 ; lwz r3,0(r4) | li r3,1 | stwx r4,r3,r5 ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: xor 30,28,28 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,30,9 _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 30,2 _litmus_P0_1_: stw 30,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww027 Allowed Histogram (7 states) 6209945:>0:r3=1; 2:r1=0; x=1; 19187179:>0:r3=0; 2:r1=1; x=1; 20348455:>0:r3=1; 2:r1=1; x=2; 54149542:>0:r3=0; 2:r1=0; x=2; 81174169:>0:r3=1; 2:r1=1; x=1; 113229312:>0:r3=0; 2:r1=0; x=1; 105701398:>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=a3cc59f896bd23424085486bc047f237 Cycle=DpdW Wse SyncdWR Fre SyncdWW Rfe Relax bcsdww027 No BCSyncdWW Safe=Fre Wse SyncdWR DpdW Time bcsdww027 61.51 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww028 "SyncdRW Wse SyncdWR Fre SyncdWW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | li r3,1 ; lwz r3,0(r4) | li r3,1 | stw r3,0(r4) ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=0 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 30,1 _litmus_P2_3_: stw 30,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 30,2 _litmus_P0_1_: stw 30,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww028 Allowed Histogram (7 states) 41797154:>0:r3=0; 2:r1=0; x=2; 16495618:>0:r3=0; 2:r1=1; x=1; 78892826:>0:r3=1; 2:r1=1; x=1; 10377590:>0:r3=1; 2:r1=0; x=1; 127075240:>0:r3=0; 2:r1=0; x=1; 13199910:>0:r3=1; 2:r1=1; x=2; 112161662:>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 64.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 4919748:>0:r3=1; 2:r1=0; 2:r4=1; 23477688:>0:r3=1; 2:r1=1; 2:r4=0; 21613730:>0:r3=0; 2:r1=1; 2:r4=1; 52512222:>0:r3=0; 2:r1=0; 2:r4=0; 109851133:>0:r3=1; 2:r1=0; 2:r4=0; 78894653:>0:r3=1; 2:r1=1; 2:r4=1; 108730826:>0:r3=0; 2:r1=0; 2:r4=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=1052dfbfb336d023eeffaaf6c00324c1 Cycle=DpdR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww029 No BCSyncdWW Safe=Fre SyncdWR DpdR Time bcsdww029 75.80 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww030 "DpsR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r2 ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P2_0_: lwz 30,0(9) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 11,10,9 _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 30,2 _litmus_P0_1_: stw 30,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww030 Allowed Histogram (18 states) 5227 :>0:r3=1; 2:r1=1; 2:r4=2; y=2; 2369 :>0:r3=1; 2:r1=2; 2:r4=1; y=1; 1336 :>0:r3=0; 2:r1=0; 2:r4=1; y=1; 22308 :>0:r3=0; 2:r1=0; 2:r4=2; y=1; 271688:>0:r3=0; 2:r1=2; 2:r4=1; y=1; 634851:>0:r3=1; 2:r1=0; 2:r4=2; y=2; 119268:>0:r3=1; 2:r1=0; 2:r4=2; y=1; 210994:>0:r3=1; 2:r1=0; 2:r4=1; y=1; 1504823:>0:r3=1; 2:r1=0; 2:r4=1; y=2; 40923568:>0:r3=1; 2:r1=0; 2:r4=0; y=1; 54533373:>0:r3=0; 2:r1=0; 2:r4=0; y=1; 26072078:>0:r3=1; 2:r1=1; 2:r4=1; y=2; 4064706:>0:r3=1; 2:r1=2; 2:r4=2; y=1; 23402703:>0:r3=0; 2:r1=1; 2:r4=1; y=1; 41110299:>0:r3=1; 2:r1=2; 2:r4=2; y=2; 15191185:>0:r3=1; 2:r1=1; 2:r4=1; y=1; 105099566:>0:r3=0; 2:r1=2; 2:r4=2; y=1; 86829658:>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 63.51 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 15748368:>0:r3=0; 2:r1=1; 2:r3=1; 15418883:>0:r3=1; 2:r1=1; 2:r3=0; 51529446:>0:r3=0; 2:r1=0; 2:r3=0; 8321819:>0:r3=1; 2:r1=0; 2:r3=1; 117377008:>0:r3=0; 2:r1=0; 2:r3=1; 115576677:>0:r3=1; 2:r1=0; 2:r3=0; 76027799:>0:r3=1; 2:r1=1; 2:r3=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is NOT validated Hash=d99b2c9fcd24d521255a6c4ef185df57 Cycle=SyncdRR Fre SyncdWR Fre SyncdWW Rfe Relax bcsdww031 No BCSyncdWW Safe=Fre SyncdWR SyncdRR Time bcsdww031 76.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww032.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww032 "SyncsRR Fre SyncdWR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r2) ; lwz r3,0(r4) | li r3,1 | ; | stw r3,0(r4) | ; exists (y=2 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=1) Generated assembler _litmus_P2_0_: lwz 3,0(9) _litmus_P2_1_: sync _litmus_P2_2_: lwz 11,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 30,2 _litmus_P0_1_: stw 30,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test bcsdww032 Allowed Histogram (18 states) 49998 :>0:r3=0; 2:r1=0; 2:r3=1; y=1; 2434209:>0:r3=0; 2:r1=0; 2:r3=2; y=1; 699712:>0:r3=1; 2:r1=0; 2:r3=1; y=1; 286436:>0:r3=1; 2:r1=2; 2:r3=1; y=1; 453783:>0:r3=1; 2:r1=0; 2:r3=2; y=1; 14754948:>0:r3=1; 2:r1=0; 2:r3=1; y=2; 5196142:>0:r3=0; 2:r1=2; 2:r3=1; y=1; 2268058:>0:r3=1; 2:r1=1; 2:r3=2; y=2; 3359383:>0:r3=1; 2:r1=2; 2:r3=2; y=1; 5037403:>0:r3=1; 2:r1=0; 2:r3=2; y=2; 19987286:>0:r3=0; 2:r1=1; 2:r3=1; y=1; 21664081:>0:r3=1; 2:r1=1; 2:r3=1; y=2; 39056728:>0:r3=1; 2:r1=0; 2:r3=0; y=1; 13259551:>0:r3=1; 2:r1=1; 2:r3=1; y=1; 53366798:>0:r3=0; 2:r1=0; 2:r3=0; y=1; 40880161:>0:r3=1; 2:r1=2; 2:r3=2; y=2; 104447310:>0:r3=0; 2:r1=2; 2:r3=2; y=1; 72798013:>0:r3=1; 2:r1=0; 2:r3=0; 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 66.22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 129861468:>1:r1=0; 1:r3=1; 309592786:>1:r1=0; 1:r3=0; 200545746:>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 75.53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 5454702:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 653280:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 634618:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 858694:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 23710917:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; 34037866:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 14064005:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 13887638:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 13745418:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 34668728:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 47027271:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 816480:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 47118324:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 69589620:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 13732439:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is NOT validated Hash=3dd9d4fff43138f32cd2819c7a65cdb3 Cycle=SyncdRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe Relax bcsdww034 No BCSyncdWW Safe=Fre SyncdRR Time bcsdww034 93.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww035.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww035 "SyncsRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r4) | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (z=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,1 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 30,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww035 Allowed Histogram (42 states) 1248 :>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 411814:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 189289:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; z=2; 848798:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=2; 2043924:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 1604486:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 1369659:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=2; 1425604:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; z=1; 309704:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 666142:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 368973:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 3294407:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; z=1; 256192:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=1; z=1; 612201:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 487824:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=1; 360588:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 6003974:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; z=1; 1825184:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 2777782:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; z=2; 900006:>1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; z=1; 1205894:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; z=1; 1009830:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 589200:>1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 25443101:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=1; 11543231:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=1; 11888638:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 216631:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; z=2; 6224089:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 10567843:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=1; 1833785:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; z=2; 2817958:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=2; 19115897:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; z=2; 3910583:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 13014377:>1:r1=1; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 30798707:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 8417254:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; z=2; 23014159:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; z=2; 15755297:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; z=1; 19932760:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=2; 2406953:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; z=2; 32008434:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; z=1; 52527580:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=f0c1b6d32c1c64645b39ad490ac97524 Cycle=SyncsRR Fre SyncdWW Rfe SyncdRR Fre SyncdWW Rfe Relax bcsdww035 No BCSyncdWW Safe=Fre SyncsRR SyncdRR Time bcsdww035 97.21 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww036.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww036 "DpdR Fre SyncsWR Fre SyncdWW Rfe" {0:r2=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ; sync | sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: xor 10,28,28 _litmus_P2_2_: lwzx 30,10,9 _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test bcsdww036 Allowed Histogram (13 states) 2199696:>0:r3=2; 2:r1=1; 2:r4=2; x=2; 190834:>0:r3=2; 2:r1=0; 2:r4=1; x=2; 1399537:>0:r3=2; 2:r1=0; 2:r4=2; x=2; 7733431:>0:r3=2; 2:r1=0; 2:r4=0; x=2; 31639940:>0:r3=1; 2:r1=0; 2:r4=2; x=1; 22233299:>0:r3=1; 2:r1=1; 2:r4=2; x=2; 22414931:>0:r3=1; 2:r1=1; 2:r4=2; x=1; 46868799:>0:r3=1; 2:r1=0; 2:r4=2; x=2; 6454601:>0:r3=1; 2:r1=0; 2:r4=1; x=1; 64771123:>0:r3=1; 2:r1=0; 2:r4=0; x=1; 73749290:>0:r3=1; 2:r1=1; 2:r4=1; x=1; 62042454:>0:r3=1; 2:r1=0; 2:r4=1; x=2; 58302065:>0:r3=1; 2:r1=0; 2:r4=0; 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 61.23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww037.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww037 "SyncdRR Fre SyncsWR Fre SyncdWW Rfe" {0:r2=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | lwz r3,0(r4) ; lwz r3,0(r2) | li r3,1 | ; | stw r3,0(r4) | ; exists (x=2 /\ 0:r3=1 /\ 2:r1=1 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 30,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 11,1 _litmus_P0_1_: stw 11,0(9) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test bcsdww037 Allowed Histogram (13 states) 109532:>0:r3=2; 2:r1=0; 2:r3=1; x=2; 654792:>0:r3=2; 2:r1=0; 2:r3=2; x=2; 6718853:>0:r3=1; 2:r1=0; 2:r3=1; x=1; 5538522:>0:r3=2; 2:r1=0; 2:r3=0; x=2; 1432420:>0:r3=2; 2:r1=1; 2:r3=2; x=2; 71597778:>0:r3=1; 2:r1=1; 2:r3=1; x=1; 16173378:>0:r3=1; 2:r1=1; 2:r3=2; x=2; 53226794:>0:r3=1; 2:r1=0; 2:r3=2; x=2; 40559806:>0:r3=1; 2:r1=0; 2:r3=2; x=1; 59322940:>0:r3=1; 2:r1=0; 2:r3=0; x=2; 63851556:>0:r3=1; 2:r1=0; 2:r3=1; x=2; 16214103:>0:r3=1; 2:r1=1; 2:r3=2; x=1; 64599526:>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 62.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdww038.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdww038 "SyncsRR Fre SyncdWW Rfe SyncsRR Fre SyncdWW Rfe" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync | stw r1,0(r2) | sync ; sync | lwz r3,0(r2) | sync | lwz r3,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r3=1 /\ 3:r1=1 /\ 3:r3=1) Generated assembler _litmus_P3_0_: lwz 4,0(9) _litmus_P3_1_: sync _litmus_P3_2_: lwz 11,0(9) _litmus_P2_0_: li 5,2 _litmus_P2_1_: stw 5,0(11) _litmus_P2_2_: sync _litmus_P2_3_: li 4,1 _litmus_P2_4_: stw 4,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _litmus_P1_2_: lwz 11,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test bcsdww038 Allowed Histogram (108 states) 346 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 355 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 1128 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 14431 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 4286 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 1901 :>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 17908 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 20302 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 29027 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 14299 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 1620 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 11195 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 1464 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 93744 :>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 7081 :>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 29317 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 20813 :>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 93001 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 25257 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 1053 :>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=1; x=2; y=1; 76379 :>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 146342:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 76280 :>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 235941:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 90030 :>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 25357 :>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 93293 :>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 153873:>1:r1=1; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 90786 :>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=1; y=1; 816740:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 236621:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=2; x=1; y=2; 1950 :>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=2; y=1; 246371:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 241579:>1:r1=1; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 7156 :>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 795578:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=2; y=1; 30476 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 565447:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=2; 153410:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=2; x=1; y=2; 772482:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=2; y=1; 568471:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 133016:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 293174:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 524793:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=1; 774782:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 149869:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 508420:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=1; y=1; 828526:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 1486982:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=2; x=1; y=2; 129608:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=1; 532221:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 511821:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 671657:>1:r1=0; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 735140:>1:r1=2; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 661003:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=1; y=1; 30758 :>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=2; y=1; 842939:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=1; 1344006:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 451386:>1:r1=2; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 293024:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=1; 3461890:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=1; 94046 :>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 6423660:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=1; 3450767:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=1; 2273430:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 2229543:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=2; x=1; y=2; 1257003:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=1; x=2; y=1; 3097859:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 3572403:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 1491443:>1:r1=1; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 813550:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=2; x=2; y=1; 427080:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; x=1; y=2; 2231131:>1:r1=0; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 1242200:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=2; 3908373:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=2; y=1; 1212836:>1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 461536:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=1; x=2; y=1; 1957509:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=2; 1358604:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; x=1; y=1; 853958:>1:r1=0; 1:r3=2; 3:r1=0; 3:r3=0; x=2; y=1; 3555982:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=2; y=1; 20216795:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=1; y=2; 20117281:>1:r1=2; 1:r3=2; 3:r1=2; 3:r3=2; x=2; y=1; 976069:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 748384:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=1; x=1; y=1; 3870914:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 6529968:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=1; 6228264:>1:r1=0; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 34413065:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=1; 2156704:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=2; 6270024:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=1; x=1; y=2; 1233703:>1:r1=2; 1:r3=1; 3:r1=2; 3:r3=2; x=1; y=2; 963007:>1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; x=1; y=2; 1967129:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=2; y=1; 2277367:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=1; 19255026:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=1; y=2; 18391538:>1:r1=2; 1:r3=2; 3:r1=1; 3:r3=1; x=1; y=2; 858101:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=2; x=1; y=2; 2137421:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=2; y=1; 22692065:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=2; y=1; 6518269:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=1; 19144010:>1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; x=2; y=1; 18342807:>1:r1=1; 1:r3=1; 3:r1=2; 3:r3=2; x=2; y=1; 8181213:>1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; x=1; y=1; 22759220:>1:r1=2; 1:r3=2; 3:r1=0; 3:r3=0; x=1; y=2; 8108401:>1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; x=1; y=1; 431705:>1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; x=2; y=1; 3120532:>1:r1=0; 1:r3=0; 3:r1=2; 3:r3=2; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 1:r1=1 /\ 1:r3=1 /\ 3:r1=1 /\ 3:r3=1) is NOT validated Hash=1749371cc26417072606d04b91651c05 Cycle=SyncsRR Fre SyncdWW Rfe SyncsRR Fre SyncdWW Rfe Relax bcsdww038 No BCSyncdWW Safe=Fre SyncsRR Time bcsdww038 117.13 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 2000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 20000 #endif #ifndef N_EXE #define N_EXE (32 < N ? 1 : 32 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: true */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS= Mon Dec 28 15:23:48 GMT 2009