Tue Dec 22 17:52:14 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw000 "Rfe LwSyncdRW Rfe LwSyncdRW" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; lwsync | lwsync ; 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_: lwsync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: lwz 4,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: li 5,1 _litmus_P0_3_: stw 5,0(9) Test aclwdrw000 Allowed Histogram (3 states) 272015823:>0:r1=0; 1:r1=1; 265517212:>0:r1=1; 1:r1=0; 102466965:>0:r1=0; 1:r1=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 1:r1=1) is NOT validated Hash=9ee68836f9e1a2020dd93868bf17de53 Cycle=Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw000 No ACLwSyncdRW Safe= Time aclwdrw000 79.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw001 "Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW" {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) ; lwsync | lwsync | lwsync ; 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_: lwsync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: li 31,1 _litmus_P1_3_: stw 31,0(9) _litmus_P0_0_: lwz 3,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: li 4,1 _litmus_P0_3_: stw 4,0(9) Test aclwdrw001 Allowed Histogram (7 states) 25546988:>0:r1=0; 1:r1=0; 2:r1=0; 9632317:>0:r1=1; 1:r1=0; 2:r1=1; 11775053:>0:r1=0; 1:r1=1; 2:r1=1; 9878888:>0:r1=1; 1:r1=1; 2:r1=0; 110810102:>0:r1=1; 1:r1=0; 2:r1=0; 115745929:>0:r1=0; 1:r1=0; 2:r1=1; 116610723:>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=26c65b759259d7908dd7d268e048f151 Cycle=Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw001 No ACLwSyncdRW Safe= Time aclwdrw001 74.94 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw002 "Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW" {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) ; lwsync | lwsync | 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 (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: lwz 3,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: li 4,1 _litmus_P0_3_: stw 4,0(9) Test aclwdrw002 Allowed Histogram (15 states) 321846:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=1; 338937:>0:r1=1; 1:r1=1; 2:r1=1; 3:r1=0; 316036:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=1; 10167330:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=0; 12387890:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=0; 38535709:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=1; 46953248:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=0; 371824:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=1; 38295926:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=0; 11242239:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=1; 10259269:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=0; 10262319:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=1; 48123993:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=1; 46536232:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=0; 45887202:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=0; No Witnesses Positive: 0, Negative: 320000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=3a769fe2743808525a3fe47d9db665ae Cycle=Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw002 No ACLwSyncdRW Safe= Time aclwdrw002 92.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw003 "Wse Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW" {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 ; lwsync | lwsync | lwsync | 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_: lwsync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: lwz 4,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: li 5,1 _litmus_P0_3_: stw 5,0(9) Test aclwdrw003 Allowed Histogram (21 states) 2927899:>0:r1=1; 1:r1=1; 2:r1=0; z=1; 389279:>0:r1=0; 1:r1=1; 2:r1=1; z=2; 997165:>0:r1=2; 1:r1=1; 2:r1=1; z=1; 6589230:>0:r1=1; 1:r1=1; 2:r1=0; z=2; 1905875:>0:r1=1; 1:r1=0; 2:r1=1; z=2; 34238487:>0:r1=0; 1:r1=1; 2:r1=0; z=2; 28328186:>0:r1=0; 1:r1=1; 2:r1=0; z=1; 2864234:>0:r1=2; 1:r1=0; 2:r1=1; z=2; 27741870:>0:r1=1; 1:r1=0; 2:r1=0; z=1; 13932331:>0:r1=0; 1:r1=0; 2:r1=0; z=2; 11449406:>0:r1=1; 1:r1=0; 2:r1=1; z=1; 24618836:>0:r1=1; 1:r1=0; 2:r1=0; z=2; 32813286:>0:r1=0; 1:r1=0; 2:r1=1; z=1; 14025542:>0:r1=2; 1:r1=1; 2:r1=0; z=1; 3531308:>0:r1=0; 1:r1=0; 2:r1=0; z=1; 36843467:>0:r1=2; 1:r1=0; 2:r1=1; z=1; 33979587:>0:r1=2; 1:r1=0; 2:r1=0; z=2; 16091823:>0:r1=2; 1:r1=0; 2:r1=0; z=1; 9867991:>0:r1=0; 1:r1=1; 2:r1=1; z=1; 14128048:>0:r1=0; 1:r1=0; 2:r1=1; z=2; 2736150:>0:r1=2; 1:r1=1; 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=c60f23073de8bce5a150992f99b9a169 Cycle=Wse Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw003 No ACLwSyncdRW Safe=Wse Time aclwdrw003 83.99 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw004 "Wse LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync | 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 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _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 aclwdrw004 Allowed Histogram (15 states) 868497:>1:r1=1; 2:r1=0; 3:r1=1; a=2; 281185:>1:r1=1; 2:r1=1; 3:r1=1; a=1; 514431:>1:r1=1; 2:r1=1; 3:r1=0; a=2; 7497227:>1:r1=0; 2:r1=0; 3:r1=0; a=1; 53340351:>1:r1=0; 2:r1=0; 3:r1=0; a=2; 16336179:>1:r1=0; 2:r1=0; 3:r1=1; a=2; 15067390:>1:r1=1; 2:r1=0; 3:r1=0; a=2; 40781693:>1:r1=1; 2:r1=0; 3:r1=0; a=1; 37534100:>1:r1=0; 2:r1=1; 3:r1=0; a=1; 9723934:>1:r1=1; 2:r1=1; 3:r1=0; a=1; 10393131:>1:r1=0; 2:r1=1; 3:r1=1; a=1; 41938293:>1:r1=0; 2:r1=0; 3:r1=1; a=1; 51236523:>1:r1=0; 2:r1=1; 3:r1=0; a=2; 33958080:>1:r1=1; 2:r1=0; 3:r1=1; a=1; 528986:>1:r1=0; 2:r1=1; 3:r1=1; 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=372645f1d8303e130cfb51d9cac5f23f Cycle=Wse LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw004 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw004 88.12 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw005 "Wse SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync | 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 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _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 aclwdrw005 Allowed Histogram (15 states) 128059:>1:r1=1; 2:r1=1; 3:r1=1; a=1; 624010:>1:r1=0; 2:r1=1; 3:r1=1; a=2; 750192:>1:r1=1; 2:r1=0; 3:r1=1; a=2; 324124:>1:r1=1; 2:r1=1; 3:r1=0; a=2; 6173109:>1:r1=1; 2:r1=1; 3:r1=0; a=1; 17683809:>1:r1=0; 2:r1=0; 3:r1=1; a=2; 9508574:>1:r1=0; 2:r1=0; 3:r1=0; a=1; 12236988:>1:r1=1; 2:r1=0; 3:r1=0; a=2; 10602426:>1:r1=0; 2:r1=1; 3:r1=1; a=1; 28658004:>1:r1=1; 2:r1=0; 3:r1=1; a=1; 53127830:>1:r1=0; 2:r1=1; 3:r1=0; a=2; 46242541:>1:r1=0; 2:r1=0; 3:r1=1; a=1; 36239536:>1:r1=1; 2:r1=0; 3:r1=0; a=1; 56674350:>1:r1=0; 2:r1=0; 3:r1=0; a=2; 41026448:>1:r1=0; 2:r1=1; 3:r1=0; 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=c28ec766df4ed1b4eef7beda463372be Cycle=Wse SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw005 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw005 89.92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw006 "Wse Rfe LwSyncdRW Rfe LwSyncdRW" {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 ; lwsync | lwsync | 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_: lwsync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: lwz 3,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: li 4,1 _litmus_P0_3_: stw 4,0(9) Test aclwdrw006 Allowed Histogram (9 states) 5608966:>0:r1=0; 1:r1=0; y=1; 57249577:>0:r1=1; 1:r1=0; y=1; 39767397:>0:r1=1; 1:r1=0; y=2; 56153268:>0:r1=0; 1:r1=0; y=2; 25226576:>0:r1=2; 1:r1=1; y=1; 82628894:>0:r1=0; 1:r1=1; y=1; 55146167:>0:r1=2; 1:r1=0; y=2; 55162458:>0:r1=2; 1:r1=0; y=1; 23056697:>0:r1=0; 1:r1=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r1=2 /\ 1:r1=1) is NOT validated Hash=eac5a5a3b5e62535a64e41d2e8eafb7e Cycle=Wse Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw006 No ACLwSyncdRW Safe=Wse Time aclwdrw006 70.59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw007 "Wse LwSyncdWW Wse Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | 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=2 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: lwsync _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 aclwdrw007 Allowed Histogram (21 states) 2154002:>2:r1=0; 3:r1=0; x=1; z=1; 1230040:>2:r1=0; 3:r1=1; x=2; z=2; 3642129:>2:r1=2; 3:r1=0; x=2; z=2; 11586804:>2:r1=0; 3:r1=0; x=2; z=1; 13741468:>2:r1=2; 3:r1=0; x=1; z=1; 2275714:>2:r1=2; 3:r1=1; x=2; z=1; 1598492:>2:r1=2; 3:r1=1; x=1; z=2; 1780633:>2:r1=1; 3:r1=1; x=1; z=1; 2429289:>2:r1=1; 3:r1=0; x=2; z=2; 13908642:>2:r1=2; 3:r1=1; x=1; z=1; 6056956:>2:r1=1; 3:r1=1; x=2; z=1; 37211892:>2:r1=0; 3:r1=0; x=1; z=2; 15149637:>2:r1=1; 3:r1=0; x=1; z=2; 31492216:>2:r1=2; 3:r1=0; x=2; z=1; 20583890:>2:r1=1; 3:r1=0; x=1; z=1; 27677643:>2:r1=0; 3:r1=1; x=1; z=1; 15265065:>2:r1=0; 3:r1=1; x=1; z=2; 30223202:>2:r1=0; 3:r1=1; x=2; z=1; 17536961:>2:r1=0; 3:r1=0; x=2; z=2; 41766650:>2:r1=2; 3:r1=0; x=1; z=2; 22688675:>2:r1=1; 3:r1=0; 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=e74be328c9ba402be65dbfc459848578 Cycle=Wse LwSyncdWW Wse Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw007 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw007 82.90 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw008 "Wse SyncdWW Wse Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | 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=2 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 4,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: lwsync _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 aclwdrw008 Allowed Histogram (21 states) 1588118:>2:r1=2; 3:r1=1; x=2; z=1; 1793570:>2:r1=2; 3:r1=1; x=1; z=2; 3232577:>2:r1=1; 3:r1=1; x=2; z=1; 2625624:>2:r1=0; 3:r1=0; x=1; z=1; 993686:>2:r1=0; 3:r1=1; x=2; z=2; 1653650:>2:r1=1; 3:r1=1; x=1; z=1; 39596483:>2:r1=0; 3:r1=0; x=1; z=2; 1630259:>2:r1=1; 3:r1=0; x=2; z=2; 30039438:>2:r1=0; 3:r1=1; x=1; z=1; 13689653:>2:r1=1; 3:r1=0; x=1; z=2; 14722844:>2:r1=2; 3:r1=0; x=1; z=1; 2693518:>2:r1=2; 3:r1=0; x=2; z=2; 16953648:>2:r1=1; 3:r1=0; x=2; z=1; 14878377:>2:r1=2; 3:r1=1; x=1; z=1; 32202546:>2:r1=0; 3:r1=1; x=2; z=1; 14207119:>2:r1=0; 3:r1=0; x=2; z=1; 21181607:>2:r1=1; 3:r1=0; x=1; z=1; 16249017:>2:r1=0; 3:r1=0; x=2; z=2; 26146113:>2:r1=2; 3:r1=0; x=2; z=1; 46993738:>2:r1=2; 3:r1=0; x=1; z=2; 16928415:>2:r1=0; 3:r1=1; x=1; z=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ z=2 /\ 2:r1=2 /\ 3:r1=1) is NOT validated Hash=8e407b5f1a3494af9ca9285ee8788c70 Cycle=Wse SyncdWW Wse Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw008 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw008 82.75 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw009 "Wse SyncdWR Fre Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: lwsync _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 aclwdrw009 Allowed Histogram (15 states) 2167428:>0:r3=0; 2:r1=1; 3:r1=1; z=1; 1663931:>0:r3=1; 2:r1=0; 3:r1=0; z=1; 1768320:>0:r3=1; 2:r1=1; 3:r1=1; z=2; 16171319:>0:r3=1; 2:r1=0; 3:r1=1; z=2; 26063034:>0:r3=0; 2:r1=0; 3:r1=0; z=2; 2052326:>0:r3=0; 2:r1=0; 3:r1=1; z=2; 32984965:>0:r3=1; 2:r1=0; 3:r1=0; z=2; 27792521:>0:r3=0; 2:r1=1; 3:r1=0; z=1; 15505578:>0:r3=1; 2:r1=1; 3:r1=1; z=1; 43070775:>0:r3=0; 2:r1=0; 3:r1=1; z=1; 59033663:>0:r3=1; 2:r1=1; 3:r1=0; z=2; 5493151:>0:r3=0; 2:r1=1; 3:r1=0; z=2; 22800765:>0:r3=1; 2:r1=0; 3:r1=1; z=1; 32952687:>0:r3=0; 2:r1=0; 3:r1=0; z=1; 30479537:>0:r3=1; 2:r1=1; 3:r1=0; 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=74404a73596338337a73f985eb764206 Cycle=Wse SyncdWR Fre Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw009 No ACLwSyncdRW Safe=Fre Wse SyncdWR Time aclwdrw009 82.67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw010 "Wse LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _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 aclwdrw010 Allowed Histogram (7 states) 11547056:>1:r1=1; 2:r1=1; z=1; 16233438:>1:r1=0; 2:r1=0; z=1; 15266296:>1:r1=1; 2:r1=0; z=2; 21612455:>1:r1=0; 2:r1=1; z=2; 105726151:>1:r1=0; 2:r1=1; z=1; 99102580:>1:r1=1; 2:r1=0; z=1; 130512024:>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=f53f9dda3c7dc345bd6feb98b544d454 Cycle=Wse LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw010 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw010 74.49 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw011 "Wse LwSyncdWW Wse LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _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 aclwdrw011 Allowed Histogram (15 states) 1320032:>2:r1=1; 3:r1=0; a=2; x=2; 5565589:>2:r1=0; 3:r1=0; a=1; x=1; 431456:>2:r1=1; 3:r1=1; a=2; x=1; 409074:>2:r1=1; 3:r1=1; a=1; x=2; 1367242:>2:r1=0; 3:r1=1; a=2; x=2; 23833009:>2:r1=0; 3:r1=0; a=2; x=2; 13118954:>2:r1=1; 3:r1=0; a=1; x=2; 31722983:>2:r1=1; 3:r1=0; a=1; x=1; 49771089:>2:r1=0; 3:r1=0; a=1; x=2; 51294670:>2:r1=0; 3:r1=0; a=2; x=1; 34511722:>2:r1=0; 3:r1=1; a=1; x=1; 14336020:>2:r1=0; 3:r1=1; a=2; x=1; 42303805:>2:r1=1; 3:r1=0; a=2; x=1; 42000059:>2:r1=0; 3:r1=1; a=1; x=2; 8014296:>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=78e4095697182c79f9282e6c61c7d942 Cycle=Wse LwSyncdWW Wse LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw011 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw011 90.54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw012 "Wse SyncdWW Wse LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _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 aclwdrw012 Allowed Histogram (15 states) 276920:>2:r1=1; 3:r1=1; a=1; x=2; 960295:>2:r1=1; 3:r1=0; a=2; x=2; 10552735:>2:r1=1; 3:r1=0; a=1; x=2; 1184603:>2:r1=0; 3:r1=1; a=2; x=2; 6139630:>2:r1=0; 3:r1=0; a=1; x=1; 33160912:>2:r1=1; 3:r1=0; a=1; x=1; 44757503:>2:r1=1; 3:r1=0; a=2; x=1; 16021932:>2:r1=0; 3:r1=1; a=2; x=1; 8337793:>2:r1=1; 3:r1=1; a=1; x=1; 54962828:>2:r1=0; 3:r1=0; a=2; x=1; 45987579:>2:r1=0; 3:r1=0; a=1; x=2; 37847134:>2:r1=0; 3:r1=1; a=1; x=1; 20825113:>2:r1=0; 3:r1=0; a=2; x=2; 38498551:>2:r1=0; 3:r1=1; a=1; x=2; 486472:>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=6cf5537214fb09c283197ddc4c066e61 Cycle=Wse SyncdWW Wse LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw012 No ACLwSyncdRW Safe=Wse SyncdWW LwSyncdWW Time aclwdrw012 93.39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw013 "Wse SyncdWR Fre LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _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 aclwdrw013 Allowed Histogram (15 states) 2069167:>0:r3=0; 2:r1=0; 3:r1=1; a=2; 622932:>0:r3=1; 2:r1=1; 3:r1=1; a=2; 411524:>0:r3=0; 2:r1=1; 3:r1=1; a=1; 29071422:>0:r3=1; 2:r1=1; 3:r1=0; a=1; 16462450:>0:r3=1; 2:r1=0; 3:r1=1; a=2; 3861918:>0:r3=1; 2:r1=0; 3:r1=0; a=1; 2071927:>0:r3=0; 2:r1=1; 3:r1=0; a=2; 13809453:>0:r3=0; 2:r1=1; 3:r1=0; a=1; 46206117:>0:r3=1; 2:r1=0; 3:r1=0; a=2; 30782024:>0:r3=1; 2:r1=0; 3:r1=1; a=1; 29340363:>0:r3=0; 2:r1=0; 3:r1=0; a=2; 46213180:>0:r3=0; 2:r1=0; 3:r1=0; a=1; 46410989:>0:r3=0; 2:r1=0; 3:r1=1; a=1; 44244350:>0:r3=1; 2:r1=1; 3:r1=0; a=2; 8422184:>0:r3=1; 2:r1=1; 3:r1=1; a=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ 0:r3=0 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=6e6da149aa7e1ce73d89cf3ebe65517b Cycle=Wse SyncdWR Fre LwSyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw013 No ACLwSyncdRW Safe=Fre Wse SyncdWR LwSyncdWW Time aclwdrw013 91.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw014 "Wse SyncdWR Fre LwSyncsWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: lwsync _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 aclwdrw014 Allowed Histogram (33 states) 267 :>0:r3=1; 2:r1=1; 3:r1=1; x=2; z=2; 82884 :>0:r3=1; 2:r1=1; 3:r1=1; x=2; z=1; 41956 :>0:r3=1; 2:r1=2; 3:r1=1; x=2; z=1; 485461:>0:r3=1; 2:r1=2; 3:r1=0; x=2; z=1; 299288:>0:r3=2; 2:r1=1; 3:r1=1; x=2; z=2; 145741:>0:r3=1; 2:r1=1; 3:r1=0; x=2; z=1; 1749898:>0:r3=2; 2:r1=1; 3:r1=1; x=2; z=1; 720239:>0:r3=1; 2:r1=1; 3:r1=0; x=2; z=2; 417896:>0:r3=0; 2:r1=1; 3:r1=1; x=2; z=1; 1180843:>0:r3=2; 2:r1=0; 3:r1=0; x=2; z=1; 804975:>0:r3=0; 2:r1=1; 3:r1=0; x=2; z=2; 164080:>0:r3=1; 2:r1=0; 3:r1=0; x=2; z=1; 2283924:>0:r3=1; 2:r1=0; 3:r1=1; x=2; z=1; 3612528:>0:r3=2; 2:r1=1; 3:r1=0; x=2; z=2; 1077009:>0:r3=2; 2:r1=2; 3:r1=1; x=2; z=2; 2193761:>0:r3=1; 2:r1=0; 3:r1=0; x=2; z=2; 896537:>0:r3=1; 2:r1=2; 3:r1=0; x=2; z=2; 1664368:>0:r3=0; 2:r1=2; 3:r1=1; x=2; z=1; 13189860:>0:r3=2; 2:r1=2; 3:r1=1; x=2; z=1; 1336163:>0:r3=2; 2:r1=1; 3:r1=0; x=2; z=1; 20273190:>0:r3=2; 2:r1=0; 3:r1=1; x=2; z=1; 636850:>0:r3=1; 2:r1=0; 3:r1=1; x=2; z=2; 2728025:>0:r3=0; 2:r1=1; 3:r1=0; x=2; z=1; 43591794:>0:r3=0; 2:r1=0; 3:r1=1; x=2; z=1; 2377138:>0:r3=0; 2:r1=0; 3:r1=1; x=2; z=2; 30779605:>0:r3=0; 2:r1=0; 3:r1=0; x=2; z=1; 29301239:>0:r3=2; 2:r1=2; 3:r1=0; x=2; z=1; 27296888:>0:r3=0; 2:r1=0; 3:r1=0; x=2; z=2; 15148118:>0:r3=2; 2:r1=0; 3:r1=1; x=2; z=2; 5375508:>0:r3=0; 2:r1=2; 3:r1=0; x=2; z=2; 27317477:>0:r3=0; 2:r1=2; 3:r1=0; x=2; z=1; 55309927:>0:r3=2; 2:r1=2; 3:r1=0; x=2; z=2; 27516563:>0:r3=2; 2:r1=0; 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=c7d9b68d52ceb0facc30016f1da24640 Cycle=Wse SyncdWR Fre LwSyncsWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw014 No ACLwSyncdRW Safe=Fre Wse SyncdWR LwSyncsWW Time aclwdrw014 91.28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw015 "Wse SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _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 aclwdrw015 Allowed Histogram (7 states) 25211999:>1:r1=0; 2:r1=0; z=1; 22652858:>1:r1=0; 2:r1=1; z=2; 6365284:>1:r1=1; 2:r1=1; z=1; 135680075:>1:r1=0; 2:r1=0; z=2; 11760033:>1:r1=1; 2:r1=0; z=2; 84832895:>1:r1=1; 2:r1=0; z=1; 113496856:>1:r1=0; 2:r1=1; z=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (z=2 /\ 1:r1=1 /\ 2:r1=1) is NOT validated Hash=d389ff0cf51505a66419cde8ac950533 Cycle=Wse SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw015 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw015 73.65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw016 "Wse LwSyncdWW Wse SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _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 aclwdrw016 Allowed Histogram (15 states) 1139608:>2:r1=1; 3:r1=0; a=2; x=2; 1562878:>2:r1=0; 3:r1=1; a=2; x=2; 7184645:>2:r1=0; 3:r1=0; a=1; x=1; 27365936:>2:r1=1; 3:r1=0; a=1; x=1; 56583860:>2:r1=0; 3:r1=0; a=2; x=1; 257236:>2:r1=1; 3:r1=1; a=1; x=2; 4616543:>2:r1=1; 3:r1=1; a=1; x=1; 43888943:>2:r1=0; 3:r1=1; a=1; x=2; 25787948:>2:r1=0; 3:r1=0; a=2; x=2; 10472468:>2:r1=1; 3:r1=0; a=1; x=2; 37867251:>2:r1=0; 3:r1=1; a=1; x=1; 15058677:>2:r1=0; 3:r1=1; a=2; x=1; 35658181:>2:r1=1; 3:r1=0; a=2; x=1; 52407163:>2:r1=0; 3:r1=0; a=1; x=2; 148663:>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=39a6f043c59ed0571ec1f263cbdbcd8a Cycle=Wse LwSyncdWW Wse SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw016 No ACLwSyncdRW Safe=Wse SyncdWW LwSyncdWW Time aclwdrw016 89.76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw017 "Wse SyncdWW Wse SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _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 aclwdrw017 Allowed Histogram (15 states) 184151:>2:r1=1; 3:r1=1; a=1; x=2; 172983:>2:r1=1; 3:r1=1; a=2; x=1; 1315280:>2:r1=0; 3:r1=1; a=2; x=2; 859452:>2:r1=1; 3:r1=0; a=2; x=2; 7668691:>2:r1=0; 3:r1=0; a=1; x=1; 29059030:>2:r1=1; 3:r1=0; a=1; x=1; 22436590:>2:r1=0; 3:r1=0; a=2; x=2; 16859920:>2:r1=0; 3:r1=1; a=2; x=1; 8527556:>2:r1=1; 3:r1=0; a=1; x=2; 48165694:>2:r1=0; 3:r1=0; a=1; x=2; 37787015:>2:r1=1; 3:r1=0; a=2; x=1; 41535892:>2:r1=0; 3:r1=1; a=1; x=1; 60381482:>2:r1=0; 3:r1=0; a=2; x=1; 40032684:>2:r1=0; 3:r1=1; a=1; x=2; 5013580:>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=285942b1b8d1137eee72605a2ed24bcb Cycle=Wse SyncdWW Wse SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw017 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw017 89.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw018 "Wse SyncdWR Fre SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _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 aclwdrw018 Allowed Histogram (15 states) 2313854:>0:r3=0; 2:r1=0; 3:r1=1; a=2; 1778794:>0:r3=0; 2:r1=1; 3:r1=0; a=2; 250645:>0:r3=0; 2:r1=1; 3:r1=1; a=1; 31584797:>0:r3=0; 2:r1=0; 3:r1=0; a=2; 48623101:>0:r3=0; 2:r1=0; 3:r1=1; a=1; 26130144:>0:r3=1; 2:r1=1; 3:r1=0; a=1; 11073599:>0:r3=0; 2:r1=1; 3:r1=0; a=1; 33641660:>0:r3=1; 2:r1=0; 3:r1=1; a=1; 50676368:>0:r3=1; 2:r1=0; 3:r1=0; a=2; 48689745:>0:r3=0; 2:r1=0; 3:r1=0; a=1; 5302020:>0:r3=1; 2:r1=1; 3:r1=1; a=1; 17234151:>0:r3=1; 2:r1=0; 3:r1=1; a=2; 37600390:>0:r3=1; 2:r1=1; 3:r1=0; a=2; 4844187:>0:r3=1; 2:r1=0; 3:r1=0; a=1; 256545:>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=b9fda3bb629510ce4fec86306a51e42d Cycle=Wse SyncdWR Fre SyncdWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw018 No ACLwSyncdRW Safe=Fre Wse SyncdWW SyncdWR Time aclwdrw018 91.40 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw019.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw019 "Wse SyncdWR Fre SyncsWW Rfe LwSyncdRW Rfe LwSyncdRW" {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) | lwsync | lwsync ; 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_: lwsync _litmus_P3_2_: li 5,1 _litmus_P3_3_: stw 5,0(9) _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: lwsync _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 aclwdrw019 Allowed Histogram (33 states) 713 :>0:r3=1; 2:r1=1; 3:r1=1; x=2; z=2; 425065:>0:r3=1; 2:r1=0; 3:r1=0; x=2; z=1; 759876:>0:r3=2; 2:r1=1; 3:r1=1; x=2; z=2; 1522849:>0:r3=2; 2:r1=1; 3:r1=0; x=2; z=1; 812047:>0:r3=1; 2:r1=1; 3:r1=0; x=2; z=1; 850358:>0:r3=2; 2:r1=0; 3:r1=0; x=2; z=1; 253770:>0:r3=1; 2:r1=2; 3:r1=1; x=2; z=1; 3416135:>0:r3=2; 2:r1=1; 3:r1=1; x=2; z=1; 500201:>0:r3=1; 2:r1=1; 3:r1=1; x=2; z=1; 2479501:>0:r3=1; 2:r1=2; 3:r1=0; x=2; z=1; 2024518:>0:r3=1; 2:r1=1; 3:r1=0; x=2; z=2; 714232:>0:r3=2; 2:r1=2; 3:r1=1; x=2; z=2; 2266445:>0:r3=0; 2:r1=1; 3:r1=0; x=2; z=2; 816318:>0:r3=0; 2:r1=1; 3:r1=1; x=2; z=1; 5902988:>0:r3=1; 2:r1=0; 3:r1=1; x=2; z=1; 6688733:>0:r3=2; 2:r1=1; 3:r1=0; x=2; z=2; 6845531:>0:r3=0; 2:r1=1; 3:r1=0; x=2; z=1; 15879976:>0:r3=2; 2:r1=0; 3:r1=1; x=2; z=1; 2441949:>0:r3=1; 2:r1=2; 3:r1=0; x=2; z=2; 1944461:>0:r3=1; 2:r1=0; 3:r1=1; x=2; z=2; 2637728:>0:r3=0; 2:r1=0; 3:r1=1; x=2; z=2; 32897523:>0:r3=0; 2:r1=0; 3:r1=0; x=2; z=1; 6751109:>0:r3=1; 2:r1=0; 3:r1=0; x=2; z=2; 882590:>0:r3=0; 2:r1=2; 3:r1=1; x=2; z=1; 4029415:>0:r3=0; 2:r1=2; 3:r1=0; x=2; z=2; 13287253:>0:r3=2; 2:r1=0; 3:r1=1; x=2; z=2; 44913459:>0:r3=0; 2:r1=0; 3:r1=1; x=2; z=1; 46344623:>0:r3=2; 2:r1=2; 3:r1=0; x=2; z=2; 10371368:>0:r3=2; 2:r1=2; 3:r1=1; x=2; z=1; 24463949:>0:r3=2; 2:r1=0; 3:r1=0; x=2; z=2; 20853483:>0:r3=0; 2:r1=2; 3:r1=0; x=2; z=1; 27341300:>0:r3=2; 2:r1=2; 3:r1=0; x=2; z=1; 28680534:>0:r3=0; 2:r1=0; 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=611eab2a87f64ecdd114646ae196cc2b Cycle=Wse SyncdWR Fre SyncsWW Rfe LwSyncdRW Rfe LwSyncdRW Relax aclwdrw019 No ACLwSyncdRW Safe=Fre Wse SyncsWW SyncdWR Time aclwdrw019 90.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw020.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw020 "Wse Rfe LwSyncdRW Wse Rfe LwSyncdRW" {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 ; lwsync | stw r1,0(r2) | lwsync | 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_: lwsync _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_: lwsync _litmus_P0_2_: li 5,1 _litmus_P0_3_: stw 5,0(9) Test aclwdrw020 Allowed Histogram (27 states) 748026:>0:r1=0; 2:r1=0; x=1; y=1; 3356023:>0:r1=2; 2:r1=1; x=2; y=1; 5079587:>0:r1=0; 2:r1=0; x=1; y=2; 3251211:>0:r1=0; 2:r1=1; x=1; y=2; 3333469:>0:r1=1; 2:r1=2; x=1; y=2; 4854872:>0:r1=2; 2:r1=2; x=1; y=2; 10938006:>0:r1=0; 2:r1=2; x=1; y=2; 18961578:>0:r1=0; 2:r1=1; x=2; y=1; 20485673:>0:r1=0; 2:r1=1; x=1; y=1; 9622541:>0:r1=2; 2:r1=0; x=1; y=1; 3761492:>0:r1=1; 2:r1=0; x=2; y=1; 9646141:>0:r1=1; 2:r1=0; x=2; y=2; 18896795:>0:r1=0; 2:r1=0; x=2; y=2; 9144540:>0:r1=0; 2:r1=2; x=1; y=1; 5476086:>0:r1=0; 2:r1=0; x=2; y=1; 16150816:>0:r1=2; 2:r1=1; x=1; y=1; 4757325:>0:r1=2; 2:r1=2; x=2; y=1; 30239472:>0:r1=2; 2:r1=0; x=1; y=2; 11035685:>0:r1=0; 2:r1=1; x=2; y=2; 11122514:>0:r1=2; 2:r1=0; x=2; y=1; 3711322:>0:r1=2; 2:r1=0; x=2; y=2; 3762590:>0:r1=0; 2:r1=2; x=2; y=2; 24993540:>0:r1=2; 2:r1=2; x=1; y=1; 22379651:>0:r1=1; 2:r1=0; x=1; y=1; 17796728:>0:r1=1; 2:r1=0; x=1; y=2; 30278138:>0:r1=0; 2:r1=2; x=2; y=1; 16216179:>0:r1=1; 2:r1=2; x=1; y=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 0:r1=2 /\ 2:r1=2) is NOT validated Hash=c8cdfb7367e426b0a52d68f2dd52229a Cycle=Wse Rfe LwSyncdRW Wse Rfe LwSyncdRW Relax aclwdrw020 No ACLwSyncdRW Safe=Wse Time aclwdrw020 79.22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw021 "Wse LwSyncdWW Rfe LwSyncdRW Wse Rfe LwSyncdRW" {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) | lwsync | stw r1,0(r2) | lwsync ; 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_: lwsync _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_: lwsync _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 aclwdrw021 Allowed Histogram (21 states) 683672:>1:r1=1; 3:r1=0; y=2; z=2; 14746120:>1:r1=0; 3:r1=2; y=1; z=1; 26969201:>1:r1=0; 3:r1=1; y=1; z=1; 2665430:>1:r1=1; 3:r1=2; y=2; z=1; 4510969:>1:r1=0; 3:r1=1; y=1; z=2; 2037816:>1:r1=1; 3:r1=2; y=1; z=2; 10301990:>1:r1=0; 3:r1=1; y=2; z=2; 2023605:>1:r1=0; 3:r1=0; y=1; z=1; 9331527:>1:r1=1; 3:r1=1; y=1; z=1; 11858478:>1:r1=1; 3:r1=0; y=2; z=1; 9624507:>1:r1=0; 3:r1=0; y=2; z=1; 1859947:>1:r1=1; 3:r1=1; y=2; z=1; 19332169:>1:r1=0; 3:r1=2; y=1; z=2; 32487575:>1:r1=0; 3:r1=0; y=1; z=2; 32261230:>1:r1=0; 3:r1=2; y=2; z=1; 21812603:>1:r1=0; 3:r1=1; y=2; z=1; 39947012:>1:r1=0; 3:r1=0; y=2; z=2; 13483771:>1:r1=1; 3:r1=0; y=1; z=2; 27523875:>1:r1=1; 3:r1=0; y=1; z=1; 4458449:>1:r1=0; 3:r1=2; y=2; z=2; 32080054:>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=66b1803af81778647936871ee4c7a58a Cycle=Wse LwSyncdWW Rfe LwSyncdRW Wse Rfe LwSyncdRW Relax aclwdrw021 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw021 86.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw022.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw022 "Wse SyncdWW Rfe LwSyncdRW Wse Rfe LwSyncdRW" {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) | lwsync | stw r1,0(r2) | lwsync ; 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_: lwsync _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_: lwsync _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 aclwdrw022 Allowed Histogram (21 states) 815980:>1:r1=1; 3:r1=1; y=2; z=1; 8689047:>1:r1=1; 3:r1=0; y=2; z=1; 2293440:>1:r1=0; 3:r1=0; y=1; z=1; 414797:>1:r1=1; 3:r1=0; y=2; z=2; 5079933:>1:r1=0; 3:r1=2; y=2; z=2; 11072908:>1:r1=0; 3:r1=1; y=2; z=2; 1219935:>1:r1=1; 3:r1=2; y=2; z=1; 5073670:>1:r1=0; 3:r1=1; y=1; z=2; 15172312:>1:r1=0; 3:r1=2; y=1; z=1; 1856520:>1:r1=1; 3:r1=2; y=1; z=2; 25486771:>1:r1=1; 3:r1=0; y=1; z=1; 28930401:>1:r1=0; 3:r1=1; y=1; z=1; 12434198:>1:r1=0; 3:r1=0; y=2; z=1; 7318208:>1:r1=1; 3:r1=1; y=1; z=1; 34079475:>1:r1=0; 3:r1=0; y=1; z=2; 11542408:>1:r1=1; 3:r1=0; y=1; z=2; 34636202:>1:r1=0; 3:r1=2; y=2; z=1; 21043010:>1:r1=0; 3:r1=2; y=1; z=2; 41325843:>1:r1=0; 3:r1=0; y=2; z=2; 22930883:>1:r1=0; 3:r1=1; y=2; z=1; 28584059:>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=858e402200e82a86a8fd5d1284db21dc Cycle=Wse SyncdWW Rfe LwSyncdRW Wse Rfe LwSyncdRW Relax aclwdrw022 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw022 86.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw023 "Wse LwSyncdWW Wse Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw023 Allowed Histogram (9 states) 2172530:>2:r1=0; x=1; y=1; 32753556:>2:r1=0; x=2; y=2; 40092458:>2:r1=2; x=1; y=2; 56048940:>2:r1=2; x=2; y=1; 43930458:>2:r1=1; x=1; y=1; 39812152:>2:r1=1; x=2; y=1; 52926601:>2:r1=2; x=1; y=1; 40159348:>2:r1=0; x=2; y=1; 92103957:>2:r1=0; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 2:r1=2) is NOT validated Hash=1ad8406b26d05771236d2258c5e84594 Cycle=Wse LwSyncdWW Wse Rfe LwSyncdRW Relax aclwdrw023 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw023 71.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw024 "Wse LwSyncdWW Wse LwSyncdWW Wse Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw024 Allowed Histogram (21 states) 1937314:>3:r1=0; x=2; y=2; z=2; 3916301:>3:r1=2; x=2; y=2; z=1; 10399292:>3:r1=2; x=1; y=1; z=1; 2972143:>3:r1=1; x=1; y=1; z=2; 6561032:>3:r1=0; x=1; y=2; z=1; 641834:>3:r1=0; x=1; y=1; z=1; 15953733:>3:r1=0; x=2; y=2; z=1; 39197264:>3:r1=2; x=2; y=1; z=1; 19019515:>3:r1=1; x=1; y=2; z=1; 29840454:>3:r1=0; x=2; y=1; z=1; 34277217:>3:r1=0; x=1; y=2; z=2; 30401514:>3:r1=2; x=1; y=2; z=1; 20938918:>3:r1=1; x=1; y=1; z=1; 29130873:>3:r1=0; x=1; y=1; z=2; 13914068:>3:r1=1; x=2; y=1; z=1; 4238495:>3:r1=2; x=1; y=2; z=2; 3368548:>3:r1=2; x=2; y=1; z=2; 21014584:>3:r1=0; x=2; y=1; z=2; 2696300:>3:r1=1; x=2; y=2; z=1; 10086035:>3:r1=1; x=1; y=2; z=2; 19494566:>3:r1=2; x=1; 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=3b1803eb59766bc18b964c809f07a0b7 Cycle=Wse LwSyncdWW Wse LwSyncdWW Wse Rfe LwSyncdRW Relax aclwdrw024 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw024 83.10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw025 "Wse SyncdWW Wse LwSyncdWW Wse Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw025 Allowed Histogram (21 states) 783856:>3:r1=0; x=1; y=1; z=1; 1983597:>3:r1=1; x=2; y=2; z=1; 1331478:>3:r1=0; x=2; y=2; z=2; 2868283:>3:r1=2; x=2; y=2; z=1; 3213785:>3:r1=1; x=1; y=1; z=2; 4754225:>3:r1=2; x=1; y=2; z=2; 7317035:>3:r1=0; x=1; y=2; z=1; 28975374:>3:r1=0; x=2; y=1; z=1; 11697436:>3:r1=2; x=1; y=1; z=1; 14163974:>3:r1=0; x=2; y=2; z=1; 22450120:>3:r1=1; x=1; y=1; z=1; 3023374:>3:r1=2; x=2; y=1; z=2; 19638816:>3:r1=1; x=1; y=2; z=1; 18623136:>3:r1=0; x=2; y=1; z=2; 35422039:>3:r1=0; x=1; y=2; z=2; 10883500:>3:r1=1; x=1; y=2; z=2; 35841501:>3:r1=2; x=2; y=1; z=1; 21524143:>3:r1=2; x=1; y=1; z=2; 31701912:>3:r1=0; x=1; y=1; z=2; 31552694:>3:r1=2; x=1; y=2; z=1; 12249722:>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=91a569f1b9fb7b9d4ab0fb4ac1550bba Cycle=Wse SyncdWW Wse LwSyncdWW Wse Rfe LwSyncdRW Relax aclwdrw025 No ACLwSyncdRW Safe=Wse SyncdWW LwSyncdWW Time aclwdrw025 85.89 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw026 "Wse SyncdWR Fre LwSyncdWW Wse Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw026 Allowed Histogram (21 states) 560747:>0:r3=1; 3:r1=0; y=1; z=1; 3241839:>0:r3=1; 3:r1=1; y=1; z=2; 4679864:>0:r3=0; 3:r1=2; y=1; z=2; 18781129:>0:r3=1; 3:r1=1; y=1; z=1; 10696002:>0:r3=1; 3:r1=1; y=2; z=2; 4804070:>0:r3=1; 3:r1=2; y=2; z=2; 2572973:>0:r3=0; 3:r1=1; y=2; z=1; 29504805:>0:r3=0; 3:r1=0; y=1; z=1; 33162684:>0:r3=1; 3:r1=0; y=2; z=2; 40047105:>0:r3=0; 3:r1=2; y=1; z=1; 18685054:>0:r3=1; 3:r1=1; y=2; z=1; 3486533:>0:r3=0; 3:r1=2; y=2; z=1; 5641014:>0:r3=1; 3:r1=0; y=2; z=1; 24855309:>0:r3=0; 3:r1=0; y=1; z=2; 3029888:>0:r3=0; 3:r1=0; y=2; z=2; 16590794:>0:r3=0; 3:r1=0; y=2; z=1; 28888930:>0:r3=1; 3:r1=2; y=2; z=1; 20051423:>0:r3=1; 3:r1=2; y=1; z=2; 27303224:>0:r3=1; 3:r1=0; y=1; z=2; 9081523:>0:r3=1; 3:r1=2; y=1; z=1; 14335090:>0:r3=0; 3:r1=1; y=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (y=2 /\ z=2 /\ 0:r3=0 /\ 3:r1=2) is NOT validated Hash=737892f94b2657f1d59c4a9ff3f51e74 Cycle=Wse SyncdWR Fre LwSyncdWW Wse Rfe LwSyncdRW Relax aclwdrw026 No ACLwSyncdRW Safe=Fre Wse SyncdWR LwSyncdWW Time aclwdrw026 86.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw027 "Wse SyncdWW Wse Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw027 Allowed Histogram (9 states) 28544659:>2:r1=0; x=2; y=2; 49580964:>2:r1=1; x=1; y=1; 3409722:>2:r1=0; x=1; y=1; 58057722:>2:r1=2; x=1; y=1; 52920184:>2:r1=0; x=2; y=1; 27314266:>2:r1=1; x=2; y=1; 41992403:>2:r1=2; x=1; y=2; 97188727:>2:r1=0; x=1; y=2; 40991353:>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=d4ae49abf1f3d9247392dc73da242719 Cycle=Wse SyncdWW Wse Rfe LwSyncdRW Relax aclwdrw027 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw027 72.89 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw028 "Wse LwSyncdWW Wse SyncdWW Wse Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw028 Allowed Histogram (21 states) 2898622:>3:r1=2; x=2; y=2; z=1; 5735549:>3:r1=1; x=1; y=2; z=2; 1514094:>3:r1=0; x=2; y=2; z=2; 1767050:>3:r1=1; x=2; y=2; z=1; 933460:>3:r1=0; x=1; y=1; z=1; 8398650:>3:r1=0; x=1; y=2; z=1; 15217525:>3:r1=1; x=1; y=2; z=1; 2810986:>3:r1=1; x=1; y=1; z=2; 14250711:>3:r1=0; x=2; y=2; z=1; 12148193:>3:r1=1; x=2; y=1; z=1; 2873335:>3:r1=2; x=1; y=2; z=2; 20496450:>3:r1=2; x=1; y=1; z=2; 25664823:>3:r1=2; x=1; y=2; z=1; 32259499:>3:r1=0; x=1; y=1; z=2; 22700267:>3:r1=0; x=2; y=1; z=2; 32758284:>3:r1=0; x=2; y=1; z=1; 21589857:>3:r1=1; x=1; y=1; z=1; 11969438:>3:r1=2; x=1; y=1; z=1; 43939350:>3:r1=2; x=2; y=1; z=1; 36331010:>3:r1=0; x=1; y=2; z=2; 3742847:>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=1802841b4fa3d013f3a4a8d77b4c7269 Cycle=Wse LwSyncdWW Wse SyncdWW Wse Rfe LwSyncdRW Relax aclwdrw028 No ACLwSyncdRW Safe=Wse SyncdWW LwSyncdWW Time aclwdrw028 84.69 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw029.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw029 "Wse SyncdWW Wse SyncdWW Wse Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw029 Allowed Histogram (21 states) 6251071:>3:r1=1; x=1; y=2; z=2; 2152871:>3:r1=2; x=2; y=2; z=1; 3015689:>3:r1=1; x=1; y=1; z=2; 10462140:>3:r1=1; x=2; y=1; z=1; 3298436:>3:r1=2; x=2; y=1; z=2; 1323403:>3:r1=1; x=2; y=2; z=1; 23306092:>3:r1=1; x=1; y=1; z=1; 1042944:>3:r1=0; x=2; y=2; z=2; 9369147:>3:r1=0; x=1; y=2; z=1; 20124612:>3:r1=0; x=2; y=1; z=2; 1137548:>3:r1=0; x=1; y=1; z=1; 26816929:>3:r1=2; x=1; y=2; z=1; 39989876:>3:r1=2; x=2; y=1; z=1; 34993106:>3:r1=0; x=1; y=1; z=2; 31625546:>3:r1=0; x=2; y=1; z=1; 15756454:>3:r1=1; x=1; y=2; z=1; 13371123:>3:r1=2; x=1; y=1; z=1; 37620078:>3:r1=0; x=1; y=2; z=2; 12467207:>3:r1=0; x=2; y=2; z=1; 3145364:>3:r1=2; x=1; y=2; z=2; 22730364:>3:r1=2; x=1; 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=9af9c79b2630f0d28bfcfc68c05adea8 Cycle=Wse SyncdWW Wse SyncdWW Wse Rfe LwSyncdRW Relax aclwdrw029 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw029 85.63 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw030 "Wse SyncdWR Fre SyncdWW Wse Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw030 Allowed Histogram (21 states) 702265:>0:r3=1; 3:r1=0; y=1; z=1; 3183607:>0:r3=1; 3:r1=1; y=1; z=2; 3440737:>0:r3=1; 3:r1=2; y=2; z=2; 2695784:>0:r3=0; 3:r1=2; y=2; z=1; 19478892:>0:r3=1; 3:r1=1; y=1; z=1; 6497018:>0:r3=1; 3:r1=0; y=2; z=1; 44876328:>0:r3=0; 3:r1=2; y=1; z=1; 6647328:>0:r3=1; 3:r1=1; y=2; z=2; 31334950:>0:r3=0; 3:r1=0; y=1; z=1; 21373336:>0:r3=1; 3:r1=2; y=1; z=2; 28810190:>0:r3=1; 3:r1=0; y=1; z=2; 15431265:>0:r3=0; 3:r1=0; y=2; z=1; 35587160:>0:r3=1; 3:r1=0; y=2; z=2; 9164689:>0:r3=1; 3:r1=2; y=1; z=1; 2689233:>0:r3=0; 3:r1=0; y=2; z=2; 13410473:>0:r3=0; 3:r1=1; y=1; z=1; 24551088:>0:r3=1; 3:r1=2; y=2; z=1; 27912186:>0:r3=0; 3:r1=0; y=1; z=2; 1820218:>0:r3=0; 3:r1=1; y=2; z=1; 14996448:>0:r3=1; 3:r1=1; y=2; z=1; 5396805:>0:r3=0; 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=9b256d0884e8c12c01c55491802b9eb6 Cycle=Wse SyncdWR Fre SyncdWW Wse Rfe LwSyncdRW Relax aclwdrw030 No ACLwSyncdRW Safe=Fre Wse SyncdWW SyncdWR Time aclwdrw030 86.43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw031.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw031 "Wse SyncdWR Fre Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw031 Allowed Histogram (8 states) 1 :>0:r3=0; 2:r1=1; y=2; 1270937:>0:r3=1; 2:r1=0; y=1; 80021868:>0:r3=0; 2:r1=0; y=1; 93613073:>0:r3=1; 2:r1=1; y=1; 81910622:>0:r3=1; 2:r1=0; y=2; 54085042:>0:r3=0; 2:r1=1; y=1; 42960663:>0:r3=1; 2:r1=1; y=2; 46137794:>0:r3=0; 2:r1=0; y=2; Ok Witnesses Positive: 1, Negative: 399999999 Condition exists (y=2 /\ 0:r3=0 /\ 2:r1=1) is validated Hash=2cd17a7364574ebd5071ff00c29c0db2 Cycle=Wse SyncdWR Fre Rfe LwSyncdRW Relax aclwdrw031 Ok ACLwSyncdRW Safe=Fre Wse SyncdWR Time aclwdrw031 69.26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw032.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw032 "Wse LwSyncdWW Wse SyncdWR Fre Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw032 Allowed Histogram (15 states) 3297230:>1:r3=0; 3:r1=0; x=2; z=2; 422826:>1:r3=1; 3:r1=0; x=1; z=1; 4232227:>1:r3=0; 3:r1=1; x=1; z=2; 3822372:>1:r3=1; 3:r1=1; x=2; z=2; 22835093:>1:r3=0; 3:r1=0; x=2; z=1; 26515384:>1:r3=0; 3:r1=1; x=1; z=1; 26208402:>1:r3=1; 3:r1=0; x=2; z=1; 25398021:>1:r3=1; 3:r1=0; x=1; z=2; 5771135:>1:r3=0; 3:r1=1; x=2; z=1; 28887493:>1:r3=1; 3:r1=1; x=1; z=1; 23670341:>1:r3=0; 3:r1=0; x=1; z=1; 22122022:>1:r3=1; 3:r1=1; x=1; z=2; 52024704:>1:r3=0; 3:r1=0; x=1; z=2; 21703113:>1:r3=1; 3:r1=0; x=2; z=2; 53089637:>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=3891bfc0c07ea958844ea83ff47b5cd8 Cycle=Wse LwSyncdWW Wse SyncdWR Fre Rfe LwSyncdRW Relax aclwdrw032 No ACLwSyncdRW Safe=Fre Wse SyncdWR LwSyncdWW Time aclwdrw032 84.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw033.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw033 "Wse SyncdWW Wse SyncdWR Fre Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw033 Allowed Histogram (15 states) 456901:>1:r3=1; 3:r1=0; x=1; z=1; 2470917:>1:r3=0; 3:r1=0; x=2; z=2; 3464993:>1:r3=1; 3:r1=1; x=2; z=2; 20805677:>1:r3=0; 3:r1=0; x=2; z=1; 19694659:>1:r3=1; 3:r1=0; x=2; z=2; 4809875:>1:r3=0; 3:r1=1; x=2; z=1; 30684130:>1:r3=1; 3:r1=1; x=1; z=1; 27962108:>1:r3=0; 3:r1=1; x=1; z=1; 24677777:>1:r3=1; 3:r1=1; x=1; z=2; 24673170:>1:r3=1; 3:r1=0; x=2; z=1; 4901507:>1:r3=0; 3:r1=1; x=1; z=2; 24766572:>1:r3=0; 3:r1=0; x=1; z=1; 27199233:>1:r3=1; 3:r1=0; x=1; z=2; 48442074:>1:r3=1; 3:r1=1; x=2; z=1; 54990407:>1:r3=0; 3:r1=0; 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=257b00e6d9579f2c9b4c8e9d307015cd Cycle=Wse SyncdWW Wse SyncdWR Fre Rfe LwSyncdRW Relax aclwdrw033 No ACLwSyncdRW Safe=Fre Wse SyncdWW SyncdWR Time aclwdrw033 83.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw034.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw034 "Wse SyncdWR Fre SyncdWR Fre Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw034 Allowed Histogram (15 states) 310899:>0:r3=1; 1:r3=1; 3:r1=0; z=1; 4446480:>0:r3=1; 1:r3=0; 3:r1=1; z=2; 23126699:>0:r3=1; 1:r3=1; 3:r1=0; z=2; 5252352:>0:r3=0; 1:r3=1; 3:r1=1; z=2; 5848327:>0:r3=0; 1:r3=0; 3:r1=1; z=1; 5062821:>0:r3=0; 1:r3=0; 3:r1=0; z=2; 23359357:>0:r3=1; 1:r3=1; 3:r1=1; z=2; 26280191:>0:r3=0; 1:r3=1; 3:r1=0; z=1; 25183103:>0:r3=0; 1:r3=1; 3:r1=0; z=2; 24816893:>0:r3=1; 1:r3=1; 3:r1=1; z=1; 23713201:>0:r3=0; 1:r3=0; 3:r1=0; z=1; 21669490:>0:r3=1; 1:r3=0; 3:r1=0; z=1; 52092332:>0:r3=1; 1:r3=0; 3:r1=0; z=2; 25635206:>0:r3=1; 1:r3=0; 3:r1=1; z=1; 53202649:>0:r3=0; 1:r3=1; 3:r1=1; z=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (z=2 /\ 0:r3=0 /\ 1:r3=0 /\ 3:r1=1) is NOT validated Hash=f7887f9d19d2508d60e57001ebe75306 Cycle=Wse SyncdWR Fre SyncdWR Fre Rfe LwSyncdRW Relax aclwdrw034 No ACLwSyncdRW Safe=Fre Wse SyncdWR Time aclwdrw034 84.50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw035.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw035 "Wse SyncdWR Fre SyncsWR Fre Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw035 Allowed Histogram (50 states) 2 :>0:r3=0; 1:r3=1; 3:r1=1; x=2; y=2; 2 :>0:r3=1; 1:r3=2; 3:r1=2; x=2; y=2; 1 :>0:r3=0; 1:r3=1; 3:r1=2; x=1; y=2; 15 :>0:r3=1; 1:r3=1; 3:r1=2; x=2; y=2; 23 :>0:r3=2; 1:r3=1; 3:r1=1; x=1; y=2; 3870 :>0:r3=1; 1:r3=2; 3:r1=1; x=2; y=2; 91715 :>0:r3=1; 1:r3=2; 3:r1=2; x=2; y=1; 185717:>0:r3=1; 1:r3=1; 3:r1=0; x=1; y=1; 121257:>0:r3=2; 1:r3=2; 3:r1=1; x=2; y=1; 199980:>0:r3=2; 1:r3=2; 3:r1=1; x=2; y=2; 2884209:>0:r3=2; 1:r3=2; 3:r1=2; x=2; y=1; 42222 :>0:r3=2; 1:r3=2; 3:r1=0; x=2; y=1; 102423:>0:r3=2; 1:r3=1; 3:r1=0; x=2; y=1; 690315:>0:r3=1; 1:r3=1; 3:r1=0; x=2; y=1; 136000:>0:r3=0; 1:r3=2; 3:r1=1; x=2; y=1; 65794 :>0:r3=1; 1:r3=2; 3:r1=1; x=2; y=1; 2877874:>0:r3=0; 1:r3=2; 3:r1=0; x=2; y=1; 163072:>0:r3=1; 1:r3=2; 3:r1=0; x=2; y=2; 1143755:>0:r3=2; 1:r3=2; 3:r1=2; x=2; y=2; 10318 :>0:r3=1; 1:r3=2; 3:r1=0; x=2; y=1; 3694074:>0:r3=2; 1:r3=1; 3:r1=1; x=2; y=1; 1455169:>0:r3=0; 1:r3=2; 3:r1=0; x=2; y=2; 950513:>0:r3=2; 1:r3=1; 3:r1=0; x=1; y=1; 4199396:>0:r3=1; 1:r3=1; 3:r1=2; x=1; y=1; 4959426:>0:r3=1; 1:r3=1; 3:r1=1; x=1; y=2; 9193237:>0:r3=0; 1:r3=1; 3:r1=2; x=1; y=1; 16516855:>0:r3=1; 1:r3=1; 3:r1=2; x=1; y=2; 8261851:>0:r3=0; 1:r3=1; 3:r1=0; x=1; y=2; 18977415:>0:r3=1; 1:r3=1; 3:r1=1; x=1; y=1; 2014904:>0:r3=0; 1:r3=2; 3:r1=2; x=2; y=1; 4310633:>0:r3=1; 1:r3=1; 3:r1=1; x=2; y=2; 9938828:>0:r3=1; 1:r3=1; 3:r1=2; x=2; y=1; 15251019:>0:r3=2; 1:r3=1; 3:r1=0; x=1; y=2; 5722386:>0:r3=2; 1:r3=1; 3:r1=2; x=1; y=2; 11240036:>0:r3=1; 1:r3=1; 3:r1=0; x=2; y=2; 10502822:>0:r3=0; 1:r3=1; 3:r1=1; x=1; y=1; 19086511:>0:r3=1; 1:r3=1; 3:r1=0; x=1; y=2; 20786250:>0:r3=0; 1:r3=1; 3:r1=0; x=1; y=1; 15816079:>0:r3=0; 1:r3=1; 3:r1=0; x=2; y=1; 18448642:>0:r3=2; 1:r3=1; 3:r1=2; x=2; y=1; 5578490:>0:r3=0; 1:r3=1; 3:r1=0; x=2; y=2; 21760313:>0:r3=2; 1:r3=1; 3:r1=2; x=1; y=1; 2906211:>0:r3=2; 1:r3=2; 3:r1=0; x=2; y=2; 7223626:>0:r3=0; 1:r3=1; 3:r1=1; x=2; y=1; 5261104:>0:r3=2; 1:r3=1; 3:r1=2; x=2; y=2; 20089989:>0:r3=1; 1:r3=1; 3:r1=1; x=2; y=1; 13579981:>0:r3=2; 1:r3=1; 3:r1=0; x=2; y=2; 10009827:>0:r3=2; 1:r3=1; 3:r1=1; x=1; y=1; 7544518:>0:r3=0; 1:r3=1; 3:r1=2; x=2; y=1; 16001331:>0:r3=2; 1:r3=1; 3:r1=1; x=2; y=2; 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=c1f1886cf60c2ccb7f5a43917cbab2e9 Cycle=Wse SyncdWR Fre SyncsWR Fre Rfe LwSyncdRW Relax aclwdrw035 No ACLwSyncdRW Safe=Fre Wse SyncsWR SyncdWR Time aclwdrw035 83.24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw036.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw036 "Wse LwSyncdWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw036 Allowed Histogram (3 states) 54549826:>1:r1=0; y=1; 277848638:>1:r1=1; y=1; 307601536:>1:r1=0; y=2; No Witnesses Positive: 0, Negative: 640000000 Condition exists (y=2 /\ 1:r1=1) is NOT validated Hash=d83e1e04980efaa60ae453c941dc36e7 Cycle=Wse LwSyncdWW Rfe LwSyncdRW Relax aclwdrw036 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw036 76.19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw037.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw037 "Wse LwSyncdWW Rfe LwSyncdRW Wse LwSyncdWW Rfe LwSyncdRW" {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) | lwsync | stw r1,0(r2) | lwsync ; 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_: lwsync _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_: lwsync _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 aclwdrw037 Allowed Histogram (15 states) 650740:>1:r1=0; 3:r1=1; a=2; y=2; 923114:>1:r1=1; 3:r1=0; a=2; y=2; 794539:>1:r1=1; 3:r1=1; a=1; y=2; 807131:>1:r1=1; 3:r1=1; a=2; y=1; 16021430:>1:r1=1; 3:r1=0; a=1; y=2; 14760672:>1:r1=1; 3:r1=0; a=2; y=1; 14605211:>1:r1=0; 3:r1=1; a=2; y=1; 29269986:>1:r1=1; 3:r1=1; a=1; y=1; 61896531:>1:r1=0; 3:r1=0; a=2; y=2; 5279597:>1:r1=0; 3:r1=0; a=1; y=1; 42825600:>1:r1=0; 3:r1=0; a=1; y=2; 36364475:>1:r1=0; 3:r1=1; a=1; y=1; 38731447:>1:r1=1; 3:r1=0; a=1; y=1; 43877377:>1:r1=0; 3:r1=0; a=2; y=1; 13192150:>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=6d332d7a7edea3af57c7f76b071ccbc5 Cycle=Wse LwSyncdWW Rfe LwSyncdRW Wse LwSyncdWW Rfe LwSyncdRW Relax aclwdrw037 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw037 88.72 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw038.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw038 "Wse SyncdWW Rfe LwSyncdRW Wse LwSyncdWW Rfe LwSyncdRW" {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) | lwsync | stw r1,0(r2) | lwsync ; sync | 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_: lwsync _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_: lwsync _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 aclwdrw038 Allowed Histogram (15 states) 6983261:>1:r1=0; 3:r1=0; a=1; y=1; 712967:>1:r1=1; 3:r1=1; a=2; y=1; 395099:>1:r1=1; 3:r1=1; a=1; y=2; 595610:>1:r1=1; 3:r1=0; a=2; y=2; 12098169:>1:r1=1; 3:r1=0; a=2; y=1; 40416011:>1:r1=0; 3:r1=1; a=1; y=1; 13490754:>1:r1=0; 3:r1=1; a=1; y=2; 46682453:>1:r1=0; 3:r1=0; a=2; y=1; 48143740:>1:r1=0; 3:r1=0; a=1; y=2; 16002797:>1:r1=0; 3:r1=1; a=2; y=1; 36702035:>1:r1=1; 3:r1=0; a=1; y=1; 23527515:>1:r1=1; 3:r1=1; a=1; y=1; 63131291:>1:r1=0; 3:r1=0; a=2; y=2; 10406178:>1:r1=1; 3:r1=0; a=1; y=2; 712120:>1:r1=0; 3:r1=1; a=2; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (a=2 /\ y=2 /\ 1:r1=1 /\ 3:r1=1) is NOT validated Hash=c0e506a80bf571abaafd9a4bac7a239c Cycle=Wse SyncdWW Rfe LwSyncdRW Wse LwSyncdWW Rfe LwSyncdRW Relax aclwdrw038 No ACLwSyncdRW Safe=Wse SyncdWW LwSyncdWW Time aclwdrw038 87.58 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw039.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw039 "Wse LwSyncdWW Wse LwSyncdWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw039 Allowed Histogram (7 states) 6768022:>2:r1=0; x=1; z=1; 36095168:>2:r1=0; x=2; z=2; 18386145:>2:r1=1; x=2; z=1; 88882610:>2:r1=1; x=1; z=1; 112113247:>2:r1=0; x=2; z=1; 116461148:>2:r1=0; x=1; z=2; 21293660:>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=6e6fda29ac90e13ed0cf52691f2c351b Cycle=Wse LwSyncdWW Wse LwSyncdWW Rfe LwSyncdRW Relax aclwdrw039 No ACLwSyncdRW Safe=Wse LwSyncdWW Time aclwdrw039 74.15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw040.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw040 "Wse SyncdWW Wse LwSyncdWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw040 Allowed Histogram (7 states) 30824795:>2:r1=0; x=2; z=2; 22398383:>2:r1=1; x=1; z=2; 9741922:>2:r1=0; x=1; z=1; 13833935:>2:r1=1; x=2; z=1; 121427500:>2:r1=0; x=1; z=2; 95463086:>2:r1=1; x=1; z=1; 106310379:>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=fb872e5ca64543535f8e01f1cb5fd989 Cycle=Wse SyncdWW Wse LwSyncdWW Rfe LwSyncdRW Relax aclwdrw040 No ACLwSyncdRW Safe=Wse SyncdWW LwSyncdWW Time aclwdrw040 75.68 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw041.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw041 "Wse SyncdWR Fre LwSyncdWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw041 Allowed Histogram (7 states) 5224889:>0:r3=1; 2:r1=0; z=1; 20656773:>0:r3=0; 2:r1=1; z=1; 21560681:>0:r3=1; 2:r1=1; z=2; 46154066:>0:r3=0; 2:r1=0; z=2; 84603375:>0:r3=1; 2:r1=1; z=1; 115077000:>0:r3=0; 2:r1=0; z=1; 106723216:>0:r3=1; 2:r1=0; z=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (z=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=7b5e9fc6b93317e0753bcf2845386843 Cycle=Wse SyncdWR Fre LwSyncdWW Rfe LwSyncdRW Relax aclwdrw041 No ACLwSyncdRW Safe=Fre Wse SyncdWR LwSyncdWW Time aclwdrw041 77.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw042.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw042 "Wse SyncdWR Fre LwSyncsWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw042 Allowed Histogram (15 states) 12841 :>0:r3=1; 2:r1=1; x=2; y=2; 177291:>0:r3=1; 2:r1=0; x=2; y=1; 816950:>0:r3=1; 2:r1=2; x=2; y=1; 1076390:>0:r3=2; 2:r1=0; x=2; y=1; 423035:>0:r3=1; 2:r1=1; x=2; y=1; 2059230:>0:r3=2; 2:r1=1; x=2; y=1; 2309419:>0:r3=2; 2:r1=1; x=2; y=2; 6319412:>0:r3=1; 2:r1=0; x=2; y=2; 6602057:>0:r3=0; 2:r1=1; x=2; y=1; 78096272:>0:r3=0; 2:r1=0; x=2; y=1; 91343694:>0:r3=2; 2:r1=2; x=2; y=1; 48515162:>0:r3=0; 2:r1=0; x=2; y=2; 48745225:>0:r3=0; 2:r1=2; x=2; y=1; 39497682:>0:r3=2; 2:r1=2; x=2; y=2; 74005340:>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=5808cabdccfbc6b14dc10790a585dad0 Cycle=Wse SyncdWR Fre LwSyncsWW Rfe LwSyncdRW Relax aclwdrw042 No ACLwSyncdRW Safe=Fre Wse SyncdWR LwSyncsWW Time aclwdrw042 77.06 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw043.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw043 "Wse SyncdWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw043 Allowed Histogram (3 states) 117989926:>1:r1=0; y=1; 303983144:>1:r1=0; y=2; 218026930:>1:r1=1; y=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (y=2 /\ 1:r1=1) is NOT validated Hash=ffe04b3c4e6612edee72c6bb9c3fb156 Cycle=Wse SyncdWW Rfe LwSyncdRW Relax aclwdrw043 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw043 77.63 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw044.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw044 "Wse SyncdWW Rfe LwSyncdRW Wse SyncdWW Rfe LwSyncdRW" {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) | lwsync | stw r1,0(r2) | lwsync ; 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_: lwsync _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_: lwsync _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 aclwdrw044 Allowed Histogram (15 states) 456308:>1:r1=0; 3:r1=1; a=2; y=2; 288181:>1:r1=1; 3:r1=1; a=2; y=1; 679903:>1:r1=1; 3:r1=0; a=2; y=2; 372577:>1:r1=1; 3:r1=1; a=1; y=2; 9498167:>1:r1=0; 3:r1=1; a=2; y=1; 20568081:>1:r1=1; 3:r1=1; a=1; y=1; 7860778:>1:r1=0; 3:r1=0; a=1; y=1; 13073002:>1:r1=1; 3:r1=0; a=2; y=1; 49755052:>1:r1=0; 3:r1=0; a=1; y=2; 38830386:>1:r1=1; 3:r1=0; a=1; y=1; 52143672:>1:r1=0; 3:r1=0; a=2; y=1; 35865307:>1:r1=0; 3:r1=1; a=1; y=1; 11797773:>1:r1=1; 3:r1=0; a=1; y=2; 67370264:>1:r1=0; 3:r1=0; a=2; y=2; 11440549:>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=46673018951f7e1377dcf76ebeae4706 Cycle=Wse SyncdWW Rfe LwSyncdRW Wse SyncdWW Rfe LwSyncdRW Relax aclwdrw044 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw044 90.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw045.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw045 "Wse LwSyncdWW Wse SyncdWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw045 Allowed Histogram (7 states) 12977372:>2:r1=0; x=1; z=1; 13164682:>2:r1=1; x=1; z=2; 35935910:>2:r1=0; x=2; z=2; 118162463:>2:r1=0; x=2; z=1; 126877877:>2:r1=0; x=1; z=2; 79426498:>2:r1=1; x=1; z=1; 13455198:>2:r1=1; x=2; z=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ z=2 /\ 2:r1=1) is NOT validated Hash=3f663ac1c4b94b6a5e45bf77a3ff63d0 Cycle=Wse LwSyncdWW Wse SyncdWW Rfe LwSyncdRW Relax aclwdrw045 No ACLwSyncdRW Safe=Wse SyncdWW LwSyncdWW Time aclwdrw045 74.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw046.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw046 "Wse SyncdWW Wse SyncdWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw046 Allowed Histogram (7 states) 13827471:>2:r1=0; x=1; z=1; 31871631:>2:r1=0; x=2; z=2; 13840031:>2:r1=1; x=1; z=2; 110490280:>2:r1=0; x=2; z=1; 132929924:>2:r1=0; x=1; z=2; 86627038:>2:r1=1; x=1; z=1; 10413625:>2:r1=1; x=2; z=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ z=2 /\ 2:r1=1) is NOT validated Hash=bbe661cc5066ac87ab47909c6fbf5cbb Cycle=Wse SyncdWW Wse SyncdWW Rfe LwSyncdRW Relax aclwdrw046 No ACLwSyncdRW Safe=Wse SyncdWW Time aclwdrw046 73.50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw047.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw047 "Wse SyncdWR Fre SyncdWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw047 Allowed Histogram (7 states) 9154035:>0:r3=1; 2:r1=0; z=1; 13548362:>0:r3=1; 2:r1=1; z=2; 120794889:>0:r3=0; 2:r1=0; z=1; 47541684:>0:r3=0; 2:r1=0; z=2; 116492496:>0:r3=1; 2:r1=0; z=2; 77174308:>0:r3=1; 2:r1=1; z=1; 15294226:>0:r3=0; 2:r1=1; z=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (z=2 /\ 0:r3=0 /\ 2:r1=1) is NOT validated Hash=7b81b0240e95f780fa281b3aa9157d00 Cycle=Wse SyncdWR Fre SyncdWW Rfe LwSyncdRW Relax aclwdrw047 No ACLwSyncdRW Safe=Fre Wse SyncdWW SyncdWR Time aclwdrw047 73.93 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/aclwdrw048.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwdrw048 "Wse SyncdWR Fre SyncsWW Rfe LwSyncdRW" {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) | lwsync ; 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_: lwsync _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 aclwdrw048 Allowed Histogram (16 states) 2 :>0:r3=0; 2:r1=1; x=2; y=2; 467662:>0:r3=1; 2:r1=0; x=2; y=1; 176973:>0:r3=1; 2:r1=1; x=2; y=2; 407007:>0:r3=2; 2:r1=0; x=2; y=1; 3623188:>0:r3=1; 2:r1=2; x=2; y=1; 7554022:>0:r3=2; 2:r1=1; x=2; y=2; 2255884:>0:r3=1; 2:r1=1; x=2; y=1; 3804239:>0:r3=2; 2:r1=1; x=2; y=1; 18718602:>0:r3=1; 2:r1=0; x=2; y=2; 17549672:>0:r3=0; 2:r1=1; x=2; y=1; 78503058:>0:r3=0; 2:r1=0; x=2; y=1; 88897093:>0:r3=2; 2:r1=2; x=2; y=1; 61992649:>0:r3=2; 2:r1=0; x=2; y=2; 49112047:>0:r3=0; 2:r1=0; x=2; y=2; 36033036:>0:r3=0; 2:r1=2; x=2; y=1; 30904866:>0:r3=2; 2:r1=2; 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=0054fec62e8d0586e0c75109782d6f68 Cycle=Wse SyncdWR Fre SyncsWW Rfe LwSyncdRW Relax aclwdrw048 No ACLwSyncdRW Safe=Fre Wse SyncsWW SyncdWR Time aclwdrw048 73.24 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 2000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 20000 #endif #ifndef N_EXE #define N_EXE (32 < N ? 1 : 32 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: false */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS= Tue Dec 22 18:59:33 GMT 2009