Raw log

Wed Dec 30 17:37:53 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw000 "DpdR LwSyncsRW Rfe LwSyncsRW Rfe DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 1:r2=x; 1:r5=y; 2:r2=y; 3:r2=y; 3:r5=x;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; lwsync | xor r3,r1,r1 | lwsync | xor r3,r1,r1 ; li r3,2 | lwzx r4,r3,r5 | li r3,2 | lwzx r4,r3,r5 ; stw r3,0(r2) | lwsync | stw r3,0(r2) | lwsync ; | li r6,1 | | li r6,1 ; | stw r6,0(r5) | | stw r6,0(r5) ; exists (x=2 /\ y=2 /\ 0:r1=1 /\ 1:r1=2 /\ 1:r4=0 /\ 2:r1=1 /\ 3:r1=2 /\ 3:r4=0) Generated assembler _litmus_P3_0_: lwz 28,0(11) _litmus_P3_1_: xor 10,28,28 _litmus_P3_2_: lwzx 30,10,9 _litmus_P3_3_: lwsync _litmus_P3_4_: li 8,1 _litmus_P3_5_: stw 8,0(9) _litmus_P2_0_: lwz 5,0(9) _litmus_P2_1_: lwsync _litmus_P2_2_: li 11,2 _litmus_P2_3_: stw 11,0(9) _litmus_P1_0_: lwz 28,0(11) _litmus_P1_1_: xor 10,28,28 _litmus_P1_2_: lwzx 30,10,9 _litmus_P1_3_: lwsync _litmus_P1_4_: li 8,1 _litmus_P1_5_: stw 8,0(9) _litmus_P0_0_: lwz 5,0(9) _litmus_P0_1_: lwsync _litmus_P0_2_: li 11,2 _litmus_P0_3_: stw 11,0(9) Test bclwsrw000 Allowed Histogram (105 states) 1 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=2; 1 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=1; y=2; 1 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=0; x=2; y=2; 2 :>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=2; 2 :>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 8 :>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 9 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=0; x=1; y=2; 42 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=2; 45 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 144 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 253677:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=2; 266871:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 185803:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=1; y=2; 328972:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=0; x=2; y=2; 239607:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 254320:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 379440:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 343973:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=2; 171769:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=1; 335527:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=1; y=1; 350554:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 692988:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=0; x=2; y=2; 297490:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 212275:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=2; 791126:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=2; x=1; y=2; 311027:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 1392415:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=1; 777965:>0:r1=1; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 197688:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=1; 1476633:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=0; x=1; y=2; 1316611:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=2; 656116:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 450830:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 2568042:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=0; x=1; y=1; 368468:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 1691566:>0:r1=1; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 2772394:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 387347:>0:r1=1; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 3086840:>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 13271949:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=2; x=1; y=2; 1220551:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=1; 634401:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=2; 5459682:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=1; 423911:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 3356176:>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 253969:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 361766:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=1; y=2; 237205:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=2; 228348:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=2; 1303818:>0:r1=1; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 2314165:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 6779919:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 356210:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=2; 739038:>0:r1=1; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=1; 16898777:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 5249682:>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 6469349:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=1; y=2; 809074:>0:r1=1; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 275488:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=2; 1180944:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=2; x=1; y=2; 2729743:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 2618801:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 2458274:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 5359176:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 6285171:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=2; 406576:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 1749377:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 1755912:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=2; 6291112:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 8827888:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=1; 6837676:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 635979:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 789924:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=2; x=1; y=2; 1873264:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 5650084:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 2688721:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=2; 18505043:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 2224704:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 6875341:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 842621:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=2; 5626326:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 1376735:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 1509388:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=2; 5049854:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 281407:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=1; y=2; 7187204:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 4395920:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=0; x=1; y=2; 15750816:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=1; 2919774:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=0; x=2; y=2; 4139901:>0:r1=1; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 3227436:>0:r1=1; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 5815916:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 14378157:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=2; x=1; y=2; 15837571:>0:r1=1; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 8435668:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 567780:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 12233710:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 2378864:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 2334734:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 5108873:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=2; 2536204:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=0; x=2; y=2; 14586060:>0:r1=1; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 880051:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 4280420:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=2; x=1; y=2; 3372833:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=2; x=1; y=2; No Witnesses Positive: 0, Negative: 320000000 Condition exists (x=2 /\ y=2 /\ 0:r1=1 /\ 1:r1=2 /\ 1:r4=0 /\ 2:r1=1 /\ 3:r1=2 /\ 3:r4=0) is NOT validated Hash=2cd7bba2d47d08c57cdb5c01d1ab5803 Cycle=DpdR LwSyncsRW Rfe LwSyncsRW Rfe DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw000 No BCLwSyncsRW Safe=DpdR Time bclwsrw000 116.32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw001 "DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | lwsync | xor r3,r1,r1 ; lwzx r4,r3,r5 | li r3,2 | lwzx r4,r3,r5 ; lwsync | stw r3,0(r2) | lwsync ; li r6,1 | | li r6,1 ; stw r6,0(r5) | | stw r6,0(r5) ; exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 27,0(11) _litmus_P2_1_: xor 10,27,27 _litmus_P2_2_: lwzx 28,10,9 _litmus_P2_3_: lwsync _litmus_P2_4_: li 8,1 _litmus_P2_5_: stw 8,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: lwz 27,0(11) _litmus_P0_1_: xor 10,27,27 _litmus_P0_2_: lwzx 28,10,9 _litmus_P0_3_: lwsync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bclwsrw001 Allowed Histogram (19 states) 2 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 10 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 2585188:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r4=0; y=2; 9443742:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 7658735:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 11192959:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 4629028:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 26236701:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 69643364:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 17949831:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 6449245:>0:r1=1; 0:r4=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 12202134:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 9828918:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 13061858:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 39499432:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r4=0; y=2; 56376282:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 41423151:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 25492551:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=2; 2:r4=0; y=2; 46326869:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=1; 2:r4=0; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) is NOT validated Hash=2f27c228a337798a8409128f0e839ede Cycle=DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw001 No BCLwSyncsRW Safe=DpdR Time bclwsrw001 68.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw002 "SyncsRR DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 2:r2=y; 2:r6=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | lwsync | sync ; lwzx r4,r3,r5 | li r3,2 | lwz r3,0(r2) ; lwsync | stw r3,0(r2) | xor r4,r3,r3 ; li r6,1 | | lwzx r5,r4,r6 ; stw r6,0(r5) | | lwsync ; | | li r7,1 ; | | stw r7,0(r6) ; exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=2 /\ 2:r5=0) Generated assembler _litmus_P2_0_: lwz 25,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 26,0(11) _litmus_P2_3_: xor 8,26,26 _litmus_P2_4_: lwzx 10,8,9 _litmus_P2_5_: lwsync _litmus_P2_6_: li 7,1 _litmus_P2_7_: stw 7,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: lwz 27,0(11) _litmus_P0_1_: xor 10,27,27 _litmus_P0_2_: lwzx 28,10,9 _litmus_P0_3_: lwsync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bclwsrw002 Allowed Histogram (31 states) 2 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 372450:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=2; 2:r5=0; y=2; 984877:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 1158936:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=2; 2100882:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=2; 2:r5=0; y=2; 5471456:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=1; 2:r5=0; y=1; 2105136:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=1; 10889263:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=1; 2:r5=0; y=2; 323407:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=1; 2:r5=0; y=1; 1461994:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=1; 3983343:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r3=2; 2:r5=0; y=2; 3660845:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=2; 4647927:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 1260395:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 13052000:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 2599715:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=2; 44894930:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=1; 4591203:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 25932990:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 11566682:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 28648359:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 6927166:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 6155819:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 9323961:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 54656134:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 29672092:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 22908912:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 32434065:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r3=1; 2:r5=0; y=2; 2373069:>0:r1=1; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 8114653:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=1; 57727337:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=2 /\ 2:r5=0) is NOT validated Hash=425f7ff81484948d2280c1ec43353c48 Cycle=SyncsRR DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw002 No BCLwSyncsRW Safe=SyncsRR DpdR Time bclwsrw002 73.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw003 "LwSyncsRR DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 2:r2=y; 2:r6=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | lwsync | lwsync ; lwzx r4,r3,r5 | li r3,2 | lwz r3,0(r2) ; lwsync | stw r3,0(r2) | xor r4,r3,r3 ; li r6,1 | | lwzx r5,r4,r6 ; stw r6,0(r5) | | lwsync ; | | li r7,1 ; | | stw r7,0(r6) ; exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=2 /\ 2:r5=0) Generated assembler _litmus_P2_0_: lwz 25,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 26,0(11) _litmus_P2_3_: xor 8,26,26 _litmus_P2_4_: lwzx 10,8,9 _litmus_P2_5_: lwsync _litmus_P2_6_: li 7,1 _litmus_P2_7_: stw 7,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: lwz 27,0(11) _litmus_P0_1_: xor 10,27,27 _litmus_P0_2_: lwzx 28,10,9 _litmus_P0_3_: lwsync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bclwsrw003 Allowed Histogram (32 states) 2 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 4 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 14248 :>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=1; 2:r5=0; y=1; 679462:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=1; 2280108:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r3=2; 2:r5=0; y=2; 64701 :>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=2; 2:r5=0; y=2; 1361603:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=2; 2:r5=0; y=2; 11570447:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 6809253:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 610119:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 44817196:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=1; 22491759:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 3413287:>0:r1=1; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 1869126:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=1; 7727531:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=1; 9243836:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 33712099:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 1634837:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=2; 7336725:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=1; 2:r5=0; y=2; 3042604:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=1; 2:r5=0; y=1; 622180:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=2; 545732:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 2641647:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=2; 23602234:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 4185445:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 28512884:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 3184721:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 6641202:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 59659245:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 60764421:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 37551962:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r3=1; 2:r5=0; y=2; 13409380:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=2 /\ 2:r5=0) is NOT validated Hash=0aed6f5e4734fb8fd04865e50a598856 Cycle=LwSyncsRR DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw003 No BCLwSyncsRW Safe=LwSyncsRR DpdR Time bclwsrw003 72.09 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw004 "DpdW Wse SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | xor r3,r1,r1 ; sync | li r3,2 | li r4,1 ; lwz r3,0(r2) | stw r3,0(r2) | stwx r4,r3,r5 ; xor r4,r3,r3 | | ; lwzx r5,r4,r6 | | ; lwsync | | ; li r7,1 | | ; stw r7,0(r6) | | ; exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: xor 30,28,28 _litmus_P2_2_: li 10,1 _litmus_P2_3_: stwx 10,30,9 _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 26,0(11) _litmus_P0_4_: xor 8,26,26 _litmus_P0_5_: lwzx 27,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw004 Allowed Histogram (26 states) 4 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=2; 13 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=1; 3163 :>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=2; y=2; 3263 :>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=2; y=1; 889653:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 2044311:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 551444:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 8752218:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=1; 6492220:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=1; 5400851:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=2; y=2; 1891034:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 11669648:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=2; 1030881:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 19771852:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=2; 13323118:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 4927625:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=2; 1088219:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 10957456:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 15697452:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=2; x=1; y=2; 38464193:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=2; y=1; 33559739:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=1; x=1; y=1; 31615940:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=1; x=1; y=2; 97171388:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=2; y=1; 50283200:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 17390508:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 27020607:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) is NOT validated Hash=09fcfa7799cf0e228eb4f62e08bff0c4 Cycle=DpdW Wse SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw004 No BCLwSyncsRW Safe=Wse SyncsWR DpdW DpdR Time bclwsrw004 74.10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw005 "SyncdRW Wse SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | sync ; sync | li r3,2 | li r3,1 ; lwz r3,0(r2) | stw r3,0(r2) | stw r3,0(r4) ; xor r4,r3,r3 | | ; lwzx r5,r4,r6 | | ; lwsync | | ; li r7,1 | | ; stw r7,0(r6) | | ; exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 30,1 _litmus_P2_3_: stw 30,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 26,0(11) _litmus_P0_4_: xor 8,26,26 _litmus_P0_5_: lwzx 27,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw005 Allowed Histogram (23 states) 4 :>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=2; y=1; 1330248:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 914845:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 879788:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 3543040:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=2; 1587722:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 4489389:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=2; y=2; 6133110:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=1; 4017173:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=1; 767773:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 13896505:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 13987313:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=2; 10771326:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=2; 21092584:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 20060718:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=1; 55530150:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 4522949:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 18369767:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=2; x=1; y=2; 32502671:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 29956214:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=2; y=1; 95172333:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=2; y=1; 32006267:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=1; x=1; y=1; 28468111:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=1; x=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) is NOT validated Hash=f7e3765a1295f9e21cc78bf562fdd37e Cycle=SyncdRW Wse SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw005 No BCLwSyncsRW Safe=Wse SyncsWR SyncdRW DpdR Time bclwsrw005 69.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw006 "LwSyncdRW Wse SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r4=x;} P0 | P1 | P2 ; li r1,2 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | lwsync ; sync | li r3,2 | li r3,1 ; lwz r3,0(r2) | stw r3,0(r2) | stw r3,0(r4) ; xor r4,r3,r3 | | ; lwzx r5,r4,r6 | | ; lwsync | | ; li r7,1 | | ; stw r7,0(r6) | | ; exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: li 30,1 _litmus_P2_3_: stw 30,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 26,0(11) _litmus_P0_4_: xor 8,26,26 _litmus_P0_5_: lwzx 27,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw006 Allowed Histogram (25 states) 1 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=1; 5 :>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=2; y=2; 2 :>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=2; y=1; 1231291:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 728219:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 499862:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 1118468:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 852803:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 29282958:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 32368998:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=1; x=1; y=1; 18594885:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 11575140:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 27838204:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=1; x=1; y=2; 3258750:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 20852845:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=2; x=1; y=2; 6171354:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=1; 24157830:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=1; 50800508:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 4401458:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=2; y=2; 4146037:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=1; 31662757:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=2; y=1; 13972188:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=2; 13426232:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=2; 3778719:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=2; 99280486:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=2; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) is NOT validated Hash=354ee334787e30f2c0e6c3aa84959816 Cycle=LwSyncdRW Wse SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw006 No BCLwSyncsRW Safe=Wse SyncsWR LwSyncdRW DpdR Time bclwsrw006 70.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw007 "DpdR Fre SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | xor r3,r1,r1 ; sync | li r3,2 | lwzx r4,r3,r5 ; lwz r3,0(r2) | stw r3,0(r2) | ; xor r4,r3,r3 | | ; lwzx r5,r4,r6 | | ; lwsync | | ; li r7,1 | | ; stw r7,0(r6) | | ; exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: xor 10,28,28 _litmus_P2_2_: lwzx 30,10,9 _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 26,0(11) _litmus_P0_4_: xor 8,26,26 _litmus_P0_5_: lwzx 27,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw007 Allowed Histogram (19 states) 4218 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 3370 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 4946097:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=1; y=2; 2015292:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=1; y=1; 13790970:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=1; y=1; 32817754:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=1; 2:r4=1; y=1; 12349364:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=1; y=2; 19490310:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=1; y=2; 6704988:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=1; y=1; 12031610:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 9613292:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=1; y=1; 29860283:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=1; 2:r4=1; y=2; 97779861:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 28036838:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 14985136:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=2; 2:r4=1; y=2; 40996365:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 6568216:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 19663875:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=1; y=2; 48342161:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=1; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) is NOT validated Hash=d3ebd0130f5f22c064cad06ccbecce5e Cycle=DpdR Fre SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw007 No BCLwSyncsRW Safe=Fre SyncsWR DpdR Time bclwsrw007 67.31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw008 "SyncdRR Fre SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | sync ; sync | li r3,2 | lwz r3,0(r4) ; lwz r3,0(r2) | stw r3,0(r2) | ; xor r4,r3,r3 | | ; lwzx r5,r4,r6 | | ; lwsync | | ; li r7,1 | | ; stw r7,0(r6) | | ; exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: sync _litmus_P2_2_: lwz 30,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 26,0(11) _litmus_P0_4_: xor 8,26,26 _litmus_P0_5_: lwzx 27,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw008 Allowed Histogram (19 states) 2 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=0; y=2; 31 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=0; y=1; 4912398:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r3=0; y=2; 3957376:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r3=1; y=1; 16583111:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=1; y=2; 13221994:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=1; y=1; 31501850:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=1; 2:r3=1; y=1; 25445917:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=1; 2:r3=1; y=2; 11463793:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=0; y=2; 8953806:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r3=1; y=1; 4656500:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r3=1; y=2; 14864856:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=2; 2:r3=1; y=2; 100631156:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r3=0; y=1; 18790194:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=1; y=2; 48485572:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r3=1; y=1; 5906265:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=1; y=1; 37613347:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r3=0; y=1; 28072455:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=0; y=1; 24939377:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r3=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=0) is NOT validated Hash=9567e26c5742196dbcac25b4fb763766 Cycle=SyncdRR Fre SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw008 No BCLwSyncsRW Safe=Fre SyncsWR SyncdRR DpdR Time bclwsrw008 68.53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw009 "LwSyncdRR Fre SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r4=x;} P0 | P1 | P2 ; li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ; stw r1,0(r2) | lwsync | lwsync ; sync | li r3,2 | lwz r3,0(r4) ; lwz r3,0(r2) | stw r3,0(r2) | ; xor r4,r3,r3 | | ; lwzx r5,r4,r6 | | ; lwsync | | ; li r7,1 | | ; stw r7,0(r6) | | ; exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=0) Generated assembler _litmus_P2_0_: lwz 28,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 30,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 26,0(11) _litmus_P0_4_: xor 8,26,26 _litmus_P0_5_: lwzx 27,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw009 Allowed Histogram (19 states) 1793 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=0; y=2; 1184 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=0; y=1; 16078400:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=1; y=2; 3331464:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r3=1; y=1; 46195615:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r3=1; y=1; 13109109:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=1; y=1; 31512067:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=1; 2:r3=1; y=1; 9353763:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r3=1; y=1; 6068426:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=1; y=1; 24476939:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r3=1; y=2; 15663611:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=2; 2:r3=1; y=2; 4787707:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r3=1; y=2; 29499308:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=0; y=1; 24447381:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=1; 2:r3=1; y=2; 38207836:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r3=0; y=1; 4379607:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r3=0; y=2; 101817367:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r3=0; y=1; 12061056:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=0; y=2; 19007367:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=1; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=0) is NOT validated Hash=bb9b9e63b559c6e43dcf679ffa8398cb Cycle=LwSyncdRR Fre SyncsWR DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw009 No BCLwSyncsRW Safe=Fre SyncsWR LwSyncdRR DpdR Time bclwsrw009 69.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw010 "DpdR LwSyncsRW Rfe SyncsRR DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; sync | lwsync | xor r3,r1,r1 ; lwz r3,0(r2) | li r3,2 | lwzx r4,r3,r5 ; xor r4,r3,r3 | stw r3,0(r2) | lwsync ; lwzx r5,r4,r6 | | li r6,1 ; lwsync | | stw r6,0(r5) ; li r7,1 | | ; stw r7,0(r6) | | ; exists (y=2 /\ 0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 27,0(11) _litmus_P2_1_: xor 10,27,27 _litmus_P2_2_: lwzx 28,10,9 _litmus_P2_3_: lwsync _litmus_P2_4_: li 8,1 _litmus_P2_5_: stw 8,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: lwz 25,0(11) _litmus_P0_1_: sync _litmus_P0_2_: lwz 26,0(11) _litmus_P0_3_: xor 8,26,26 _litmus_P0_4_: lwzx 10,8,9 _litmus_P0_5_: lwsync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bclwsrw010 Allowed Histogram (23 states) 2 :>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 7331027:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 3225427:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=0; y=2; 2519130:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 5065634:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 11506236:>0:r1=0; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 9607228:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 10424734:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 4746430:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 3060567:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 30792782:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 18524209:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 4265493:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 48911267:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 6306034:>0:r1=1; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 6470017:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 38600969:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 19892553:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=2; 2:r4=0; y=2; 56491090:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 12224709:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 3483210:>0:r1=0; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 68533607:>0:r1=1; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 28017645:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=1; 2:r4=0; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) is NOT validated Hash=093579cdc7d8f214af6101115f0d8b4c Cycle=DpdR LwSyncsRW Rfe SyncsRR DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw010 No BCLwSyncsRW Safe=SyncsRR DpdR Time bclwsrw010 69.01 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw011 "DpdR LwSyncsRW Rfe LwSyncsRR DpdR LwSyncsRW Rfe LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r5=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; lwsync | lwsync | xor r3,r1,r1 ; lwz r3,0(r2) | li r3,2 | lwzx r4,r3,r5 ; xor r4,r3,r3 | stw r3,0(r2) | lwsync ; lwzx r5,r4,r6 | | li r6,1 ; lwsync | | stw r6,0(r5) ; li r7,1 | | ; stw r7,0(r6) | | ; exists (y=2 /\ 0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 27,0(11) _litmus_P2_1_: xor 10,27,27 _litmus_P2_2_: lwzx 28,10,9 _litmus_P2_3_: lwsync _litmus_P2_4_: li 8,1 _litmus_P2_5_: stw 8,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: lwsync _litmus_P1_2_: li 11,2 _litmus_P1_3_: stw 11,0(9) _litmus_P0_0_: lwz 25,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: lwz 26,0(11) _litmus_P0_3_: xor 8,26,26 _litmus_P0_4_: lwzx 10,8,9 _litmus_P0_5_: lwsync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bclwsrw011 Allowed Histogram (24 states) 1 :>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 5 :>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 1468719:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 1465276:>0:r1=0; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 4624187:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 6970939:>0:r1=1; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 7081363:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 1572418:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 2876255:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=0; y=2; 13096088:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 6054027:>0:r1=0; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 1860844:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 68844545:>0:r1=1; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 19573839:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 6607859:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 40637728:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 30267366:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 47982235:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 9662734:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 21580434:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=2; 2:r4=0; y=2; 10983982:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 58986916:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 3653148:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 34149092:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=1; 2:r4=0; y=2; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) is NOT validated Hash=4be537dfd1e39a4c98845248feca8b29 Cycle=DpdR LwSyncsRW Rfe LwSyncsRR DpdR LwSyncsRW Rfe LwSyncsRW Rfe Relax bclwsrw011 No BCLwSyncsRW Safe=LwSyncsRR DpdR Time bclwsrw011 68.88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw012 "DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 1:r5=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | xor r3,r1,r1 ; lwzx r4,r3,r5 | lwzx r4,r3,r5 ; lwsync | lwsync ; li r6,1 | li r6,1 ; stw r6,0(r5) | stw r6,0(r5) ; exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r4=0) Generated assembler _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: xor 10,30,30 _litmus_P1_2_: lwzx 31,10,9 _litmus_P1_3_: lwsync _litmus_P1_4_: li 8,1 _litmus_P1_5_: stw 8,0(9) _litmus_P0_0_: lwz 30,0(11) _litmus_P0_1_: xor 10,30,30 _litmus_P0_2_: lwzx 31,10,9 _litmus_P0_3_: lwsync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bclwsrw012 Allowed Histogram (3 states) 229978484:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 213709563:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 196311953:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=138606a77ccb32f9d127a952601f26cc Cycle=DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe Relax bclwsrw012 No BCLwSyncsRW Safe=DpdR Time bclwsrw012 73.10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw013 "DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | xor r3,r1,r1 | xor r3,r1,r1 ; lwzx r4,r3,r5 | lwzx r4,r3,r5 | lwzx r4,r3,r5 ; lwsync | lwsync | lwsync ; li r6,1 | li r6,1 | li r6,1 ; stw r6,0(r5) | stw r6,0(r5) | stw r6,0(r5) ; exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r4=0 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 31,10,9 _litmus_P2_3_: lwsync _litmus_P2_4_: li 8,1 _litmus_P2_5_: stw 8,0(9) _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: xor 10,30,30 _litmus_P1_2_: lwzx 31,10,9 _litmus_P1_3_: lwsync _litmus_P1_4_: li 8,1 _litmus_P1_5_: stw 8,0(9) _litmus_P0_0_: lwz 30,0(11) _litmus_P0_1_: xor 10,30,30 _litmus_P0_2_: lwzx 31,10,9 _litmus_P0_3_: lwsync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bclwsrw013 Allowed Histogram (7 states) 84293867:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; 4593646:>0:r1=1; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; 6877036:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=0; 5686778:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=1; 2:r4=0; 91281691:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; 104664859:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=0; 102602123:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r4=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=c2348c97f33f2ba898984873da5d4807 Cycle=DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe Relax bclwsrw013 No BCLwSyncsRW Safe=DpdR Time bclwsrw013 78.92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw014 "DpsR LwSyncsRW Rfe DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe" {0:r2=y; 0:r5=x; 1:r2=x; 1:r5=y; 2:r2=y;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | xor r3,r1,r1 | xor r3,r1,r1 ; lwzx r4,r3,r5 | lwzx r4,r3,r5 | lwzx r4,r3,r2 ; lwsync | lwsync | lwsync ; li r6,1 | li r6,1 | li r5,2 ; stw r6,0(r5) | stw r6,0(r5) | stw r5,0(r2) ; exists (y=2 /\ 0:r1=2 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r4=0 /\ 2:r1=1 /\ 2:r4=1) Generated assembler _litmus_P2_0_: lwz 30,0(9) _litmus_P2_1_: xor 10,30,30 _litmus_P2_2_: lwzx 11,10,9 _litmus_P2_3_: lwsync _litmus_P2_4_: li 8,2 _litmus_P2_5_: stw 8,0(9) _litmus_P1_0_: lwz 27,0(11) _litmus_P1_1_: xor 10,27,27 _litmus_P1_2_: lwzx 28,10,9 _litmus_P1_3_: lwsync _litmus_P1_4_: li 8,1 _litmus_P1_5_: stw 8,0(9) _litmus_P0_0_: lwz 27,0(11) _litmus_P0_1_: xor 10,27,27 _litmus_P0_2_: lwzx 28,10,9 _litmus_P0_3_: lwsync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bclwsrw014 Allowed Histogram (22 states) 6 :>0:r1=2; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 1515505:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=1; y=2; 8211517:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 1553115:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=1; y=2; 315427:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=1; y=2; 20443417:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=1; y=2; 5730414:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=1; 2:r4=1; y=2; 18751323:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 319062:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=1; y=2; 8916314:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 44662942:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 10390691:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 38038501:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=1; y=2; 2743784:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 25029572:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 18457647:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 9415737:>0:r1=2; 0:r4=0; 1:r1=1; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 10614397:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 57735792:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 71293025:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 41149715:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=1; y=2; 4712097:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (y=2 /\ 0:r1=2 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r4=0 /\ 2:r1=1 /\ 2:r4=1) is NOT validated Hash=f2c235590f3eee5e0325effcdbb3b7a4 Cycle=DpsR LwSyncsRW Rfe DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe Relax bclwsrw014 No BCLwSyncsRW Safe=DpsR DpdR Time bclwsrw014 66.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw015 "SyncsRR DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 1:r6=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | sync ; lwzx r4,r3,r5 | lwz r3,0(r2) ; lwsync | xor r4,r3,r3 ; li r6,1 | lwzx r5,r4,r6 ; stw r6,0(r5) | lwsync ; | li r7,1 ; | stw r7,0(r6) ; exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) Generated assembler _litmus_P1_0_: lwz 27,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 30,0(11) _litmus_P1_3_: xor 8,30,30 _litmus_P1_4_: lwzx 10,8,9 _litmus_P1_5_: lwsync _litmus_P1_6_: li 7,1 _litmus_P1_7_: stw 7,0(9) _litmus_P0_0_: lwz 30,0(11) _litmus_P0_1_: xor 10,30,30 _litmus_P0_2_: lwzx 31,10,9 _litmus_P0_3_: lwsync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bclwsrw015 Allowed Histogram (4 states) 191133744:>0:r1=0; 0:r4=0; 1:r1=0; 1:r3=0; 1:r5=0; 59514342:>0:r1=0; 0:r4=0; 1:r1=0; 1:r3=1; 1:r5=0; 172280355:>0:r1=1; 0:r4=0; 1:r1=0; 1:r3=0; 1:r5=0; 217071559:>0:r1=0; 0:r4=0; 1:r1=1; 1:r3=1; 1:r5=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=7fd3dfd255f25b83fe014eed6c45b685 Cycle=SyncsRR DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe Relax bclwsrw015 No BCLwSyncsRW Safe=SyncsRR DpdR Time bclwsrw015 73.22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw016 "LwSyncsRR DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 1:r6=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | lwsync ; lwzx r4,r3,r5 | lwz r3,0(r2) ; lwsync | xor r4,r3,r3 ; li r6,1 | lwzx r5,r4,r6 ; stw r6,0(r5) | lwsync ; | li r7,1 ; | stw r7,0(r6) ; exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) Generated assembler _litmus_P1_0_: lwz 27,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 30,0(11) _litmus_P1_3_: xor 8,30,30 _litmus_P1_4_: lwzx 10,8,9 _litmus_P1_5_: lwsync _litmus_P1_6_: li 7,1 _litmus_P1_7_: stw 7,0(9) _litmus_P0_0_: lwz 30,0(11) _litmus_P0_1_: xor 10,30,30 _litmus_P0_2_: lwzx 31,10,9 _litmus_P0_3_: lwsync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bclwsrw016 Allowed Histogram (4 states) 27349462:>0:r1=0; 0:r4=0; 1:r1=0; 1:r3=1; 1:r5=0; 216686166:>0:r1=0; 0:r4=0; 1:r1=1; 1:r3=1; 1:r5=0; 198467157:>0:r1=0; 0:r4=0; 1:r1=0; 1:r3=0; 1:r5=0; 197497215:>0:r1=1; 0:r4=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=898c0b81592367ec9511da918b08041e Cycle=LwSyncsRR DpdR LwSyncsRW Rfe DpdR LwSyncsRW Rfe Relax bclwsrw016 No BCLwSyncsRW Safe=LwSyncsRR DpdR Time bclwsrw016 72.85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw017 "DpdW Wse SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | li r4,1 ; lwz r3,0(r2) | stwx r4,r3,r5 ; xor r4,r3,r3 | ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 30,3,3 _litmus_P1_2_: li 10,1 _litmus_P1_3_: stwx 10,30,9 _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 27,0(11) _litmus_P0_4_: xor 8,27,27 _litmus_P0_5_: lwzx 28,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw017 Allowed Histogram (4 states) 15870632:>0:r3=1; 0:r5=0; 1:r1=0; x=1; 134656565:>0:r3=2; 0:r5=0; 1:r1=0; x=1; 304777446:>0:r3=2; 0:r5=0; 1:r1=0; x=2; 184695357:>0:r3=2; 0:r5=0; 1:r1=1; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) is NOT validated Hash=20086dd564a511b714a1da610330fdea Cycle=DpdW Wse SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw017 No BCLwSyncsRW Safe=Wse SyncsWR DpdW DpdR Time bclwsrw017 64.82 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw018 "SyncdRW Wse SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; sync | li r3,1 ; lwz r3,0(r2) | stw r3,0(r4) ; xor r4,r3,r3 | ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 27,0(11) _litmus_P0_4_: xor 8,27,27 _litmus_P0_5_: lwzx 28,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw018 Allowed Histogram (4 states) 12430264:>0:r3=1; 0:r5=0; 1:r1=0; x=1; 151513097:>0:r3=2; 0:r5=0; 1:r1=1; x=1; 271923955:>0:r3=2; 0:r5=0; 1:r1=0; x=2; 204132684:>0:r3=2; 0:r5=0; 1:r1=0; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) is NOT validated Hash=f68fe5834d4a291ee56368caf658541c Cycle=SyncdRW Wse SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw018 No BCLwSyncsRW Safe=Wse SyncsWR SyncdRW DpdR Time bclwsrw018 62.54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw019.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw019 "DpdR SyncsRW Wse SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | sync ; xor r4,r3,r3 | li r6,1 ; lwzx r5,r4,r6 | stw r6,0(r5) ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) Generated assembler _litmus_P1_0_: lwz 28,0(11) _litmus_P1_1_: xor 10,28,28 _litmus_P1_2_: lwzx 30,10,9 _litmus_P1_3_: sync _litmus_P1_4_: li 8,1 _litmus_P1_5_: stw 8,0(9) _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 27,0(11) _litmus_P0_4_: xor 8,27,27 _litmus_P0_5_: lwzx 28,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw019 Allowed Histogram (6 states) 2422596:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=2; x=1; 9499350:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; x=1; 8913263:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=0; x=1; 175739275:>0:r3=2; 0:r5=0; 1:r1=1; 1:r4=2; x=1; 300586201:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=0; x=2; 142839315:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=2; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=b29e6d271ad79fd47834aeea490fe672 Cycle=DpdR SyncsRW Wse SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw019 No BCLwSyncsRW Safe=Wse SyncsWR SyncsRW DpdR Time bclwsrw019 64.24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw020.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw020 "LwSyncdRW Wse SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync ; sync | li r3,1 ; lwz r3,0(r2) | stw r3,0(r4) ; xor r4,r3,r3 | ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) Generated assembler _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 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 27,0(11) _litmus_P0_4_: xor 8,27,27 _litmus_P0_5_: lwzx 28,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw020 Allowed Histogram (4 states) 12424191:>0:r3=1; 0:r5=0; 1:r1=0; x=1; 148355610:>0:r3=2; 0:r5=0; 1:r1=1; x=1; 284993196:>0:r3=2; 0:r5=0; 1:r1=0; x=2; 194227003:>0:r3=2; 0:r5=0; 1:r1=0; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) is NOT validated Hash=2af7591a084823d06f5daf38cddf2810 Cycle=LwSyncdRW Wse SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw020 No BCLwSyncsRW Safe=Wse SyncsWR LwSyncdRW DpdR Time bclwsrw020 65.15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw021 "DpdR LwSyncsRW Wse SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,2 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | lwsync ; xor r4,r3,r3 | li r6,1 ; lwzx r5,r4,r6 | stw r6,0(r5) ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) Generated assembler _litmus_P1_0_: lwz 28,0(11) _litmus_P1_1_: xor 10,28,28 _litmus_P1_2_: lwzx 30,10,9 _litmus_P1_3_: lwsync _litmus_P1_4_: li 8,1 _litmus_P1_5_: stw 8,0(9) _litmus_P0_0_: li 10,2 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 27,0(11) _litmus_P0_4_: xor 8,27,27 _litmus_P0_5_: lwzx 28,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw021 Allowed Histogram (6 states) 172851494:>0:r3=2; 0:r5=0; 1:r1=1; 1:r4=2; x=1; 2206098:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; x=1; 4822319:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=2; x=1; 4510311:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=0; x=1; 311995901:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=0; x=2; 143613877:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=2; x=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=142234d1ba15bd10e18be7f09f8f1444 Cycle=DpdR LwSyncsRW Wse SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw021 No BCLwSyncsRW Safe=Wse SyncsWR LwSyncsRW DpdR Time bclwsrw021 65.76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw022.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw022 "DpdR Fre SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | ; xor r4,r3,r3 | ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) Generated assembler _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: xor 10,3,3 _litmus_P1_2_: lwzx 31,10,9 _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(11) _litmus_P0_4_: xor 8,30,30 _litmus_P0_5_: lwzx 31,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw022 Allowed Histogram (3 states) 212720324:>0:r3=1; 0:r5=0; 1:r1=1; 1:r4=1; 319984098:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 107295578:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=935c81207cb119f597f888551d4ae64c Cycle=DpdR Fre SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw022 No BCLwSyncsRW Safe=Fre SyncsWR DpdR Time bclwsrw022 72.67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw023 "SyncsRR DpdR Fre SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r6=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; sync | lwz r3,0(r2) ; lwz r3,0(r2) | xor r4,r3,r3 ; xor r4,r3,r3 | lwzx r5,r4,r6 ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) Generated assembler _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 31,0(11) _litmus_P1_3_: xor 8,31,31 _litmus_P1_4_: lwzx 10,8,9 _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(11) _litmus_P0_4_: xor 8,30,30 _litmus_P0_5_: lwzx 31,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw023 Allowed Histogram (4 states) 76997886:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=1; 180990703:>0:r3=1; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=1; 306331856:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 75679555:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=fbca6700101a4e61c40ebe4e8f0b6024 Cycle=SyncsRR DpdR Fre SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw023 No BCLwSyncsRW Safe=Fre SyncsWR SyncsRR DpdR Time bclwsrw023 71.93 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw024 "LwSyncsRR DpdR Fre SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r6=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync ; sync | lwz r3,0(r2) ; lwz r3,0(r2) | xor r4,r3,r3 ; xor r4,r3,r3 | lwzx r5,r4,r6 ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) Generated assembler _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 31,0(11) _litmus_P1_3_: xor 8,31,31 _litmus_P1_4_: lwzx 10,8,9 _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(11) _litmus_P0_4_: xor 8,30,30 _litmus_P0_5_: lwzx 31,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw024 Allowed Histogram (4 states) 30480516:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=1; 180221089:>0:r3=1; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=1; 317175523:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 112122872:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=07a402855c0d8e1458af975e691f32b1 Cycle=LwSyncsRR DpdR Fre SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw024 No BCLwSyncsRW Safe=Fre SyncsWR LwSyncsRR DpdR Time bclwsrw024 74.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw025 "SyncdRR Fre SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | sync ; sync | lwz r3,0(r4) ; lwz r3,0(r2) | ; xor r4,r3,r3 | ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=0) Generated assembler _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 4,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(11) _litmus_P0_4_: xor 8,30,30 _litmus_P0_5_: lwzx 31,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw025 Allowed Histogram (3 states) 175370590:>0:r3=1; 0:r5=0; 1:r1=1; 1:r3=1; 309577145:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 155052265:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=0) is NOT validated Hash=ddd0348fd97714270e542c995072c3a8 Cycle=SyncdRR Fre SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw025 No BCLwSyncsRW Safe=Fre SyncsWR SyncdRR DpdR Time bclwsrw025 71.95 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw026 "DpdR SyncsRR Fre SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | sync ; xor r4,r3,r3 | lwz r6,0(r5) ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0 /\ 1:r6=0) Generated assembler _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: xor 8,30,30 _litmus_P1_2_: lwzx 31,8,9 _litmus_P1_3_: sync _litmus_P1_4_: lwz 10,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(11) _litmus_P0_4_: xor 8,30,30 _litmus_P0_5_: lwzx 31,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw026 Allowed Histogram (4 states) 12152832:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 1:r6=1; 176401126:>0:r3=1; 0:r5=0; 1:r1=1; 1:r4=1; 1:r6=1; 307204190:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 1:r6=0; 144241852:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=1; 1:r6=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0 /\ 1:r6=0) is NOT validated Hash=017873a2b19800dddfae60695ee89d93 Cycle=DpdR SyncsRR Fre SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw026 No BCLwSyncsRW Safe=Fre SyncsWR SyncsRR DpdR Time bclwsrw026 72.65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw027 "LwSyncdRR Fre SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r4=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | lwsync ; sync | lwz r3,0(r4) ; lwz r3,0(r2) | ; xor r4,r3,r3 | ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=0) Generated assembler _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 4,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(11) _litmus_P0_4_: xor 8,30,30 _litmus_P0_5_: lwzx 31,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw027 Allowed Histogram (3 states) 171965260:>0:r3=1; 0:r5=0; 1:r1=1; 1:r3=1; 319038561:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 148996179:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=0) is NOT validated Hash=830ed120688dff2053cc7dba6535b84c Cycle=LwSyncdRR Fre SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw027 No BCLwSyncsRW Safe=Fre SyncsWR LwSyncdRR DpdR Time bclwsrw027 73.98 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw028 "DpdR LwSyncsRR Fre SyncsWR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r5=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 ; lwz r3,0(r2) | lwsync ; xor r4,r3,r3 | lwz r6,0(r5) ; lwzx r5,r4,r6 | ; lwsync | ; li r7,1 | ; stw r7,0(r6) | ; exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0 /\ 1:r6=0) Generated assembler _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: xor 8,30,30 _litmus_P1_2_: lwzx 31,8,9 _litmus_P1_3_: lwsync _litmus_P1_4_: lwz 10,0(9) _litmus_P0_0_: li 10,1 _litmus_P0_1_: stw 10,0(11) _litmus_P0_2_: sync _litmus_P0_3_: lwz 30,0(11) _litmus_P0_4_: xor 8,30,30 _litmus_P0_5_: lwzx 31,8,9 _litmus_P0_6_: lwsync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bclwsrw028 Allowed Histogram (4 states) 906877:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 1:r6=1; 144507554:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=1; 1:r6=1; 176316362:>0:r3=1; 0:r5=0; 1:r1=1; 1:r4=1; 1:r6=1; 318269207:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 1:r6=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0 /\ 1:r6=0) is NOT validated Hash=727bd8ebc9ec0842952ba5fed4705e15 Cycle=DpdR LwSyncsRR Fre SyncsWR DpdR LwSyncsRW Rfe Relax bclwsrw028 No BCLwSyncsRW Safe=Fre SyncsWR LwSyncsRR DpdR Time bclwsrw028 72.31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw029.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw029 "SyncsRR DpdR LwSyncsRW Rfe SyncsRR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r6=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; sync | sync ; lwz r3,0(r2) | lwz r3,0(r2) ; xor r4,r3,r3 | xor r4,r3,r3 ; lwzx r5,r4,r6 | lwzx r5,r4,r6 ; lwsync | lwsync ; li r7,1 | li r7,1 ; stw r7,0(r6) | stw r7,0(r6) ; exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) Generated assembler _litmus_P1_0_: lwz 27,0(11) _litmus_P1_1_: sync _litmus_P1_2_: lwz 30,0(11) _litmus_P1_3_: xor 8,30,30 _litmus_P1_4_: lwzx 10,8,9 _litmus_P1_5_: lwsync _litmus_P1_6_: li 7,1 _litmus_P1_7_: stw 7,0(9) _litmus_P0_0_: lwz 27,0(11) _litmus_P0_1_: sync _litmus_P0_2_: lwz 30,0(11) _litmus_P0_3_: xor 8,30,30 _litmus_P0_4_: lwzx 10,8,9 _litmus_P0_5_: lwsync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bclwsrw029 Allowed Histogram (5 states) 174006801:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=0; 186496362:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 86087954:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 83438630:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=0; 109970253:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=48f1cf92dfad83c716bb2dae18706b3a Cycle=SyncsRR DpdR LwSyncsRW Rfe SyncsRR DpdR LwSyncsRW Rfe Relax bclwsrw029 No BCLwSyncsRW Safe=SyncsRR DpdR Time bclwsrw029 73.13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw030 "LwSyncsRR DpdR LwSyncsRW Rfe SyncsRR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r6=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; sync | lwsync ; lwz r3,0(r2) | lwz r3,0(r2) ; xor r4,r3,r3 | xor r4,r3,r3 ; lwzx r5,r4,r6 | lwzx r5,r4,r6 ; lwsync | lwsync ; li r7,1 | li r7,1 ; stw r7,0(r6) | stw r7,0(r6) ; exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) Generated assembler _litmus_P1_0_: lwz 27,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 30,0(11) _litmus_P1_3_: xor 8,30,30 _litmus_P1_4_: lwzx 10,8,9 _litmus_P1_5_: lwsync _litmus_P1_6_: li 7,1 _litmus_P1_7_: stw 7,0(9) _litmus_P0_0_: lwz 27,0(11) _litmus_P0_1_: sync _litmus_P0_2_: lwz 30,0(11) _litmus_P0_3_: xor 8,30,30 _litmus_P0_4_: lwzx 10,8,9 _litmus_P0_5_: lwsync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bclwsrw030 Allowed Histogram (5 states) 30579059:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=0; 172820657:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=0; 59755814:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 219974093:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 156870377:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=04a596352ad38ea4e25d65100097777b Cycle=LwSyncsRR DpdR LwSyncsRW Rfe SyncsRR DpdR LwSyncsRW Rfe Relax bclwsrw030 No BCLwSyncsRW Safe=SyncsRR LwSyncsRR DpdR Time bclwsrw030 76.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsrw031.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsrw031 "LwSyncsRR DpdR LwSyncsRW Rfe LwSyncsRR DpdR LwSyncsRW Rfe" {0:r2=x; 0:r6=y; 1:r2=y; 1:r6=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; lwsync | lwsync ; lwz r3,0(r2) | lwz r3,0(r2) ; xor r4,r3,r3 | xor r4,r3,r3 ; lwzx r5,r4,r6 | lwzx r5,r4,r6 ; lwsync | lwsync ; li r7,1 | li r7,1 ; stw r7,0(r6) | stw r7,0(r6) ; exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) Generated assembler _litmus_P1_0_: lwz 27,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 30,0(11) _litmus_P1_3_: xor 8,30,30 _litmus_P1_4_: lwzx 10,8,9 _litmus_P1_5_: lwsync _litmus_P1_6_: li 7,1 _litmus_P1_7_: stw 7,0(9) _litmus_P0_0_: lwz 27,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: lwz 30,0(11) _litmus_P0_3_: xor 8,30,30 _litmus_P0_4_: lwzx 10,8,9 _litmus_P0_5_: lwsync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bclwsrw031 Allowed Histogram (5 states) 22067888:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 21558542:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=0; 200701384:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=0; 217466526:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 178205660:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=1a177962a3eea2f1418257e4566de980 Cycle=LwSyncsRR DpdR LwSyncsRW Rfe LwSyncsRR DpdR LwSyncsRW Rfe Relax bclwsrw031 No BCLwSyncsRW Safe=LwSyncsRR DpdR Time bclwsrw031 75.36 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 2000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 20000 #endif #ifndef N_EXE #define N_EXE (32 < N ? 1 : 32 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: true */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS= Wed Dec 30 18:16:26 GMT 2009