Wed Dec 23 16:27:17 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw000 "Rfe SyncdRW Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; sync | sync ; li r3,1 | li r3,1 ; stw r3,0(r4) | stw r3,0(r4) ; exists (0:r1=1 /\ 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_: lwz 4,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 5,1 _litmus_P0_3_: stw 5,0(9) Test acsdrw000 Allowed Histogram (3 states) 206721283:>0:r1=1; 1:r1=0; 218019074:>0:r1=0; 1:r1=1; 215259643:>0:r1=0; 1:r1=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 1:r1=1) is NOT validated Hash=594183612285ea19f22ca74320b9670d Cycle=Rfe SyncdRW Rfe SyncdRW Relax acsdrw000 No ACSyncdRW Safe= Time acsdrw000 77.46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw001 "Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz 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 (0:r1=1 /\ 1:r1=1 /\ 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_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 31,1 _litmus_P1_3_: stw 31,0(9) _litmus_P0_0_: lwz 3,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 4,1 _litmus_P0_3_: stw 4,0(9) Test acsdrw001 Allowed Histogram (7 states) 4660370:>0:r1=1; 1:r1=1; 2:r1=0; 53920252:>0:r1=0; 1:r1=0; 2:r1=0; 5645700:>0:r1=1; 1:r1=0; 2:r1=1; 7421689:>0:r1=0; 1:r1=1; 2:r1=1; 102863825:>0:r1=1; 1:r1=0; 2:r1=0; 110426999:>0:r1=0; 1:r1=0; 2:r1=1; 115061165:>0:r1=0; 1:r1=1; 2:r1=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1) is NOT validated Hash=e9f79bffdc4009277d2d5ec18c343e3a Cycle=Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Relax acsdrw001 No ACSyncdRW Safe= Time acsdrw001 75.78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw002 "Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; sync | sync | sync | sync ; li r3,1 | li r3,1 | li r3,1 | li r3,1 ; stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) ; exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: 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_: lwz 3,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 4,1 _litmus_P0_3_: stw 4,0(9) Test acsdrw002 Allowed Histogram (15 states) 169469:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=1; 175759:>0:r1=1; 1:r1=1; 2:r1=1; 3:r1=0; 166842:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=1; 166166:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=1; 7420078:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=0; 7788841:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=1; 22106788:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=0; 50371526:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=0; 50518473:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=0; 50919534:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=0; 7480758:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=0; 51651980:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=1; 31752502:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=0; 31728098:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=1; 7583186:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=43fcee2c783ce4df2d729acef9bebaf0 Cycle=Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Relax acsdrw002 No ACSyncdRW Safe= Time acsdrw002 92.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw003 "Wse Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW" {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 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) | li r1,2 ; sync | sync | sync | stw r1,0(r2) ; li r3,1 | li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) | ; exists (z=2 /\ 0:r1=2 /\ 1:r1=1 /\ 2:r1=1) Generated assembler _litmus_P3_0_: li 8,2 _litmus_P3_1_: stw 8,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: 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_: lwz 4,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 5,1 _litmus_P0_3_: stw 5,0(9) Test acsdrw003 Allowed Histogram (21 states) 156960:>0:r1=0; 1:r1=1; 2:r1=1; z=2; 853330:>0:r1=1; 1:r1=0; 2:r1=1; z=2; 2172471:>0:r1=2; 1:r1=1; 2:r1=0; z=2; 789856:>0:r1=2; 1:r1=1; 2:r1=1; z=1; 5660582:>0:r1=0; 1:r1=0; 2:r1=0; z=1; 1377815:>0:r1=2; 1:r1=0; 2:r1=1; z=2; 2661409:>0:r1=1; 1:r1=1; 2:r1=0; z=1; 23213065:>0:r1=0; 1:r1=0; 2:r1=0; z=2; 19508285:>0:r1=2; 1:r1=0; 2:r1=0; z=1; 21877399:>0:r1=1; 1:r1=0; 2:r1=0; z=2; 9021565:>0:r1=1; 1:r1=0; 2:r1=1; z=1; 3968443:>0:r1=1; 1:r1=1; 2:r1=0; z=2; 28568791:>0:r1=0; 1:r1=1; 2:r1=0; z=1; 10575528:>0:r1=0; 1:r1=0; 2:r1=1; z=2; 31090591:>0:r1=1; 1:r1=0; 2:r1=0; z=1; 36167744:>0:r1=2; 1:r1=0; 2:r1=1; z=1; 32792544:>0:r1=0; 1:r1=1; 2:r1=0; z=2; 35307784:>0:r1=0; 1:r1=0; 2:r1=1; z=1; 13502628:>0:r1=2; 1:r1=1; 2:r1=0; z=1; 7016468:>0:r1=0; 1:r1=1; 2:r1=1; z=1; 33716742:>0:r1=2; 1:r1=0; 2:r1=0; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 0:r1=2 /\ 1:r1=1 /\ 2:r1=1) is NOT validated Hash=aea399e22ba161d291e7b869ebf94dca Cycle=Wse Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Relax acsdrw003 No ACSyncdRW Safe=Wse Time acsdrw003 84.75 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw004 "Wse SyncdWW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | sync | sync | sync ; sync | li r3,1 | li r3,1 | li r3,1 ; li r3,1 | stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) ; stw r3,0(r4) | | | ; exists (a=2 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: 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 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 acsdrw004 Allowed Histogram (15 states) 321014:>1:r1=1; 2:r1=1; 3:r1=0; a=2; 400237:>1:r1=1; 2:r1=0; 3:r1=1; a=2; 123638:>1:r1=1; 2:r1=1; 3:r1=1; a=1; 13417139:>1:r1=0; 2:r1=0; 3:r1=0; a=1; 6317414:>1:r1=1; 2:r1=1; 3:r1=0; a=1; 7474852:>1:r1=0; 2:r1=1; 3:r1=1; a=1; 63952386:>1:r1=0; 2:r1=0; 3:r1=0; a=2; 48195271:>1:r1=0; 2:r1=0; 3:r1=1; a=1; 46031695:>1:r1=0; 2:r1=1; 3:r1=0; a=2; 41164599:>1:r1=0; 2:r1=1; 3:r1=0; a=1; 255822:>1:r1=0; 2:r1=1; 3:r1=1; a=2; 26421685:>1:r1=1; 2:r1=0; 3:r1=1; a=1; 41199025:>1:r1=1; 2:r1=0; 3:r1=0; a=1; 12533871:>1:r1=0; 2:r1=0; 3:r1=1; a=2; 12191352:>1:r1=1; 2:r1=0; 3:r1=0; a=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=7a59c834bf44e53a4afef86a80f647c7 Cycle=Wse SyncdWW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Relax acsdrw004 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw004 91.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw005 "Wse LwSyncdWW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | sync | sync | sync ; lwsync | li r3,1 | li r3,1 | li r3,1 ; li r3,1 | stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) ; stw r3,0(r4) | | | ; exists (a=2 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: 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 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw005 Allowed Histogram (15 states) 250739:>1:r1=1; 2:r1=1; 3:r1=1; a=1; 11957398:>1:r1=0; 2:r1=0; 3:r1=0; a=1; 451989:>1:r1=1; 2:r1=1; 3:r1=0; a=2; 216574:>1:r1=0; 2:r1=1; 3:r1=1; a=2; 425280:>1:r1=1; 2:r1=0; 3:r1=1; a=2; 43168738:>1:r1=0; 2:r1=1; 3:r1=0; a=2; 37652412:>1:r1=0; 2:r1=1; 3:r1=0; a=1; 47354712:>1:r1=1; 2:r1=0; 3:r1=0; a=1; 11002025:>1:r1=0; 2:r1=0; 3:r1=1; a=2; 9608548:>1:r1=1; 2:r1=1; 3:r1=0; a=1; 6897327:>1:r1=0; 2:r1=1; 3:r1=1; a=1; 14480908:>1:r1=1; 2:r1=0; 3:r1=0; a=2; 61382627:>1:r1=0; 2:r1=0; 3:r1=0; a=2; 30421615:>1:r1=1; 2:r1=0; 3:r1=1; a=1; 44729108:>1:r1=0; 2:r1=0; 3:r1=1; a=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=ae4a7029db4e5441e31be405bd78f18a Cycle=Wse LwSyncdWW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Relax acsdrw005 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw005 89.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw006 "Wse Rfe SyncdRW Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | li r1,2 ; sync | sync | stw r1,0(r2) ; li r3,1 | li r3,1 | ; stw r3,0(r4) | stw r3,0(r4) | ; exists (y=2 /\ 0:r1=2 /\ 1:r1=1) Generated assembler _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,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_: lwz 3,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 4,1 _litmus_P0_3_: stw 4,0(9) Test acsdrw006 Allowed Histogram (9 states) 10511147:>0:r1=0; 1:r1=0; y=1; 81591316:>0:r1=0; 1:r1=0; y=2; 21429234:>0:r1=2; 1:r1=1; y=1; 12736654:>0:r1=0; 1:r1=1; y=2; 60000214:>0:r1=1; 1:r1=0; y=1; 25333868:>0:r1=1; 1:r1=0; y=2; 46315798:>0:r1=2; 1:r1=0; y=2; 78934071:>0:r1=0; 1:r1=1; y=1; 63147698:>0:r1=2; 1:r1=0; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r1=2 /\ 1:r1=1) is NOT validated Hash=e3edf89052cc50f1c44e40a365bc727f Cycle=Wse Rfe SyncdRW Rfe SyncdRW Relax acsdrw006 No ACSyncdRW Safe=Wse Time acsdrw006 72.41 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw007 "Wse SyncdWW Wse Rfe SyncdRW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | lwz r1,0(r2) | 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 /\ z=2 /\ 2:r1=2 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _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 7,2 _litmus_P1_1_: stw 7,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 acsdrw007 Allowed Histogram (21 states) 2482400:>2:r1=2; 3:r1=0; x=2; z=2; 3361091:>2:r1=0; 3:r1=0; x=1; z=1; 1358714:>2:r1=2; 3:r1=1; x=1; z=2; 1504623:>2:r1=1; 3:r1=0; x=2; z=2; 523840:>2:r1=0; 3:r1=1; x=2; z=2; 1639278:>2:r1=2; 3:r1=1; x=2; z=1; 1648245:>2:r1=1; 3:r1=1; x=1; z=1; 27420036:>2:r1=2; 3:r1=0; x=2; z=1; 17458191:>2:r1=0; 3:r1=0; x=2; z=1; 12564129:>2:r1=1; 3:r1=0; x=1; z=2; 12417355:>2:r1=0; 3:r1=1; x=1; z=2; 15240880:>2:r1=0; 3:r1=0; x=2; z=2; 16646097:>2:r1=2; 3:r1=0; x=1; z=1; 14287593:>2:r1=2; 3:r1=1; x=1; z=1; 29406740:>2:r1=0; 3:r1=1; x=1; z=1; 45657820:>2:r1=2; 3:r1=0; x=1; z=2; 18006892:>2:r1=1; 3:r1=0; x=2; z=1; 29266176:>2:r1=0; 3:r1=1; x=2; z=1; 42856167:>2:r1=0; 3:r1=0; x=1; z=2; 22965376:>2:r1=1; 3:r1=0; x=1; z=1; 3288357:>2:r1=1; 3:r1=1; x=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 2:r1=2 /\ 3:r1=1) is NOT validated Hash=607d50c12790231d610fd3d79d562962 Cycle=Wse SyncdWW Wse Rfe SyncdRW Rfe SyncdRW Relax acsdrw007 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw007 87.45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw008 "Wse LwSyncdWW Wse Rfe SyncdRW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; lwsync | | li r3,1 | li r3,1 ; li r3,1 | | stw r3,0(r4) | stw r3,0(r4) ; stw r3,0(r4) | | | ; exists (x=2 /\ z=2 /\ 2:r1=2 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _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 7,2 _litmus_P1_1_: stw 7,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test acsdrw008 Allowed Histogram (21 states) 621818:>2:r1=0; 3:r1=1; x=2; z=2; 2158734:>2:r1=1; 3:r1=0; x=2; z=2; 3208734:>2:r1=2; 3:r1=0; x=2; z=2; 5518633:>2:r1=1; 3:r1=1; x=2; z=1; 16030294:>2:r1=2; 3:r1=0; x=1; z=1; 2264381:>2:r1=2; 3:r1=1; x=2; z=1; 3019875:>2:r1=0; 3:r1=0; x=1; z=1; 1161779:>2:r1=2; 3:r1=1; x=1; z=2; 13684008:>2:r1=1; 3:r1=0; x=1; z=2; 22509845:>2:r1=1; 3:r1=0; x=1; z=1; 40758977:>2:r1=0; 3:r1=0; x=1; z=2; 26928386:>2:r1=0; 3:r1=1; x=2; z=1; 10594386:>2:r1=0; 3:r1=1; x=1; z=2; 40311342:>2:r1=2; 3:r1=0; x=1; z=2; 23809496:>2:r1=1; 3:r1=0; x=2; z=1; 15367538:>2:r1=0; 3:r1=0; x=2; z=1; 13045691:>2:r1=2; 3:r1=1; x=1; z=1; 33310736:>2:r1=2; 3:r1=0; x=2; z=1; 16507683:>2:r1=0; 3:r1=0; x=2; z=2; 27420700:>2:r1=0; 3:r1=1; x=1; z=1; 1766964:>2:r1=1; 3:r1=1; x=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 2:r1=2 /\ 3:r1=1) is NOT validated Hash=a2cf778e758c7ad9ed656ae2435bb232 Cycle=Wse LwSyncdWW Wse Rfe SyncdRW Rfe SyncdRW Relax acsdrw008 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw008 84.65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw009 "Wse SyncdWR Fre Rfe SyncdRW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; sync | | li r3,1 | li r3,1 ; lwz r3,0(r4) | | stw r3,0(r4) | stw r3,0(r4) ; exists (z=2 /\ 0:r3=0 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _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 7,1 _litmus_P1_1_: stw 7,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test acsdrw009 Allowed Histogram (15 states) 1268512:>0:r3=1; 2:r1=1; 3:r1=1; z=2; 917491:>0:r3=0; 2:r1=0; 3:r1=1; z=2; 39299090:>0:r3=0; 2:r1=0; 3:r1=0; z=1; 29044721:>0:r3=0; 2:r1=1; 3:r1=0; z=1; 24455498:>0:r3=0; 2:r1=0; 3:r1=0; z=2; 37679003:>0:r3=1; 2:r1=0; 3:r1=0; z=2; 35675465:>0:r3=1; 2:r1=1; 3:r1=0; z=1; 55911123:>0:r3=1; 2:r1=1; 3:r1=0; z=2; 10818133:>0:r3=1; 2:r1=0; 3:r1=1; z=2; 2499961:>0:r3=1; 2:r1=0; 3:r1=0; z=1; 1874128:>0:r3=0; 2:r1=1; 3:r1=1; z=1; 4780478:>0:r3=0; 2:r1=1; 3:r1=0; z=2; 38358559:>0:r3=0; 2:r1=0; 3:r1=1; z=1; 14370476:>0:r3=1; 2:r1=1; 3:r1=1; z=1; 23047362:>0:r3=1; 2:r1=0; 3:r1=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 0:r3=0 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=9fc08bd228c3c568859dbc72215d222b Cycle=Wse SyncdWR Fre Rfe SyncdRW Rfe SyncdRW Relax acsdrw009 No ACSyncdRW Safe=Fre Wse SyncdWR Time acsdrw009 83.26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw010 "Wse SyncdWW Rfe SyncdRW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,2 | lwz r1,0(r2) | lwz 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 (z=2 /\ 1:r1=1 /\ 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_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 31,1 _litmus_P1_3_: stw 31,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 acsdrw010 Allowed Histogram (7 states) 5401772:>1:r1=1; 2:r1=1; z=1; 10480156:>1:r1=1; 2:r1=0; z=2; 35266432:>1:r1=0; 2:r1=0; z=1; 14379123:>1:r1=0; 2:r1=1; z=2; 104662884:>1:r1=0; 2:r1=1; z=1; 90848304:>1:r1=1; 2:r1=0; z=1; 138961329:>1:r1=0; 2:r1=0; z=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (z=2 /\ 1:r1=1 /\ 2:r1=1) is NOT validated Hash=b7caef3c5ae45279350129eabce6d3e4 Cycle=Wse SyncdWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw010 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw010 74.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw011 "Wse SyncdWW Wse SyncdWW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; sync | sync | li r3,1 | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | | ; exists (a=2 /\ x=2 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,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 acsdrw011 Allowed Histogram (15 states) 524542:>2:r1=0; 3:r1=1; a=2; x=2; 124597:>2:r1=1; 3:r1=1; a=2; x=1; 794755:>2:r1=1; 3:r1=0; a=2; x=2; 31982159:>2:r1=1; 3:r1=0; a=1; x=1; 9045003:>2:r1=1; 3:r1=0; a=1; x=2; 10564742:>2:r1=0; 3:r1=1; a=2; x=1; 10871297:>2:r1=0; 3:r1=0; a=1; x=1; 54565481:>2:r1=0; 3:r1=0; a=1; x=2; 35545962:>2:r1=1; 3:r1=0; a=2; x=1; 39474167:>2:r1=0; 3:r1=1; a=1; x=1; 64767079:>2:r1=0; 3:r1=0; a=2; x=1; 35674442:>2:r1=0; 3:r1=1; a=1; x=2; 21097256:>2:r1=0; 3:r1=0; a=2; x=2; 190260:>2:r1=1; 3:r1=1; a=1; x=2; 4778258:>2:r1=1; 3:r1=1; a=1; x=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ x=2 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=b9ade8d0220b83a03881ae45af94a30f Cycle=Wse SyncdWW Wse SyncdWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw011 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw011 89.32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw012 "Wse LwSyncdWW Wse SyncdWW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; lwsync | sync | li r3,1 | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | | ; exists (a=2 /\ x=2 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,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_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw012 Allowed Histogram (15 states) 263137:>2:r1=1; 3:r1=1; a=1; x=2; 107733:>2:r1=1; 3:r1=1; a=2; x=1; 1067544:>2:r1=1; 3:r1=0; a=2; x=2; 618021:>2:r1=0; 3:r1=1; a=2; x=2; 9037682:>2:r1=0; 3:r1=0; a=1; x=1; 9607219:>2:r1=0; 3:r1=1; a=2; x=1; 24387369:>2:r1=0; 3:r1=0; a=2; x=2; 11323525:>2:r1=1; 3:r1=0; a=1; x=2; 30061493:>2:r1=1; 3:r1=0; a=1; x=1; 4493957:>2:r1=1; 3:r1=1; a=1; x=1; 33970986:>2:r1=1; 3:r1=0; a=2; x=1; 58769659:>2:r1=0; 3:r1=0; a=1; x=2; 39393593:>2:r1=0; 3:r1=1; a=1; x=2; 60455692:>2:r1=0; 3:r1=0; a=2; x=1; 36442390:>2:r1=0; 3:r1=1; a=1; x=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ x=2 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=fab526cda64c209da4ced7f908a22782 Cycle=Wse LwSyncdWW Wse SyncdWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw012 No ACSyncdRW Safe=Wse SyncdWW LwSyncdWW Time acsdrw012 92.06 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw013 "Wse SyncdWR Fre SyncdWW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; sync | sync | li r3,1 | li r3,1 ; lwz r3,0(r4) | li r3,1 | stw r3,0(r4) | stw r3,0(r4) ; | stw r3,0(r4) | | ; exists (a=2 /\ 0:r3=0 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,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 acsdrw013 Allowed Histogram (15 states) 278428:>0:r3=0; 2:r1=1; 3:r1=1; a=1; 6620214:>0:r3=1; 2:r1=0; 3:r1=0; a=1; 206568:>0:r3=1; 2:r1=1; 3:r1=1; a=2; 1098368:>0:r3=0; 2:r1=0; 3:r1=1; a=2; 1670539:>0:r3=0; 2:r1=1; 3:r1=0; a=2; 29308248:>0:r3=1; 2:r1=1; 3:r1=0; a=1; 43706330:>0:r3=0; 2:r1=0; 3:r1=1; a=1; 54295210:>0:r3=1; 2:r1=0; 3:r1=0; a=2; 55756497:>0:r3=0; 2:r1=0; 3:r1=0; a=1; 32475290:>0:r3=1; 2:r1=0; 3:r1=1; a=1; 5214231:>0:r3=1; 2:r1=1; 3:r1=1; a=1; 11633332:>0:r3=1; 2:r1=0; 3:r1=1; a=2; 29894093:>0:r3=0; 2:r1=0; 3:r1=0; a=2; 11862123:>0:r3=0; 2:r1=1; 3:r1=0; a=1; 35980529:>0:r3=1; 2:r1=1; 3:r1=0; a=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ 0:r3=0 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=2054e24c0e49fb7d37b5054aea43835a Cycle=Wse SyncdWR Fre SyncdWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw013 No ACSyncdRW Safe=Fre Wse SyncdWW SyncdWR Time acsdrw013 89.94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw014 "Wse SyncdWR Fre SyncsWW Rfe SyncdRW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; sync | sync | li r3,1 | li r3,1 ; lwz r3,0(r4) | li r3,2 | stw r3,0(r4) | stw r3,0(r4) ; | stw r3,0(r2) | | ; exists (x=2 /\ z=2 /\ 0:r3=0 /\ 2:r1=2 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _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 6,1 _litmus_P1_1_: stw 6,0(9) _litmus_P1_2_: sync _litmus_P1_3_: li 11,2 _litmus_P1_4_: stw 11,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test acsdrw014 Allowed Histogram (33 states) 449 :>0:r3=1; 2:r1=1; 3:r1=1; x=2; z=2; 283336:>0:r3=1; 2:r1=2; 3:r1=1; x=2; z=1; 2854452:>0:r3=1; 2:r1=2; 3:r1=0; x=2; z=1; 1191592:>0:r3=1; 2:r1=0; 3:r1=1; x=2; z=2; 832966:>0:r3=0; 2:r1=2; 3:r1=1; x=2; z=1; 431558:>0:r3=1; 2:r1=1; 3:r1=1; x=2; z=1; 914549:>0:r3=1; 2:r1=1; 3:r1=0; x=2; z=1; 1459874:>0:r3=0; 2:r1=0; 3:r1=1; x=2; z=2; 2348526:>0:r3=1; 2:r1=2; 3:r1=0; x=2; z=2; 767788:>0:r3=0; 2:r1=1; 3:r1=1; x=2; z=1; 3450181:>0:r3=0; 2:r1=2; 3:r1=0; x=2; z=2; 1905528:>0:r3=2; 2:r1=1; 3:r1=0; x=2; z=1; 1990350:>0:r3=0; 2:r1=1; 3:r1=0; x=2; z=2; 2004260:>0:r3=1; 2:r1=1; 3:r1=0; x=2; z=2; 669227:>0:r3=1; 2:r1=0; 3:r1=0; x=2; z=1; 31258414:>0:r3=2; 2:r1=2; 3:r1=0; x=2; z=1; 3389576:>0:r3=2; 2:r1=1; 3:r1=1; x=2; z=1; 635930:>0:r3=2; 2:r1=1; 3:r1=1; x=2; z=2; 6597708:>0:r3=2; 2:r1=1; 3:r1=0; x=2; z=2; 41110594:>0:r3=0; 2:r1=0; 3:r1=1; x=2; z=1; 9602963:>0:r3=2; 2:r1=0; 3:r1=1; x=2; z=2; 7544468:>0:r3=1; 2:r1=0; 3:r1=0; x=2; z=2; 1223338:>0:r3=2; 2:r1=0; 3:r1=0; x=2; z=1; 523050:>0:r3=2; 2:r1=2; 3:r1=1; x=2; z=2; 27171765:>0:r3=0; 2:r1=0; 3:r1=0; x=2; z=2; 5931452:>0:r3=1; 2:r1=0; 3:r1=1; x=2; z=1; 7480129:>0:r3=0; 2:r1=1; 3:r1=0; x=2; z=1; 38517829:>0:r3=0; 2:r1=0; 3:r1=0; x=2; z=1; 27090326:>0:r3=2; 2:r1=0; 3:r1=0; x=2; z=2; 9677678:>0:r3=2; 2:r1=2; 3:r1=1; x=2; z=1; 16062440:>0:r3=2; 2:r1=0; 3:r1=1; x=2; z=1; 21486604:>0:r3=0; 2:r1=2; 3:r1=0; x=2; z=1; 43591100:>0:r3=2; 2:r1=2; 3:r1=0; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 0:r3=0 /\ 2:r1=2 /\ 3:r1=1) is NOT validated Hash=d5ba76f85bcf996414074a6c632a2f47 Cycle=Wse SyncdWR Fre SyncsWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw014 No ACSyncdRW Safe=Fre Wse SyncsWW SyncdWR Time acsdrw014 89.54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw015 "Wse SyncdWR Fre LwSyncsWW Rfe SyncdRW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; sync | lwsync | li r3,1 | li r3,1 ; lwz r3,0(r4) | li r3,2 | stw r3,0(r4) | stw r3,0(r4) ; | stw r3,0(r2) | | ; exists (x=2 /\ z=2 /\ 0:r3=0 /\ 2:r1=2 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _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 6,1 _litmus_P1_1_: stw 6,0(9) _litmus_P1_2_: lwsync _litmus_P1_3_: li 11,2 _litmus_P1_4_: stw 11,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test acsdrw015 Allowed Histogram (33 states) 176 :>0:r3=1; 2:r1=1; 3:r1=1; x=2; z=2; 201613:>0:r3=2; 2:r1=1; 3:r1=1; x=2; z=2; 284762:>0:r3=1; 2:r1=0; 3:r1=0; x=2; z=1; 59879 :>0:r3=1; 2:r1=2; 3:r1=1; x=2; z=1; 404746:>0:r3=0; 2:r1=1; 3:r1=1; x=2; z=1; 77373 :>0:r3=1; 2:r1=1; 3:r1=1; x=2; z=1; 188241:>0:r3=1; 2:r1=1; 3:r1=0; x=2; z=1; 792408:>0:r3=1; 2:r1=2; 3:r1=0; x=2; z=1; 1622245:>0:r3=2; 2:r1=1; 3:r1=1; x=2; z=1; 1591660:>0:r3=2; 2:r1=1; 3:r1=0; x=2; z=1; 1928075:>0:r3=2; 2:r1=0; 3:r1=0; x=2; z=1; 3375500:>0:r3=0; 2:r1=1; 3:r1=0; x=2; z=1; 3646583:>0:r3=2; 2:r1=1; 3:r1=0; x=2; z=2; 848528:>0:r3=0; 2:r1=1; 3:r1=0; x=2; z=2; 686545:>0:r3=1; 2:r1=1; 3:r1=0; x=2; z=2; 2482268:>0:r3=1; 2:r1=0; 3:r1=1; x=2; z=1; 415434:>0:r3=1; 2:r1=0; 3:r1=1; x=2; z=2; 4501952:>0:r3=0; 2:r1=2; 3:r1=0; x=2; z=2; 757559:>0:r3=2; 2:r1=2; 3:r1=1; x=2; z=2; 1254356:>0:r3=0; 2:r1=0; 3:r1=1; x=2; z=2; 34741232:>0:r3=2; 2:r1=2; 3:r1=0; x=2; z=1; 899454:>0:r3=1; 2:r1=2; 3:r1=0; x=2; z=2; 25177887:>0:r3=0; 2:r1=0; 3:r1=0; x=2; z=2; 38914085:>0:r3=0; 2:r1=0; 3:r1=1; x=2; z=1; 2690697:>0:r3=1; 2:r1=0; 3:r1=0; x=2; z=2; 36840342:>0:r3=0; 2:r1=0; 3:r1=0; x=2; z=1; 1454897:>0:r3=0; 2:r1=2; 3:r1=1; x=2; z=1; 31583273:>0:r3=2; 2:r1=0; 3:r1=0; x=2; z=2; 12110515:>0:r3=2; 2:r1=2; 3:r1=1; x=2; z=1; 20968212:>0:r3=2; 2:r1=0; 3:r1=1; x=2; z=1; 27516244:>0:r3=0; 2:r1=2; 3:r1=0; x=2; z=1; 51426604:>0:r3=2; 2:r1=2; 3:r1=0; x=2; z=2; 10556655:>0:r3=2; 2:r1=0; 3:r1=1; x=2; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 0:r3=0 /\ 2:r1=2 /\ 3:r1=1) is NOT validated Hash=702ee4808d5fb73748d69f56dfd107f8 Cycle=Wse SyncdWR Fre LwSyncsWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw015 No ACSyncdRW Safe=Fre Wse SyncdWR LwSyncsWW Time acsdrw015 89.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw016 "Wse LwSyncdWW Rfe SyncdRW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | sync | sync ; lwsync | li r3,1 | li r3,1 ; li r3,1 | stw r3,0(r4) | stw r3,0(r4) ; stw r3,0(r4) | | ; exists (z=2 /\ 1:r1=1 /\ 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_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 31,1 _litmus_P1_3_: stw 31,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw016 Allowed Histogram (7 states) 28193159:>1:r1=0; 2:r1=0; z=1; 13091735:>1:r1=0; 2:r1=1; z=2; 12927057:>1:r1=1; 2:r1=0; z=2; 9739109:>1:r1=1; 2:r1=1; z=1; 95114048:>1:r1=0; 2:r1=1; z=1; 107425036:>1:r1=1; 2:r1=0; z=1; 133509856:>1:r1=0; 2:r1=0; z=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (z=2 /\ 1:r1=1 /\ 2:r1=1) is NOT validated Hash=2c5a2b2bed3928162ccda350943de6c1 Cycle=Wse LwSyncdWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw016 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw016 75.97 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw017 "Wse SyncdWW Wse LwSyncdWW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; sync | lwsync | li r3,1 | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | | ; exists (a=2 /\ x=2 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: lwsync _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 acsdrw017 Allowed Histogram (15 states) 306142:>2:r1=1; 3:r1=1; a=1; x=2; 974942:>2:r1=1; 3:r1=0; a=2; x=2; 515814:>2:r1=0; 3:r1=1; a=2; x=2; 11549322:>2:r1=1; 3:r1=0; a=1; x=2; 7235212:>2:r1=0; 3:r1=0; a=1; x=1; 36080158:>2:r1=1; 3:r1=0; a=1; x=1; 35861726:>2:r1=0; 3:r1=1; a=1; x=1; 20112326:>2:r1=0; 3:r1=0; a=2; x=2; 35437524:>2:r1=0; 3:r1=1; a=1; x=2; 8123953:>2:r1=1; 3:r1=1; a=1; x=1; 43621691:>2:r1=1; 3:r1=0; a=2; x=1; 10399309:>2:r1=0; 3:r1=1; a=2; x=1; 51038208:>2:r1=0; 3:r1=0; a=1; x=2; 58435401:>2:r1=0; 3:r1=0; a=2; x=1; 308272:>2:r1=1; 3:r1=1; a=2; x=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ x=2 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=0e9894d55bfcf40a6da717befcde113c Cycle=Wse SyncdWW Wse LwSyncdWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw017 No ACSyncdRW Safe=Wse SyncdWW LwSyncdWW Time acsdrw017 89.84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw018 "Wse LwSyncdWW Wse LwSyncdWW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; lwsync | lwsync | li r3,1 | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | | ; exists (a=2 /\ x=2 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: lwsync _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_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw018 Allowed Histogram (15 states) 267684:>2:r1=1; 3:r1=1; a=2; x=1; 510973:>2:r1=0; 3:r1=1; a=2; x=2; 427489:>2:r1=1; 3:r1=1; a=1; x=2; 7012338:>2:r1=0; 3:r1=0; a=1; x=1; 1218703:>2:r1=1; 3:r1=0; a=2; x=2; 35346699:>2:r1=1; 3:r1=0; a=1; x=1; 22375667:>2:r1=0; 3:r1=0; a=2; x=2; 8796158:>2:r1=0; 3:r1=1; a=2; x=1; 56021085:>2:r1=0; 3:r1=0; a=1; x=2; 33204508:>2:r1=0; 3:r1=1; a=1; x=1; 13966674:>2:r1=1; 3:r1=0; a=1; x=2; 40291181:>2:r1=1; 3:r1=0; a=2; x=1; 37516384:>2:r1=0; 3:r1=1; a=1; x=2; 55249238:>2:r1=0; 3:r1=0; a=2; x=1; 7795219:>2:r1=1; 3:r1=1; a=1; x=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ x=2 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=12c4f2af8e04285fe806dd0e796495ae Cycle=Wse LwSyncdWW Wse LwSyncdWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw018 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw018 89.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw019.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw019 "Wse SyncdWR Fre LwSyncdWW Rfe SyncdRW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync | sync ; sync | lwsync | li r3,1 | li r3,1 ; lwz r3,0(r4) | li r3,1 | stw r3,0(r4) | stw r3,0(r4) ; | stw r3,0(r4) | | ; exists (a=2 /\ 0:r3=0 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: lwsync _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 acsdrw019 Allowed Histogram (15 states) 451948:>0:r3=0; 2:r1=1; 3:r1=1; a=1; 1986844:>0:r3=0; 2:r1=1; 3:r1=0; a=2; 989737:>0:r3=0; 2:r1=0; 3:r1=1; a=2; 51981755:>0:r3=0; 2:r1=0; 3:r1=0; a=1; 28052550:>0:r3=0; 2:r1=0; 3:r1=0; a=2; 4900718:>0:r3=1; 2:r1=0; 3:r1=0; a=1; 32501212:>0:r3=1; 2:r1=1; 3:r1=0; a=1; 29777946:>0:r3=1; 2:r1=0; 3:r1=1; a=1; 8301360:>0:r3=1; 2:r1=1; 3:r1=1; a=1; 49422105:>0:r3=1; 2:r1=0; 3:r1=0; a=2; 42405565:>0:r3=0; 2:r1=0; 3:r1=1; a=1; 11161529:>0:r3=1; 2:r1=0; 3:r1=1; a=2; 42686131:>0:r3=1; 2:r1=1; 3:r1=0; a=2; 14944166:>0:r3=0; 2:r1=1; 3:r1=0; a=1; 436434:>0:r3=1; 2:r1=1; 3:r1=1; a=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ 0:r3=0 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=5bbd5723e3c95c4928dd3326b6d1cb2c Cycle=Wse SyncdWR Fre LwSyncdWW Rfe SyncdRW Rfe SyncdRW Relax acsdrw019 No ACSyncdRW Safe=Fre Wse SyncdWR LwSyncdWW Time acsdrw019 91.03 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw020.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw020 "Wse Rfe SyncdRW Wse Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y; 3:r2=y;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) | li r1,2 ; sync | stw r1,0(r2) | sync | stw r1,0(r2) ; li r3,1 | | li r3,1 | ; stw r3,0(r4) | | stw r3,0(r4) | ; exists (x=2 /\ y=2 /\ 0:r1=2 /\ 2:r1=2) Generated assembler _litmus_P3_0_: li 8,2 _litmus_P3_1_: stw 8,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: li 7,2 _litmus_P1_1_: stw 7,0(9) _litmus_P0_0_: lwz 4,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 5,1 _litmus_P0_3_: stw 5,0(9) Test acsdrw020 Allowed Histogram (27 states) 7507561:>0:r1=0; 2:r1=0; x=1; y=2; 2750001:>0:r1=0; 2:r1=1; x=1; y=2; 5167627:>0:r1=1; 2:r1=0; x=2; y=2; 7758378:>0:r1=0; 2:r1=0; x=2; y=1; 10794567:>0:r1=2; 2:r1=0; x=1; y=1; 23395785:>0:r1=1; 2:r1=0; x=1; y=1; 10249351:>0:r1=0; 2:r1=2; x=1; y=1; 12034533:>0:r1=2; 2:r1=0; x=2; y=1; 5795976:>0:r1=0; 2:r1=1; x=2; y=2; 2731072:>0:r1=2; 2:r1=1; x=2; y=1; 16804620:>0:r1=0; 2:r1=1; x=2; y=1; 16074435:>0:r1=1; 2:r1=2; x=1; y=1; 2582249:>0:r1=2; 2:r1=0; x=2; y=2; 3072107:>0:r1=1; 2:r1=0; x=2; y=1; 1132723:>0:r1=0; 2:r1=0; x=1; y=1; 15723138:>0:r1=1; 2:r1=0; x=1; y=2; 21615913:>0:r1=0; 2:r1=1; x=1; y=1; 4084976:>0:r1=2; 2:r1=2; x=2; y=1; 4217292:>0:r1=2; 2:r1=2; x=1; y=2; 28562370:>0:r1=2; 2:r1=2; x=1; y=1; 28954710:>0:r1=0; 2:r1=0; x=2; y=2; 27929614:>0:r1=0; 2:r1=2; x=2; y=1; 11735606:>0:r1=0; 2:r1=2; x=1; y=2; 28058060:>0:r1=2; 2:r1=0; x=1; y=2; 16033659:>0:r1=2; 2:r1=1; x=1; y=1; 2501266:>0:r1=0; 2:r1=2; x=2; y=2; 2732411:>0:r1=1; 2:r1=2; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 0:r1=2 /\ 2:r1=2) is NOT validated Hash=c0bbd742ae8d7b1814d567c2ea1f747c Cycle=Wse Rfe SyncdRW Wse Rfe SyncdRW Relax acsdrw020 No ACSyncdRW Safe=Wse Time acsdrw020 77.96 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw021 "Wse SyncdWW Rfe SyncdRW Wse Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=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 | | li r3,1 ; li r3,1 | stw r3,0(r4) | | stw r3,0(r4) ; stw r3,0(r4) | | | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,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 acsdrw021 Allowed Histogram (21 states) 3173527:>1:r1=0; 3:r1=0; y=1; z=1; 700455:>1:r1=1; 3:r1=1; y=2; z=1; 17861797:>1:r1=0; 3:r1=2; y=1; z=1; 1097284:>1:r1=1; 3:r1=2; y=2; z=1; 333551:>1:r1=1; 3:r1=0; y=2; z=2; 3688622:>1:r1=0; 3:r1=2; y=2; z=2; 15907100:>1:r1=0; 3:r1=0; y=2; z=1; 6838377:>1:r1=0; 3:r1=1; y=2; z=2; 6930917:>1:r1=1; 3:r1=1; y=1; z=1; 20332336:>1:r1=0; 3:r1=2; y=1; z=2; 20004015:>1:r1=0; 3:r1=1; y=2; z=1; 1590619:>1:r1=1; 3:r1=2; y=1; z=2; 10574966:>1:r1=1; 3:r1=0; y=1; z=2; 4388448:>1:r1=0; 3:r1=1; y=1; z=2; 8282493:>1:r1=1; 3:r1=0; y=2; z=1; 42025771:>1:r1=0; 3:r1=0; y=2; z=2; 31006373:>1:r1=0; 3:r1=1; y=1; z=1; 35428529:>1:r1=0; 3:r1=0; y=1; z=2; 27649167:>1:r1=1; 3:r1=0; y=1; z=1; 32179559:>1:r1=0; 3:r1=2; y=2; z=1; 30006094:>1:r1=1; 3:r1=2; y=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=2) is NOT validated Hash=fb7ddaee4aad6bfd6e76ab9096991c97 Cycle=Wse SyncdWW Rfe SyncdRW Wse Rfe SyncdRW Relax acsdrw021 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw021 85.39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw022.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw022 "Wse LwSyncdWW Rfe SyncdRW Wse Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=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 ; lwsync | li r3,1 | | li r3,1 ; li r3,1 | stw r3,0(r4) | | stw r3,0(r4) ; stw r3,0(r4) | | | ; exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,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_: lwsync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test acsdrw022 Allowed Histogram (21 states) 531117:>1:r1=1; 3:r1=0; y=2; z=2; 2300812:>1:r1=1; 3:r1=2; y=2; z=1; 3968405:>1:r1=0; 3:r1=1; y=1; z=2; 1819250:>1:r1=1; 3:r1=2; y=1; z=2; 2698534:>1:r1=0; 3:r1=0; y=1; z=1; 11655111:>1:r1=1; 3:r1=0; y=2; z=1; 13126594:>1:r1=0; 3:r1=0; y=2; z=1; 16888930:>1:r1=0; 3:r1=2; y=1; z=1; 3274916:>1:r1=0; 3:r1=2; y=2; z=2; 1451000:>1:r1=1; 3:r1=1; y=2; z=1; 33506184:>1:r1=0; 3:r1=0; y=1; z=2; 18753730:>1:r1=0; 3:r1=1; y=2; z=1; 9265234:>1:r1=1; 3:r1=1; y=1; z=1; 28691369:>1:r1=0; 3:r1=1; y=1; z=1; 6149976:>1:r1=0; 3:r1=1; y=2; z=2; 40900091:>1:r1=0; 3:r1=0; y=2; z=2; 34212098:>1:r1=1; 3:r1=2; y=1; z=1; 18630794:>1:r1=0; 3:r1=2; y=1; z=2; 29768295:>1:r1=0; 3:r1=2; y=2; z=1; 12535986:>1:r1=1; 3:r1=0; y=1; z=2; 29871574:>1:r1=1; 3:r1=0; y=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 1:r1=1 /\ 3:r1=2) is NOT validated Hash=61c10b851057fd25b8ca046191cf271c Cycle=Wse LwSyncdWW Rfe SyncdRW Wse Rfe SyncdRW Relax acsdrw022 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw022 85.71 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw023 "Wse SyncdWW Wse Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw 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 /\ y=2 /\ 2:r1=2) 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 6,2 _litmus_P1_1_: stw 6,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 acsdrw023 Allowed Histogram (9 states) 5035426:>2:r1=0; x=1; y=1; 23056689:>2:r1=0; x=2; y=2; 48689034:>2:r1=1; x=1; y=1; 38456247:>2:r1=2; x=1; y=2; 58169163:>2:r1=0; x=2; y=1; 27885543:>2:r1=1; x=2; y=1; 62545084:>2:r1=2; x=1; y=1; 94820811:>2:r1=0; x=1; y=2; 41342003:>2:r1=2; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=2) is NOT validated Hash=ec683f3e13cc6c2345f0d3fe16dafa14 Cycle=Wse SyncdWW Wse Rfe SyncdRW Relax acsdrw023 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw023 73.15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw024 "Wse SyncdWW Wse SyncdWW Wse Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw 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 /\ z=2 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,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 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 acsdrw024 Allowed Histogram (21 states) 1395009:>3:r1=1; x=2; y=2; z=1; 922380:>3:r1=0; x=2; y=2; z=2; 2268013:>3:r1=2; x=2; y=2; z=1; 2940615:>3:r1=2; x=1; y=2; z=2; 2809453:>3:r1=1; x=1; y=1; z=2; 12530822:>3:r1=0; x=2; y=2; z=1; 2711552:>3:r1=2; x=2; y=1; z=2; 33183009:>3:r1=0; x=2; y=1; z=1; 14422614:>3:r1=2; x=1; y=1; z=1; 24016639:>3:r1=1; x=1; y=1; z=1; 18231380:>3:r1=0; x=2; y=1; z=2; 5951341:>3:r1=1; x=1; y=2; z=2; 16443509:>3:r1=1; x=1; y=2; z=1; 1322004:>3:r1=0; x=1; y=1; z=1; 10329047:>3:r1=0; x=1; y=2; z=1; 34391057:>3:r1=0; x=1; y=1; z=2; 10537478:>3:r1=1; x=2; y=1; z=1; 21344272:>3:r1=2; x=1; y=1; z=2; 35577981:>3:r1=0; x=1; y=2; z=2; 27589402:>3:r1=2; x=1; y=2; z=1; 41082423:>3:r1=2; x=2; y=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ z=2 /\ 3:r1=2) is NOT validated Hash=130b35e3af196b5cb1d4fcbd6d6d026b Cycle=Wse SyncdWW Wse SyncdWW Wse Rfe SyncdRW Relax acsdrw024 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw024 86.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw025 "Wse LwSyncdWW Wse SyncdWW Wse Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | sync ; lwsync | 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 /\ z=2 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,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 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test acsdrw025 Allowed Histogram (21 states) 1147038:>3:r1=0; x=1; y=1; z=1; 1916698:>3:r1=1; x=2; y=2; z=1; 2732402:>3:r1=2; x=1; y=2; z=2; 3101579:>3:r1=2; x=2; y=2; z=1; 2594152:>3:r1=1; x=1; y=1; z=2; 5500083:>3:r1=1; x=1; y=2; z=2; 1316973:>3:r1=0; x=2; y=2; z=2; 34574109:>3:r1=0; x=1; y=2; z=2; 3136133:>3:r1=2; x=2; y=1; z=2; 9147326:>3:r1=0; x=1; y=2; z=1; 22183437:>3:r1=1; x=1; y=1; z=1; 15862561:>3:r1=1; x=1; y=2; z=1; 19340338:>3:r1=2; x=1; y=1; z=2; 33852719:>3:r1=0; x=2; y=1; z=1; 44997288:>3:r1=2; x=2; y=1; z=1; 20661435:>3:r1=0; x=2; y=1; z=2; 14614724:>3:r1=0; x=2; y=2; z=1; 12719052:>3:r1=2; x=1; y=1; z=1; 31582074:>3:r1=0; x=1; y=1; z=2; 26520352:>3:r1=2; x=1; y=2; z=1; 12499527:>3:r1=1; x=2; y=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ z=2 /\ 3:r1=2) is NOT validated Hash=330c697b909eda6c721560d939567f1e Cycle=Wse LwSyncdWW Wse SyncdWW Wse Rfe SyncdRW Relax acsdrw025 No ACSyncdRW Safe=Wse SyncdWW LwSyncdWW Time acsdrw025 86.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw026 "Wse SyncdWR Fre SyncdWW Wse Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | li r1,2 | lwz r1,0(r2) ; stw 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 (y=2 /\ z=2 /\ 0:r3=0 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,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 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test acsdrw026 Allowed Histogram (21 states) 2244714:>0:r3=0; 3:r1=0; y=2; z=2; 10470775:>0:r3=1; 3:r1=2; y=1; z=1; 2935522:>0:r3=1; 3:r1=1; y=1; z=2; 7955805:>0:r3=1; 3:r1=0; y=2; z=1; 20308713:>0:r3=1; 3:r1=1; y=1; z=1; 6085302:>0:r3=1; 3:r1=1; y=2; z=2; 12962858:>0:r3=0; 3:r1=1; y=1; z=1; 1955259:>0:r3=0; 3:r1=1; y=2; z=1; 931594:>0:r3=1; 3:r1=0; y=1; z=1; 15211551:>0:r3=0; 3:r1=0; y=2; z=1; 15624365:>0:r3=1; 3:r1=1; y=2; z=1; 4447220:>0:r3=0; 3:r1=2; y=1; z=2; 25224942:>0:r3=0; 3:r1=0; y=1; z=2; 33709890:>0:r3=0; 3:r1=0; y=1; z=1; 33847394:>0:r3=1; 3:r1=0; y=2; z=2; 24904522:>0:r3=1; 3:r1=2; y=2; z=1; 45817169:>0:r3=0; 3:r1=2; y=1; z=1; 29131652:>0:r3=1; 3:r1=0; y=1; z=2; 2881583:>0:r3=0; 3:r1=2; y=2; z=1; 3049792:>0:r3=1; 3:r1=2; y=2; z=2; 20299378:>0:r3=1; 3:r1=2; y=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 0:r3=0 /\ 3:r1=2) is NOT validated Hash=ccbc67f966a73eda84203a203293a8e5 Cycle=Wse SyncdWR Fre SyncdWW Wse Rfe SyncdRW Relax acsdrw026 No ACSyncdRW Safe=Fre Wse SyncdWW SyncdWR Time acsdrw026 85.72 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw027 "Wse LwSyncdWW Wse Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; lwsync | | li r3,1 ; li r3,1 | | stw r3,0(r4) ; stw r3,0(r4) | | ; exists (x=2 /\ y=2 /\ 2:r1=2) 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 6,2 _litmus_P1_1_: stw 6,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw027 Allowed Histogram (10 states) 1 :>2:r1=2; x=2; y=2; 3607545:>2:r1=0; x=1; y=1; 35979934:>2:r1=2; x=1; y=2; 27291926:>2:r1=0; x=2; y=2; 45257680:>2:r1=0; x=2; y=1; 44042458:>2:r1=1; x=1; y=1; 39584172:>2:r1=1; x=2; y=1; 89488528:>2:r1=0; x=1; y=2; 57128866:>2:r1=2; x=1; y=1; 57618890:>2:r1=2; x=2; y=1; Ok Witnesses Positive: 1, Negative: 399999999 Condition exists (x=2 /\ y=2 /\ 2:r1=2) is validated Hash=9cbab788f1665946b25781874fe1049e Cycle=Wse LwSyncdWW Wse Rfe SyncdRW Relax acsdrw027 Ok ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw027 68.77 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw028 "Wse SyncdWW Wse LwSyncdWW Wse Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | sync ; sync | lwsync | | 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 /\ z=2 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 4,1 _litmus_P1_4_: 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 acsdrw028 Allowed Histogram (21 states) 1204874:>3:r1=0; x=2; y=2; z=2; 9770570:>3:r1=1; x=1; y=2; z=2; 12511083:>3:r1=1; x=2; y=1; z=1; 33758498:>3:r1=0; x=1; y=2; z=2; 3041468:>3:r1=1; x=1; y=1; z=2; 23194654:>3:r1=1; x=1; y=1; z=1; 8340399:>3:r1=0; x=1; y=2; z=1; 2004398:>3:r1=1; x=2; y=2; z=1; 2932137:>3:r1=2; x=2; y=2; z=1; 14376397:>3:r1=0; x=2; y=2; z=1; 12522261:>3:r1=2; x=1; y=1; z=1; 31275967:>3:r1=0; x=1; y=1; z=2; 4493844:>3:r1=2; x=1; y=2; z=2; 20021284:>3:r1=2; x=1; y=1; z=2; 1024791:>3:r1=0; x=1; y=1; z=1; 36617440:>3:r1=2; x=2; y=1; z=1; 32605097:>3:r1=2; x=1; y=2; z=1; 16900096:>3:r1=0; x=2; y=1; z=2; 30497052:>3:r1=0; x=2; y=1; z=1; 20384456:>3:r1=1; x=1; y=2; z=1; 2523234:>3:r1=2; x=2; y=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ z=2 /\ 3:r1=2) is NOT validated Hash=ce2fc055a61edaee8aa3bbd23e3be87c Cycle=Wse SyncdWW Wse LwSyncdWW Wse Rfe SyncdRW Relax acsdrw028 No ACSyncdRW Safe=Wse SyncdWW LwSyncdWW Time acsdrw028 85.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw029.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw029 "Wse LwSyncdWW Wse LwSyncdWW Wse Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | sync ; lwsync | lwsync | | 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 /\ z=2 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(9) _litmus_P1_0_: li 5,2 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 4,1 _litmus_P1_4_: stw 4,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test acsdrw029 Allowed Histogram (21 states) 881702:>3:r1=0; x=1; y=1; z=1; 8986764:>3:r1=1; x=1; y=2; z=2; 1660201:>3:r1=0; x=2; y=2; z=2; 7627279:>3:r1=0; x=1; y=2; z=1; 11475759:>3:r1=2; x=1; y=1; z=1; 4026000:>3:r1=2; x=2; y=2; z=1; 2746956:>3:r1=1; x=1; y=1; z=2; 3951838:>3:r1=2; x=1; y=2; z=2; 28976491:>3:r1=0; x=1; y=1; z=2; 31565278:>3:r1=0; x=2; y=1; z=1; 2772722:>3:r1=2; x=2; y=1; z=2; 14248094:>3:r1=1; x=2; y=1; z=1; 17953734:>3:r1=2; x=1; y=1; z=2; 32372303:>3:r1=0; x=1; y=2; z=2; 16394504:>3:r1=0; x=2; y=2; z=1; 31432733:>3:r1=2; x=1; y=2; z=1; 39945363:>3:r1=2; x=2; y=1; z=1; 18824567:>3:r1=0; x=2; y=1; z=2; 2728695:>3:r1=1; x=2; y=2; z=1; 19760764:>3:r1=1; x=1; y=2; z=1; 21668253:>3:r1=1; x=1; y=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ z=2 /\ 3:r1=2) is NOT validated Hash=5c77813fcdc57dd97091ff7dc2189013 Cycle=Wse LwSyncdWW Wse LwSyncdWW Wse Rfe SyncdRW Relax acsdrw029 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw029 83.95 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw030 "Wse SyncdWR Fre LwSyncdWW Wse Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | sync ; sync | lwsync | | li r3,1 ; lwz r3,0(r4) | li r3,1 | | stw r3,0(r4) ; | stw r3,0(r4) | | ; exists (y=2 /\ z=2 /\ 0:r3=0 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(9) _litmus_P1_0_: li 5,1 _litmus_P1_1_: stw 5,0(11) _litmus_P1_2_: lwsync _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_: lwz 4,0(9) Test acsdrw030 Allowed Histogram (21 states) 2735181:>0:r3=0; 3:r1=1; y=2; z=1; 3030319:>0:r3=1; 3:r1=1; y=1; z=2; 10048623:>0:r3=1; 3:r1=1; y=2; z=2; 681899:>0:r3=1; 3:r1=0; y=1; z=1; 2685380:>0:r3=0; 3:r1=0; y=2; z=2; 22887215:>0:r3=0; 3:r1=0; y=1; z=2; 19490637:>0:r3=1; 3:r1=1; y=2; z=1; 16948756:>0:r3=0; 3:r1=0; y=2; z=1; 6458923:>0:r3=1; 3:r1=0; y=2; z=1; 19259137:>0:r3=1; 3:r1=1; y=1; z=1; 3959185:>0:r3=0; 3:r1=2; y=1; z=2; 31188157:>0:r3=0; 3:r1=0; y=1; z=1; 14413661:>0:r3=0; 3:r1=1; y=1; z=1; 19043978:>0:r3=1; 3:r1=2; y=1; z=2; 4509632:>0:r3=1; 3:r1=2; y=2; z=2; 9754118:>0:r3=1; 3:r1=2; y=1; z=1; 31621740:>0:r3=1; 3:r1=0; y=2; z=2; 41082495:>0:r3=0; 3:r1=2; y=1; z=1; 3693955:>0:r3=0; 3:r1=2; y=2; z=1; 26825750:>0:r3=1; 3:r1=0; y=1; z=2; 29681259:>0:r3=1; 3:r1=2; y=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 0:r3=0 /\ 3:r1=2) is NOT validated Hash=51d5a6afa9753758299771086decdacf Cycle=Wse SyncdWR Fre LwSyncdWW Wse Rfe SyncdRW Relax acsdrw030 No ACSyncdRW Safe=Fre Wse SyncdWR LwSyncdWW Time acsdrw030 87.10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw031.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw031 "Wse SyncdWR Fre Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | | li r3,1 ; lwz r3,0(r4) | | stw r3,0(r4) ; exists (y=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 6,1 _litmus_P1_1_: stw 6,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 acsdrw031 Allowed Histogram (7 states) 38473470:>0:r3=1; 2:r1=1; y=2; 2197338:>0:r3=1; 2:r1=0; y=1; 53984383:>0:r3=0; 2:r1=1; y=1; 81080892:>0:r3=1; 2:r1=0; y=2; 98218104:>0:r3=1; 2:r1=1; y=1; 87108018:>0:r3=0; 2:r1=0; y=1; 38937795:>0:r3=0; 2:r1=0; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=2a0d02101c6e625540b9687c7722733e Cycle=Wse SyncdWR Fre Rfe SyncdRW Relax acsdrw031 No ACSyncdRW Safe=Fre Wse SyncdWR Time acsdrw031 70.71 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw032.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw032 "Wse SyncdWW Wse SyncdWR Fre Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | | li r3,1 ; li r3,1 | lwz r3,0(r4) | | stw r3,0(r4) ; stw r3,0(r4) | | | ; exists (x=2 /\ z=2 /\ 1:r3=0 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,1 _litmus_P2_1_: stw 7,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: lwz 3,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 acsdrw032 Allowed Histogram (15 states) 597590:>1:r3=1; 3:r1=0; x=1; z=1; 2921560:>1:r3=1; 3:r1=1; x=2; z=2; 2151612:>1:r3=0; 3:r1=0; x=2; z=2; 4937834:>1:r3=0; 3:r1=1; x=2; z=1; 26812827:>1:r3=1; 3:r1=0; x=1; z=2; 49342331:>1:r3=1; 3:r1=1; x=2; z=1; 52347877:>1:r3=0; 3:r1=0; x=1; z=2; 32305036:>1:r3=1; 3:r1=1; x=1; z=1; 25976714:>1:r3=1; 3:r1=0; x=2; z=1; 26865894:>1:r3=0; 3:r1=0; x=1; z=1; 28795641:>1:r3=0; 3:r1=1; x=1; z=1; 17863488:>1:r3=1; 3:r1=0; x=2; z=2; 21316724:>1:r3=0; 3:r1=0; x=2; z=1; 4520490:>1:r3=0; 3:r1=1; x=1; z=2; 23244382:>1:r3=1; 3:r1=1; x=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r3=0 /\ 3:r1=1) is NOT validated Hash=4c866a10348f9f38c9757434df1c5cb0 Cycle=Wse SyncdWW Wse SyncdWR Fre Rfe SyncdRW Relax acsdrw032 No ACSyncdRW Safe=Fre Wse SyncdWW SyncdWR Time acsdrw032 84.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw033.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw033 "Wse LwSyncdWW Wse SyncdWR Fre Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | sync ; lwsync | sync | | li r3,1 ; li r3,1 | lwz r3,0(r4) | | stw r3,0(r4) ; stw r3,0(r4) | | | ; exists (x=2 /\ z=2 /\ 1:r3=0 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,1 _litmus_P2_1_: stw 7,0(9) _litmus_P1_0_: li 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: lwz 3,0(9) _litmus_P0_0_: li 6,2 _litmus_P0_1_: stw 6,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test acsdrw033 Allowed Histogram (15 states) 499945:>1:r3=1; 3:r1=0; x=1; z=1; 27071631:>1:r3=1; 3:r1=0; x=2; z=1; 23765812:>1:r3=0; 3:r1=0; x=2; z=1; 4022663:>1:r3=0; 3:r1=1; x=1; z=2; 3265621:>1:r3=1; 3:r1=1; x=2; z=2; 24686584:>1:r3=1; 3:r1=0; x=1; z=2; 25254981:>1:r3=0; 3:r1=0; x=1; z=1; 19775859:>1:r3=1; 3:r1=0; x=2; z=2; 20817403:>1:r3=1; 3:r1=1; x=1; z=2; 50008942:>1:r3=0; 3:r1=0; x=1; z=2; 29836236:>1:r3=1; 3:r1=1; x=1; z=1; 2893228:>1:r3=0; 3:r1=0; x=2; z=2; 6000089:>1:r3=0; 3:r1=1; x=2; z=1; 27481529:>1:r3=0; 3:r1=1; x=1; z=1; 54619477:>1:r3=1; 3:r1=1; x=2; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 1:r3=0 /\ 3:r1=1) is NOT validated Hash=bb2441029675e3632bdb718971387ab7 Cycle=Wse LwSyncdWW Wse SyncdWR Fre Rfe SyncdRW Relax acsdrw033 No ACSyncdRW Safe=Fre Wse SyncdWR LwSyncdWW Time acsdrw033 83.12 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw034.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw034 "Wse SyncdWR Fre SyncdWR Fre Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 3:r2=y; 3:r4=z;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | | li r3,1 ; lwz r3,0(r4) | lwz r3,0(r4) | | stw r3,0(r4) ; exists (z=2 /\ 0:r3=0 /\ 1:r3=0 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,1 _litmus_P2_1_: stw 7,0(9) _litmus_P1_0_: li 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: sync _litmus_P1_3_: lwz 3,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test acsdrw034 Allowed Histogram (15 states) 333080:>0:r3=1; 1:r3=1; 3:r1=0; z=1; 4576319:>0:r3=0; 1:r3=0; 3:r1=0; z=2; 27329146:>0:r3=0; 1:r3=1; 3:r1=0; z=1; 4558856:>0:r3=0; 1:r3=1; 3:r1=1; z=2; 25399265:>0:r3=1; 1:r3=1; 3:r1=1; z=1; 26425996:>0:r3=1; 1:r3=0; 3:r1=1; z=1; 25089334:>0:r3=0; 1:r3=0; 3:r1=0; z=1; 23124837:>0:r3=1; 1:r3=0; 3:r1=0; z=1; 23339574:>0:r3=0; 1:r3=1; 3:r1=0; z=2; 50197425:>0:r3=1; 1:r3=0; 3:r1=0; z=2; 6155424:>0:r3=0; 1:r3=0; 3:r1=1; z=1; 22289217:>0:r3=1; 1:r3=1; 3:r1=0; z=2; 54637620:>0:r3=0; 1:r3=1; 3:r1=1; z=1; 4313741:>0:r3=1; 1:r3=0; 3:r1=1; z=2; 22230166:>0:r3=1; 1:r3=1; 3:r1=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 0:r3=0 /\ 1:r3=0 /\ 3:r1=1) is NOT validated Hash=d166d511b295e706795c3a2985e0afcf Cycle=Wse SyncdWR Fre SyncdWR Fre Rfe SyncdRW Relax acsdrw034 No ACSyncdRW Safe=Fre Wse SyncdWR Time acsdrw034 82.96 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw035.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw035 "Wse SyncdWR Fre SyncsWR Fre Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 3:r2=x; 3:r4=y;} P0 | P1 | P2 | P3 ; li r1,2 | li r1,1 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | sync ; sync | sync | | li r3,1 ; lwz r3,0(r4) | lwz r3,0(r2) | | stw r3,0(r4) ; exists (x=2 /\ y=2 /\ 0:r3=0 /\ 1:r3=1 /\ 3:r1=2) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 7,2 _litmus_P2_1_: stw 7,0(9) _litmus_P1_0_: li 11,1 _litmus_P1_1_: stw 11,0(9) _litmus_P1_2_: sync _litmus_P1_3_: lwz 5,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 4,0(9) Test acsdrw035 Allowed Histogram (51 states) 1 :>0:r3=0; 1:r3=2; 3:r1=2; x=2; y=2; 3 :>0:r3=0; 1:r3=1; 3:r1=1; x=1; y=2; 6 :>0:r3=1; 1:r3=2; 3:r1=2; x=2; y=2; 44 :>0:r3=2; 1:r3=1; 3:r1=1; x=1; y=2; 24 :>0:r3=1; 1:r3=1; 3:r1=2; x=2; y=2; 1 :>0:r3=0; 1:r3=1; 3:r1=1; x=2; y=2; 50373 :>0:r3=2; 1:r3=2; 3:r1=0; x=2; y=1; 12294 :>0:r3=1; 1:r3=2; 3:r1=0; x=2; y=1; 2887 :>0:r3=1; 1:r3=2; 3:r1=1; x=2; y=2; 64814 :>0:r3=1; 1:r3=2; 3:r1=1; x=2; y=1; 133222:>0:r3=2; 1:r3=1; 3:r1=0; x=2; y=1; 130336:>0:r3=2; 1:r3=2; 3:r1=1; x=2; y=1; 153162:>0:r3=1; 1:r3=2; 3:r1=0; x=2; y=2; 1090413:>0:r3=1; 1:r3=1; 3:r1=0; x=2; y=1; 88598 :>0:r3=1; 1:r3=2; 3:r1=2; x=2; y=1; 1428941:>0:r3=2; 1:r3=1; 3:r1=0; x=1; y=1; 16528115:>0:r3=0; 1:r3=1; 3:r1=0; x=2; y=1; 4847226:>0:r3=0; 1:r3=1; 3:r1=0; x=2; y=2; 10823769:>0:r3=1; 1:r3=1; 3:r1=0; x=2; y=2; 7379241:>0:r3=0; 1:r3=1; 3:r1=1; x=2; y=1; 134565:>0:r3=0; 1:r3=2; 3:r1=1; x=2; y=1; 247057:>0:r3=1; 1:r3=1; 3:r1=0; x=1; y=1; 9317621:>0:r3=0; 1:r3=1; 3:r1=2; x=1; y=1; 3656635:>0:r3=1; 1:r3=1; 3:r1=1; x=2; y=2; 2954485:>0:r3=0; 1:r3=2; 3:r1=0; x=2; y=1; 10012023:>0:r3=2; 1:r3=1; 3:r1=1; x=1; y=1; 14602968:>0:r3=2; 1:r3=1; 3:r1=0; x=1; y=2; 189528:>0:r3=2; 1:r3=2; 3:r1=1; x=2; y=2; 4677783:>0:r3=1; 1:r3=1; 3:r1=2; x=1; y=1; 7610240:>0:r3=0; 1:r3=1; 3:r1=2; x=2; y=1; 2094564:>0:r3=0; 1:r3=2; 3:r1=2; x=2; y=1; 13661980:>0:r3=2; 1:r3=1; 3:r1=0; x=2; y=2; 4145380:>0:r3=2; 1:r3=1; 3:r1=1; x=2; y=1; 4832708:>0:r3=2; 1:r3=1; 3:r1=2; x=1; y=2; 20777677:>0:r3=1; 1:r3=1; 3:r1=1; x=2; y=1; 7178214:>0:r3=0; 1:r3=1; 3:r1=0; x=1; y=2; 1138714:>0:r3=2; 1:r3=2; 3:r1=2; x=2; y=2; 2940667:>0:r3=2; 1:r3=2; 3:r1=2; x=2; y=1; 22828875:>0:r3=2; 1:r3=1; 3:r1=2; x=1; y=1; 9960285:>0:r3=1; 1:r3=1; 3:r1=2; x=2; y=1; 4928209:>0:r3=2; 1:r3=1; 3:r1=2; x=2; y=2; 15242300:>0:r3=2; 1:r3=1; 3:r1=1; x=2; y=2; 4590014:>0:r3=1; 1:r3=1; 3:r1=1; x=1; y=2; 2864254:>0:r3=2; 1:r3=2; 3:r1=0; x=2; y=2; 19586256:>0:r3=1; 1:r3=1; 3:r1=1; x=1; y=1; 1243674:>0:r3=0; 1:r3=2; 3:r1=0; x=2; y=2; 21689844:>0:r3=0; 1:r3=1; 3:r1=0; x=1; y=1; 15772466:>0:r3=1; 1:r3=1; 3:r1=2; x=1; y=2; 18709715:>0:r3=1; 1:r3=1; 3:r1=0; x=1; y=2; 10602272:>0:r3=0; 1:r3=1; 3:r1=1; x=1; y=1; 19075557:>0:r3=2; 1:r3=1; 3:r1=2; x=2; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 0:r3=0 /\ 1:r3=1 /\ 3:r1=2) is NOT validated Hash=279ba973f0f471bb80bd3fc72999b1a5 Cycle=Wse SyncdWR Fre SyncsWR Fre Rfe SyncdRW Relax acsdrw035 No ACSyncdRW Safe=Fre Wse SyncsWR SyncdWR Time acsdrw035 85.14 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw036.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw036 "Wse SyncdWW Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;} 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 (y=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 acsdrw036 Allowed Histogram (3 states) 219233121:>1:r1=1; y=1; 293990678:>1:r1=0; y=2; 126776201:>1:r1=0; y=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (y=2 /\ 1:r1=1) is NOT validated Hash=a75535e637fc82ddef1b5a25aef99060 Cycle=Wse SyncdWW Rfe SyncdRW Relax acsdrw036 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw036 75.14 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw037.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw037 "Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} 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 (a=2 /\ y=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,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 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 acsdrw037 Allowed Histogram (15 states) 585807:>1:r1=1; 3:r1=0; a=2; y=2; 250204:>1:r1=1; 3:r1=1; a=2; y=1; 20744795:>1:r1=1; 3:r1=1; a=1; y=1; 10160733:>1:r1=0; 3:r1=0; a=1; y=1; 350893:>1:r1=0; 3:r1=1; a=2; y=2; 12195886:>1:r1=1; 3:r1=0; a=2; y=1; 8813100:>1:r1=0; 3:r1=1; a=2; y=1; 42182387:>1:r1=1; 3:r1=0; a=1; y=1; 51137099:>1:r1=0; 3:r1=0; a=1; y=2; 38675808:>1:r1=0; 3:r1=1; a=1; y=1; 11205651:>1:r1=1; 3:r1=0; a=1; y=2; 53753767:>1:r1=0; 3:r1=0; a=2; y=1; 59373309:>1:r1=0; 3:r1=0; a=2; y=2; 334231:>1:r1=1; 3:r1=1; a=1; y=2; 10236330:>1:r1=0; 3:r1=1; a=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ y=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=5a0d89fb848d7bf4d7b55d9a11d29022 Cycle=Wse SyncdWW Rfe SyncdRW Wse SyncdWW Rfe SyncdRW Relax acsdrw037 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw037 90.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw038.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw038 "Wse LwSyncdWW Rfe SyncdRW Wse SyncdWW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} 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 ; lwsync | 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 (a=2 /\ y=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,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 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw038 Allowed Histogram (15 states) 285096:>1:r1=1; 3:r1=1; a=2; y=1; 647254:>1:r1=1; 3:r1=1; a=1; y=2; 322822:>1:r1=0; 3:r1=1; a=2; y=2; 876369:>1:r1=1; 3:r1=0; a=2; y=2; 7639459:>1:r1=0; 3:r1=0; a=1; y=1; 9952499:>1:r1=0; 3:r1=1; a=1; y=2; 8355317:>1:r1=0; 3:r1=1; a=2; y=1; 17050114:>1:r1=1; 3:r1=0; a=1; y=2; 35836843:>1:r1=0; 3:r1=1; a=1; y=1; 45457326:>1:r1=0; 3:r1=0; a=1; y=2; 45275541:>1:r1=1; 3:r1=0; a=1; y=1; 50194618:>1:r1=0; 3:r1=0; a=2; y=1; 58041505:>1:r1=0; 3:r1=0; a=2; y=2; 14855120:>1:r1=1; 3:r1=0; a=2; y=1; 25210117:>1:r1=1; 3:r1=1; a=1; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ y=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=72549319ac048ba7c2ca3bfa946abf41 Cycle=Wse LwSyncdWW Rfe SyncdRW Wse SyncdWW Rfe SyncdRW Relax acsdrw038 No ACSyncdRW Safe=Wse SyncdWW LwSyncdWW Time acsdrw038 90.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw039.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw039 "Wse SyncdWW Wse SyncdWW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} 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 /\ z=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 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 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 acsdrw039 Allowed Histogram (7 states) 10825735:>2:r1=1; x=2; z=1; 27307053:>2:r1=0; x=2; z=2; 13017149:>2:r1=1; x=1; z=2; 17608845:>2:r1=0; x=1; z=1; 127528245:>2:r1=0; x=1; z=2; 88336114:>2:r1=1; x=1; z=1; 115376859:>2:r1=0; x=2; z=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ z=2 /\ 2:r1=1) is NOT validated Hash=a39ae056f0cf08da6c05c2d650e01d9f Cycle=Wse SyncdWW Wse SyncdWW Rfe SyncdRW Relax acsdrw039 No ACSyncdRW Safe=Wse SyncdWW Time acsdrw039 74.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw040.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw040 "Wse LwSyncdWW Wse SyncdWW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; lwsync | 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 /\ z=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 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 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw040 Allowed Histogram (7 states) 14754176:>2:r1=0; x=1; z=1; 14590962:>2:r1=1; x=2; z=1; 31242282:>2:r1=0; x=2; z=2; 81868443:>2:r1=1; x=1; z=1; 122730389:>2:r1=0; x=2; z=1; 122099332:>2:r1=0; x=1; z=2; 12714416:>2:r1=1; x=1; z=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ z=2 /\ 2:r1=1) is NOT validated Hash=de5c4b1fb13eb35e1bba660019ee2456 Cycle=Wse LwSyncdWW Wse SyncdWW Rfe SyncdRW Relax acsdrw040 No ACSyncdRW Safe=Wse SyncdWW LwSyncdWW Time acsdrw040 74.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw041.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw041 "Wse SyncdWR Fre SyncdWW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} 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 (z=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 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 4,2 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 3,0(9) Test acsdrw041 Allowed Histogram (7 states) 11731063:>0:r3=1; 2:r1=0; z=1; 15766876:>0:r3=0; 2:r1=1; z=1; 41304160:>0:r3=0; 2:r1=0; z=2; 77981258:>0:r3=1; 2:r1=1; z=1; 113048803:>0:r3=1; 2:r1=0; z=2; 127566069:>0:r3=0; 2:r1=0; z=1; 12601771:>0:r3=1; 2:r1=1; z=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (z=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=51bb1c1d348678192da6af4217c54c56 Cycle=Wse SyncdWR Fre SyncdWW Rfe SyncdRW Relax acsdrw041 No ACSyncdRW Safe=Fre Wse SyncdWW SyncdWR Time acsdrw041 75.09 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw042.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw042 "Wse SyncdWR Fre SyncsWW Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=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 | li r3,1 ; lwz r3,0(r4) | li r3,2 | stw r3,0(r4) ; | stw r3,0(r2) | ; exists (x=2 /\ y=2 /\ 0:r3=0 /\ 2:r1=2) 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(9) _litmus_P1_2_: sync _litmus_P1_3_: li 11,2 _litmus_P1_4_: stw 11,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 acsdrw042 Allowed Histogram (16 states) 1 :>0:r3=1; 2:r1=2; x=2; y=2; 561223:>0:r3=1; 2:r1=0; x=2; y=1; 3524627:>0:r3=1; 2:r1=2; x=2; y=1; 2299850:>0:r3=1; 2:r1=1; x=2; y=1; 6899056:>0:r3=2; 2:r1=1; x=2; y=2; 134263:>0:r3=1; 2:r1=1; x=2; y=2; 4377641:>0:r3=2; 2:r1=1; x=2; y=1; 18089417:>0:r3=1; 2:r1=0; x=2; y=2; 855884:>0:r3=2; 2:r1=0; x=2; y=1; 16985757:>0:r3=0; 2:r1=1; x=2; y=1; 36672459:>0:r3=0; 2:r1=2; x=2; y=1; 28977029:>0:r3=2; 2:r1=2; x=2; y=2; 61406512:>0:r3=2; 2:r1=0; x=2; y=2; 86423872:>0:r3=0; 2:r1=0; x=2; y=1; 91207810:>0:r3=2; 2:r1=2; x=2; y=1; 41584599:>0:r3=0; 2:r1=0; x=2; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 0:r3=0 /\ 2:r1=2) is NOT validated Hash=db85f1985049d6628b5050d1b91d5bfe Cycle=Wse SyncdWR Fre SyncsWW Rfe SyncdRW Relax acsdrw042 No ACSyncdRW Safe=Fre Wse SyncsWW SyncdWR Time acsdrw042 76.78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw043.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw043 "Wse SyncdWR Fre LwSyncsWW Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 2:r2=x; 2:r4=y;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | lwsync | li r3,1 ; lwz r3,0(r4) | li r3,2 | stw r3,0(r4) ; | stw r3,0(r2) | ; exists (x=2 /\ y=2 /\ 0:r3=0 /\ 2:r1=2) 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(9) _litmus_P1_2_: lwsync _litmus_P1_3_: li 11,2 _litmus_P1_4_: stw 11,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 acsdrw043 Allowed Histogram (16 states) 1 :>0:r3=1; 2:r1=2; x=2; y=2; 12074 :>0:r3=1; 2:r1=1; x=2; y=2; 964377:>0:r3=1; 2:r1=2; x=2; y=1; 468424:>0:r3=1; 2:r1=1; x=2; y=1; 2607374:>0:r3=2; 2:r1=1; x=2; y=1; 238425:>0:r3=1; 2:r1=0; x=2; y=1; 2156737:>0:r3=2; 2:r1=0; x=2; y=1; 1850442:>0:r3=2; 2:r1=1; x=2; y=2; 6852868:>0:r3=0; 2:r1=1; x=2; y=1; 6435250:>0:r3=1; 2:r1=0; x=2; y=2; 95713236:>0:r3=2; 2:r1=2; x=2; y=1; 39664311:>0:r3=0; 2:r1=0; x=2; y=2; 87374478:>0:r3=0; 2:r1=0; x=2; y=1; 46764853:>0:r3=0; 2:r1=2; x=2; y=1; 35975763:>0:r3=2; 2:r1=2; x=2; y=2; 72921387:>0:r3=2; 2:r1=0; x=2; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 0:r3=0 /\ 2:r1=2) is NOT validated Hash=7eb6081d4bd3f4ea6e2785c5b803c662 Cycle=Wse SyncdWR Fre LwSyncsWW Rfe SyncdRW Relax acsdrw043 No ACSyncdRW Safe=Fre Wse SyncdWR LwSyncsWW Time acsdrw043 76.53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw044.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw044 "Wse LwSyncdWW Rfe SyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; lwsync | li r3,1 ; li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | ; exists (y=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_: lwsync _litmus_P0_3_: li 5,1 _litmus_P0_4_: stw 5,0(9) Test acsdrw044 Allowed Histogram (3 states) 294422136:>1:r1=0; y=2; 67318268:>1:r1=0; y=1; 278259596:>1:r1=1; y=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (y=2 /\ 1:r1=1) is NOT validated Hash=5ec80fde9a34ba15dc4e9d03c1de028f Cycle=Wse LwSyncdWW Rfe SyncdRW Relax acsdrw044 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw044 76.82 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw045.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw045 "Wse LwSyncdWW Rfe SyncdRW Wse LwSyncdWW Rfe SyncdRW" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} 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 ; lwsync | li r3,1 | lwsync | 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 (a=2 /\ y=2 /\ 1:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: li 6,2 _litmus_P2_1_: stw 6,0(11) _litmus_P2_2_: lwsync _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 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw045 Allowed Histogram (15 states) 774186:>1:r1=1; 3:r1=1; a=2; y=1; 754365:>1:r1=1; 3:r1=1; a=1; y=2; 487110:>1:r1=0; 3:r1=1; a=2; y=2; 13907854:>1:r1=0; 3:r1=1; a=2; y=1; 743148:>1:r1=1; 3:r1=0; a=2; y=2; 11593207:>1:r1=0; 3:r1=1; a=1; y=2; 29659670:>1:r1=1; 3:r1=1; a=1; y=1; 6780864:>1:r1=0; 3:r1=0; a=1; y=1; 13458812:>1:r1=1; 3:r1=0; a=2; y=1; 42890785:>1:r1=1; 3:r1=0; a=1; y=1; 45206870:>1:r1=0; 3:r1=0; a=2; y=1; 39987793:>1:r1=0; 3:r1=1; a=1; y=1; 15485239:>1:r1=1; 3:r1=0; a=1; y=2; 54237919:>1:r1=0; 3:r1=0; a=2; y=2; 44032178:>1:r1=0; 3:r1=0; a=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ y=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=fcfd9676e9266b92575e14bee8d5ca93 Cycle=Wse LwSyncdWW Rfe SyncdRW Wse LwSyncdWW Rfe SyncdRW Relax acsdrw045 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw045 91.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw046.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw046 "Wse SyncdWW Wse LwSyncdWW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | lwsync | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ z=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 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,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 acsdrw046 Allowed Histogram (7 states) 21041213:>2:r1=1; x=1; z=2; 14328441:>2:r1=1; x=2; z=1; 26527831:>2:r1=0; x=2; z=2; 10831686:>2:r1=0; x=1; z=1; 98013195:>2:r1=1; x=1; z=1; 111754624:>2:r1=0; x=2; z=1; 117503010:>2:r1=0; x=1; z=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ z=2 /\ 2:r1=1) is NOT validated Hash=f58749595e042cfacc57f69fb87c8ef5 Cycle=Wse SyncdWW Wse LwSyncdWW Rfe SyncdRW Relax acsdrw046 No ACSyncdRW Safe=Wse SyncdWW LwSyncdWW Time acsdrw046 76.29 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw047.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw047 "Wse LwSyncdWW Wse LwSyncdWW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,2 | li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; lwsync | lwsync | li r3,1 ; li r3,1 | li r3,1 | stw r3,0(r4) ; stw r3,0(r4) | stw r3,0(r4) | ; exists (x=2 /\ z=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 4,2 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: lwsync _litmus_P1_3_: li 3,1 _litmus_P1_4_: stw 3,0(9) _litmus_P0_0_: li 5,2 _litmus_P0_1_: stw 5,0(11) _litmus_P0_2_: lwsync _litmus_P0_3_: li 4,1 _litmus_P0_4_: stw 4,0(9) Test acsdrw047 Allowed Histogram (7 states) 9556608:>2:r1=0; x=1; z=1; 92506325:>2:r1=1; x=1; z=1; 29490153:>2:r1=0; x=2; z=2; 18859072:>2:r1=1; x=2; z=1; 118697051:>2:r1=0; x=2; z=1; 20679952:>2:r1=1; x=1; z=2; 110210839:>2:r1=0; x=1; z=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ z=2 /\ 2:r1=1) is NOT validated Hash=4c32079a1bc4ea1385655374f6bf7076 Cycle=Wse LwSyncdWW Wse LwSyncdWW Rfe SyncdRW Relax acsdrw047 No ACSyncdRW Safe=Wse LwSyncdWW Time acsdrw047 76.92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/acsdrw048.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC acsdrw048 "Wse SyncdWR Fre LwSyncdWW Rfe SyncdRW" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,2 | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | stw r1,0(r2) | sync ; sync | lwsync | li r3,1 ; lwz r3,0(r4) | li r3,1 | stw r3,0(r4) ; | stw r3,0(r4) | ; exists (z=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 4,1 _litmus_P1_1_: stw 4,0(11) _litmus_P1_2_: lwsync _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_: lwz 3,0(9) Test acsdrw048 Allowed Histogram (7 states) 7036616:>0:r3=1; 2:r1=0; z=1; 20345807:>0:r3=0; 2:r1=1; z=1; 39414099:>0:r3=0; 2:r1=0; z=2; 87441765:>0:r3=1; 2:r1=1; z=1; 102579567:>0:r3=1; 2:r1=0; z=2; 20979834:>0:r3=1; 2:r1=1; z=2; 122202312:>0:r3=0; 2:r1=0; z=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (z=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=1f48972b248be819c378fce351dab380 Cycle=Wse SyncdWR Fre LwSyncdWW Rfe SyncdRW Relax acsdrw048 No ACSyncdRW Safe=Fre Wse SyncdWR LwSyncdWW Time acsdrw048 75.22 $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= Wed Dec 23 17:34:54 GMT 2009