Thu Dec 31 15:30:04 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw000 "DpdR SyncsRW Rfe SyncsRW Rfe DpdR SyncsRW Rfe SyncsRW 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) ; sync | xor r3,r1,r1 | sync | xor r3,r1,r1 ; li r3,2 | lwzx r4,r3,r5 | li r3,2 | lwzx r4,r3,r5 ; stw r3,0(r2) | sync | stw r3,0(r2) | sync ; | 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_: sync _litmus_P3_4_: li 8,1 _litmus_P3_5_: stw 8,0(9) _litmus_P2_0_: lwz 5,0(9) _litmus_P2_1_: sync _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_: sync _litmus_P1_4_: li 8,1 _litmus_P1_5_: stw 8,0(9) _litmus_P0_0_: lwz 5,0(9) _litmus_P0_1_: sync _litmus_P0_2_: li 11,2 _litmus_P0_3_: stw 11,0(9) Test bcssrw000 Allowed Histogram (99 states) 1 :>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=2; 5 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 2 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=2; 2 :>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 409146:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=2; 592426:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=2; x=1; y=2; 1502609:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 337283:>0:r1=1; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 281358:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 864035:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 522555:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 885182:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=2; 583769:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=1; 256545:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=0; x=2; y=2; 529154:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 682659:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=2; 1137415:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=2; x=1; y=2; 375780:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=2; 826110:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 413925:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=1; y=2; 1729920:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=2; 355620:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=1; 915236:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=1; y=2; 6211817:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=2; x=1; y=2; 1255743:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=1; y=1; 786176:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 1093650:>0:r1=1; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 382249:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 501125:>0:r1=1; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 863757:>0:r1=1; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 500518:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=2; 431812:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 680284:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 378622:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=1; y=2; 935822:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 1975776:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 461808:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=2; 4658253:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 810686:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 567459:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=2; 849345:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=2; x=1; y=2; 8636406:>0:r1=1; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 1029922:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=2; 661825:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 7543789:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=0; x=1; y=2; 6549442:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 8200305:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=2; 6431167:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=2; 9075701:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=2; x=1; y=2; 2221871:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=1; 7682224:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 4148331:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=0; x=1; y=1; 2518723:>0:r1=1; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 18039442:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 6960173:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 1431602:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=1; 687338:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=0; x=2; y=2; 1204793:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 15257387:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=1; y=2; 14824588:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 30367794:>0:r1=1; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 5114379:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 3708395:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=2; 708519:>0:r1=1; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=0; x=2; y=1; 10404315:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=2; 14748538:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 2459446:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=2; 6325842:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 1965243:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=0; x=1; y=2; 13902962:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 12978319:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=1; 8268678:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 9863958:>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 27006038:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=2; x=1; y=2; 4288424:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=0; x=2; y=2; 30002764:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 5365103:>0:r1=1; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; 22694100:>0:r1=1; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 14396564:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=1; y=1; 20041351:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=2; 3:r4=2; x=1; y=2; 4301868:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 4825080:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 12919158:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 15109346:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 3650953:>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 17258083:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=2; 13386711:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=1; 13707851:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 2861437:>0:r1=0; 1:r1=2; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 1161772:>0:r1=0; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 14195870:>0:r1=0; 1:r1=1; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=0; x=1; y=1; 26217967:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=0; 3:r4=0; x=2; y=2; 8143811:>0:r1=0; 1:r1=0; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=1; 15566806:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=0; 3:r4=2; x=1; y=1; 27426677:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=1; 3:r4=2; x=1; y=1; 2580004:>0:r1=1; 1:r1=0; 1:r4=0; 2:r1=1; 3:r1=1; 3:r4=0; x=2; y=2; 5758297:>0:r1=1; 1:r1=1; 1:r4=0; 2:r1=0; 3:r1=0; 3:r4=0; x=2; y=2; 37120128:>0:r1=0; 1:r1=2; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=2; x=1; y=1; 9546781:>0:r1=0; 1:r1=0; 1:r4=2; 2:r1=0; 3:r1=2; 3:r4=0; x=2; y=1; No Witnesses Positive: 0, Negative: 640000000 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=b7e6e6df4355fb418bf475952119efba Cycle=DpdR SyncsRW Rfe SyncsRW Rfe DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw000 No BCSyncsRW Safe=DpdR Time bcssrw000 221.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw001 "DpdR SyncsRW Rfe DpdR SyncsRW Rfe SyncsRW 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 | sync | xor r3,r1,r1 ; lwzx r4,r3,r5 | li r3,2 | lwzx r4,r3,r5 ; sync | stw r3,0(r2) | sync ; 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_: sync _litmus_P2_4_: li 8,1 _litmus_P2_5_: stw 8,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _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_: sync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bcssrw001 Allowed Histogram (19 states) 2 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 4 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 6931788:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r4=0; y=2; 9059340:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 17768288:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 28813410:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 38305559:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 13789964:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 25859518:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 8101888:>0:r1=1; 0:r4=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 86302698:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 35846010:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=2; 2:r4=0; y=2; 19833724:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 46409206:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 115693039:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 67877889:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 72800849:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 73941770:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r4=0; y=2; 132665054:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; No Witnesses Positive: 0, Negative: 800000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) is NOT validated Hash=0b5e63c8ef234eb2e941f5c51f0aef20 Cycle=DpdR SyncsRW Rfe DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw001 No BCSyncsRW Safe=DpdR Time bcssrw001 118.69 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw002 "SyncsRR DpdR SyncsRW Rfe DpdR SyncsRW Rfe SyncsRW 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 | sync | sync ; lwzx r4,r3,r5 | li r3,2 | lwz r3,0(r2) ; sync | stw r3,0(r2) | xor r4,r3,r3 ; li r6,1 | | lwzx r5,r4,r6 ; stw r6,0(r5) | | sync ; | | 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_: sync _litmus_P2_6_: li 7,1 _litmus_P2_7_: stw 7,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _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_: sync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bcssrw002 Allowed Histogram (32 states) 2 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 1 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 1126215:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=1; 2:r5=0; y=1; 4331025:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 5822646:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=1; 2:r5=0; y=1; 34641893:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 3694839:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=1; 10151887:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 4790083:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=2; 1210294:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=2; 2:r5=0; y=2; 4321917:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 6379769:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=1; 28145977:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 7435648:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 4326893:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r3=2; 2:r5=0; y=2; 62700856:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 5675425:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=2; 63590132:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 28123405:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=1; 2:r5=0; y=2; 2242052:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=2; 2:r5=0; y=2; 18406704:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 27130632:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 20623699:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=1; 12663641:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=2; 110923160:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 80481676:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 30836552:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 64877635:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=1; 3301997:>0:r1=1; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 58564394:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r3=1; 2:r5=0; y=2; 6953359:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 86525592:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; No Witnesses Positive: 0, Negative: 800000000 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=11796ca5759756e415169a54d5d677e2 Cycle=SyncsRR DpdR SyncsRW Rfe DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw002 No BCSyncsRW Safe=SyncsRR DpdR Time bcssrw002 129.74 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw003 "LwSyncsRR DpdR SyncsRW Rfe DpdR SyncsRW Rfe SyncsRW 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 | sync | lwsync ; lwzx r4,r3,r5 | li r3,2 | lwz r3,0(r2) ; sync | stw r3,0(r2) | xor r4,r3,r3 ; li r6,1 | | lwzx r5,r4,r6 ; stw r6,0(r5) | | sync ; | | 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_: sync _litmus_P2_6_: li 7,1 _litmus_P2_7_: stw 7,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _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_: sync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bcssrw003 Allowed Histogram (32 states) 1 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 1 :>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 40704 :>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=1; 2:r5=0; y=1; 109654:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=2; 2:r5=0; y=2; 251078:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r3=2; 2:r5=0; y=2; 1243700:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=2; 589712:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=1; 2:r5=0; y=1; 1238832:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 2347440:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=1; 2261884:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=1; 2:r5=0; y=1; 1217796:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=2; 2:r5=0; y=2; 2122244:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 4169435:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=2; 20195011:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=1; 9506560:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=2; 2:r5=0; y=1; 26613035:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 60339348:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 82513270:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 6038379:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=2; 41108846:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 88410541:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 7567174:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 22565249:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 13234102:>0:r1=1; 0:r4=0; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 60513054:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=1; 2:r3=1; 2:r5=0; y=2; 118969025:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 4173469:>0:r1=1; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=0; 2:r5=0; y=2; 6847959:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=0; 2:r3=1; 2:r5=0; y=2; 9246261:>0:r1=0; 0:r4=0; 1:r1=0; 2:r1=2; 2:r3=2; 2:r5=0; y=1; 110448250:>0:r1=1; 0:r4=2; 1:r1=0; 2:r1=0; 2:r3=0; 2:r5=0; y=1; 27273250:>0:r1=0; 0:r4=0; 1:r1=1; 2:r1=2; 2:r3=2; 2:r5=0; y=2; 68844736:>0:r1=0; 0:r4=2; 1:r1=0; 2:r1=1; 2:r3=1; 2:r5=0; y=1; No Witnesses Positive: 0, Negative: 800000000 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=f0d60999a697d3eb825e725dab825965 Cycle=LwSyncsRR DpdR SyncsRW Rfe DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw003 No BCSyncsRW Safe=LwSyncsRR DpdR Time bcssrw003 133.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw004 "DpdW Wse SyncsWR DpdR SyncsRW Rfe SyncsRW 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) | sync | 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 | | ; sync | | ; 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_: sync _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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw004 Allowed Histogram (24 states) 7 :>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=2; y=2; 13 :>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=2; y=1; 2607303:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 1620340:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 1501842:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 6709939:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 1156132:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 2915822:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 12189747:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=1; 6765109:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=2; y=2; 65234197:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=2; y=1; 20180443:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=1; 22903653:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=2; 27611961:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 11782476:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=2; 29455983:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 67366767:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=1; 48318014:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=2; 38634033:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 19004679:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=2; x=1; y=2; 105117487:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 59024821:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=1; x=1; y=2; 195923142:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=2; y=1; 53976090:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=1; x=1; y=1; No Witnesses Positive: 0, Negative: 800000000 Condition exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) is NOT validated Hash=2b45cfbf06c32c061b1ef2291b80e3a8 Cycle=DpdW Wse SyncsWR DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw004 No BCSyncsRW Safe=Wse SyncsWR DpdW DpdR Time bcssrw004 131.79 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw005 "SyncdRW Wse SyncsWR DpdR SyncsRW Rfe SyncsRW 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) | sync | 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 | | ; sync | | ; 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_: sync _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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw005 Allowed Histogram (22 states) 2054432:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 1230775:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 1652943:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 8443375:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=1; 3661046:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 21993367:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=2; 1938544:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 6485675:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=2; y=2; 13328274:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 31076373:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=2; 49454168:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=1; 8760032:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=2; 43488764:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=2; y=1; 14246837:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=1; 46620681:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=1; x=1; y=2; 33261417:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 25266001:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=2; x=1; y=2; 58214681:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 48394622:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=1; x=1; y=1; 115637159:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 66008229:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 198782605:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=2; y=1; No Witnesses Positive: 0, Negative: 800000000 Condition exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) is NOT validated Hash=921da9ec68c9cae42224f4aee8da9e15 Cycle=SyncdRW Wse SyncsWR DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw005 No BCSyncsRW Safe=Wse SyncsWR SyncdRW DpdR Time bcssrw005 131.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw006 "LwSyncdRW Wse SyncsWR DpdR SyncsRW Rfe SyncsRW 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) | sync | 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 | | ; sync | | ; 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_: sync _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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw006 Allowed Histogram (23 states) 2 :>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=2; y=1; 3743534:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; 1444795:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 1696428:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 2395830:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 8718270:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=2; y=2; 49368574:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=1; x=1; y=1; 27746073:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=1; 51097895:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=1; y=2; 3591006:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 7297908:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=1; 10561198:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=1; y=1; 13697308:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=1; 24858882:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=2; x=1; y=2; 46151105:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=1; x=1; y=2; 54082849:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=1; 109735479:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=1; y=1; 32132246:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=2; x=1; y=2; 46651091:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=2; x=2; y=1; 9071012:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=1; x=1; y=2; 205969743:>0:r3=2; 0:r5=2; 1:r1=0; 2:r1=0; x=2; y=1; 28082224:>0:r3=2; 0:r5=0; 1:r1=0; 2:r1=0; x=2; y=2; 61906548:>0:r3=2; 0:r5=0; 1:r1=1; 2:r1=0; x=1; y=2; No Witnesses Positive: 0, Negative: 800000000 Condition exists (x=2 /\ y=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2) is NOT validated Hash=ec356be30e18f54ebeedc96f10f9b03d Cycle=LwSyncdRW Wse SyncsWR DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw006 No BCSyncsRW Safe=Wse SyncsWR LwSyncdRW DpdR Time bcssrw006 126.68 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw007.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw007 "DpdR Fre SyncsWR DpdR SyncsRW Rfe SyncsRW 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) | sync | 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 | | ; sync | | ; 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_: sync _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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw007 Allowed Histogram (19 states) 60 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 27 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 51686020:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=1; 2:r4=1; y=1; 16269550:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=2; 2:r4=1; y=2; 42448890:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=1; y=2; 11426987:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=1; y=2; 13062201:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=1; y=1; 65972776:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 203191263:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 34583037:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=1; y=1; 39528036:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=1; y=2; 41034022:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=1; y=2; 9498859:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 22212405:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=1; y=1; 24214967:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 7671676:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=1; y=1; 65682737:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 102676794:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=1; y=1; 48839693:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=1; 2:r4=1; y=2; No Witnesses Positive: 0, Negative: 800000000 Condition exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r4=0) is NOT validated Hash=befe5b0646d37c624367af2f5d68102e Cycle=DpdR Fre SyncsWR DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw007 No BCSyncsRW Safe=Fre SyncsWR DpdR Time bcssrw007 121.78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw008.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw008 "SyncdRR Fre SyncsWR DpdR SyncsRW Rfe SyncsRW 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) | sync | 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 | | ; sync | | ; 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_: sync _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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw008 Allowed Histogram (18 states) 1 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=0; y=1; 5465633:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r3=0; y=2; 11525223:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r3=1; y=2; 70835290:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=0; y=1; 43372729:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=1; y=2; 11137659:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r3=1; y=1; 13259787:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=1; y=1; 15285258:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=2; 2:r3=1; y=2; 22007939:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r3=1; y=1; 34600696:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=1; y=1; 100721671:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r3=1; y=1; 45506521:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=1; y=2; 57590307:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r3=0; y=1; 35800164:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=1; 2:r3=1; y=2; 211408638:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r3=0; y=1; 48237465:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=1; 2:r3=1; y=1; 51130116:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r3=1; y=2; 22114903:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=0; y=2; No Witnesses Positive: 0, Negative: 800000000 Condition exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=0) is NOT validated Hash=a20320b515d5d6be92359c592ff3a749 Cycle=SyncdRR Fre SyncsWR DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw008 No BCSyncsRW Safe=Fre SyncsWR SyncdRR DpdR Time bcssrw008 121.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw009.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw009 "LwSyncdRR Fre SyncsWR DpdR SyncsRW Rfe SyncsRW 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) | sync | 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 | | ; sync | | ; 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_: sync _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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw009 Allowed Histogram (19 states) 21 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=0; y=1; 25 :>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=0; y=2; 35168351:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=1; y=1; 34470125:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=1; 2:r3=1; y=2; 20841153:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r3=1; y=1; 10523809:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r3=1; y=1; 50018527:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=1; y=2; 13610184:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=2; 2:r3=1; y=2; 48403429:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=1; 2:r3=1; y=1; 11296145:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=1; y=1; 214917218:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r3=0; y=1; 23533093:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=0; y=2; 10539450:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=1; 2:r3=1; y=2; 101238999:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r3=1; y=1; 68178946:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r3=0; y=1; 42264995:>0:r3=1; 0:r5=0; 1:r1=0; 2:r1=2; 2:r3=1; y=2; 54288590:>0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r3=0; y=1; 7241255:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r3=0; y=2; 53465685:>0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r3=1; y=2; No Witnesses Positive: 0, Negative: 800000000 Condition exists (y=2 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 2:r1=2 /\ 2:r3=0) is NOT validated Hash=b007f90666b53b8e1b409ebed80da9b2 Cycle=LwSyncdRR Fre SyncsWR DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw009 No BCSyncsRW Safe=Fre SyncsWR LwSyncdRR DpdR Time bcssrw009 121.66 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw010.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw010 "DpdR SyncsRW Rfe SyncsRR DpdR SyncsRW Rfe SyncsRW 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 | sync | xor r3,r1,r1 ; lwz r3,0(r2) | li r3,2 | lwzx r4,r3,r5 ; xor r4,r3,r3 | stw r3,0(r2) | sync ; lwzx r5,r4,r6 | | li r6,1 ; sync | | 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_: sync _litmus_P2_4_: li 8,1 _litmus_P2_5_: stw 8,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _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_: sync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bcssrw010 Allowed Histogram (22 states) 8926662:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 3505137:>0:r1=0; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 11564247:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 10892994:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 16173665:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 8401154:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=0; y=2; 4205660:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 7657652:>0:r1=1; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 8511305:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 91718779:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 34758891:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 52497581:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 26474248:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=2; 2:r4=0; y=2; 26516727:>0:r1=0; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 1799541:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 45982196:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=1; 2:r4=0; y=2; 114263189:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 83165994:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 78372736:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 16274389:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 25214530:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 123122723:>0:r1=1; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; No Witnesses Positive: 0, Negative: 800000000 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=2770695d9c722f87a04175621ac51ca6 Cycle=DpdR SyncsRW Rfe SyncsRR DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw010 No BCSyncsRW Safe=SyncsRR DpdR Time bcssrw010 124.64 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw011.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw011 "DpdR SyncsRW Rfe LwSyncsRR DpdR SyncsRW Rfe SyncsRW 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 | sync | xor r3,r1,r1 ; lwz r3,0(r2) | li r3,2 | lwzx r4,r3,r5 ; xor r4,r3,r3 | stw r3,0(r2) | sync ; lwzx r5,r4,r6 | | li r6,1 ; sync | | 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_: sync _litmus_P2_4_: li 8,1 _litmus_P2_5_: stw 8,0(9) _litmus_P1_0_: lwz 4,0(9) _litmus_P1_1_: sync _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_: sync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bcssrw011 Allowed Histogram (22 states) 2193446:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 14360533:>0:r1=0; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 10107869:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 2785201:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 1262013:>0:r1=0; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 3935664:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 75466972:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 44007454:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 54674592:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 16134897:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=0; y=1; 8897376:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 124906129:>0:r1=1; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 7381187:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=1; 2:r4=0; y=2; 87357571:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 118153665:>0:r1=0; 0:r3=0; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 91094850:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=2; 26122467:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 2:r1=2; 2:r4=0; y=2; 15774996:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 2:r1=0; 2:r4=0; y=1; 28025819:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 2:r1=2; 2:r4=0; y=2; 8318190:>0:r1=1; 0:r3=1; 0:r5=2; 1:r1=0; 2:r1=2; 2:r4=0; y=1; 2553055:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=1; 2:r1=0; 2:r4=0; y=2; 56486054:>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: 800000000 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=ae75e3d1140839ad4046415fb4f32715 Cycle=DpdR SyncsRW Rfe LwSyncsRR DpdR SyncsRW Rfe SyncsRW Rfe Relax bcssrw011 No BCSyncsRW Safe=LwSyncsRR DpdR Time bcssrw011 120.81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw012.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw012 "DpdR SyncsRW Rfe DpdR SyncsRW 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 ; sync | sync ; 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_: sync _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_: sync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bcssrw012 Allowed Histogram (3 states) 369684985:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 324756836:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 585558179:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=e494be0d2836eabb8ed392ae5713400a Cycle=DpdR SyncsRW Rfe DpdR SyncsRW Rfe Relax bcssrw012 No BCSyncsRW Safe=DpdR Time bcssrw012 92.65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw013.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw013 "DpdR SyncsRW Rfe DpdR SyncsRW Rfe DpdR SyncsRW 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 ; sync | sync | sync ; 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_: sync _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_: sync _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_: sync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bcssrw013 Allowed Histogram (7 states) 6447834:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=1; 2:r4=0; 227386934:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; 9336356:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=0; 190065578:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; 195789835:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=0; 164853983:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; 6119480:>0:r1=1; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; No Witnesses Positive: 0, Negative: 800000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r4=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=873592e9aeb4eb41aabdf201c7c3fd2d Cycle=DpdR SyncsRW Rfe DpdR SyncsRW Rfe DpdR SyncsRW Rfe Relax bcssrw013 No BCSyncsRW Safe=DpdR Time bcssrw013 125.84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw014.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw014 "DpsR SyncsRW Rfe DpdR SyncsRW Rfe DpdR SyncsRW 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 ; sync | sync | sync ; 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_: sync _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_: sync _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_: sync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bcssrw014 Allowed Histogram (23 states) 1 :>0:r1=2; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 5 :>0:r1=2; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 718491:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=1; y=2; 190117:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=1; y=2; 955306:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=1; y=2; 33273761:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 7542986:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=1; 2:r4=1; y=2; 2620721:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=1; y=2; 8818046:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 29227579:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 15654925:>0:r1=2; 0:r4=0; 1:r1=1; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 7038434:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 18455241:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 26314693:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=1; y=2; 45617369:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 80454308:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=1; y=2; 71422828:>0:r1=0; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=2; 37363700:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 114843382:>0:r1=2; 0:r4=0; 1:r1=0; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 69336157:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 136183667:>0:r1=0; 0:r4=0; 1:r1=1; 1:r4=2; 2:r1=0; 2:r4=0; y=1; 20562214:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=0; 2:r4=0; y=1; 73406069:>0:r1=1; 0:r4=0; 1:r1=0; 1:r4=0; 2:r1=1; 2:r4=1; y=2; No Witnesses Positive: 0, Negative: 800000000 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=7bfa463f7adb7b5e7778fa7badd28f31 Cycle=DpsR SyncsRW Rfe DpdR SyncsRW Rfe DpdR SyncsRW Rfe Relax bcssrw014 No BCSyncsRW Safe=DpsR DpdR Time bcssrw014 120.46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw015.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw015 "SyncsRR DpdR SyncsRW Rfe DpdR SyncsRW 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) ; sync | xor r4,r3,r3 ; li r6,1 | lwzx r5,r4,r6 ; stw r6,0(r5) | sync ; | 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_: sync _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_: sync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bcssrw015 Allowed Histogram (4 states) 147766621:>0:r1=0; 0:r4=0; 1:r1=0; 1:r3=1; 1:r5=0; 254479865:>0:r1=1; 0:r4=0; 1:r1=0; 1:r3=0; 1:r5=0; 347480517:>0:r1=0; 0:r4=0; 1:r1=1; 1:r3=1; 1:r5=0; 530272997:>0:r1=0; 0:r4=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=15f52564e04daa74ee8b809a62b31ce5 Cycle=SyncsRR DpdR SyncsRW Rfe DpdR SyncsRW Rfe Relax bcssrw015 No BCSyncsRW Safe=SyncsRR DpdR Time bcssrw015 96.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw016.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw016 "LwSyncsRR DpdR SyncsRW Rfe DpdR SyncsRW 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) ; sync | xor r4,r3,r3 ; li r6,1 | lwzx r5,r4,r6 ; stw r6,0(r5) | sync ; | 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_: sync _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_: sync _litmus_P0_4_: li 8,1 _litmus_P0_5_: stw 8,0(9) Test bcssrw016 Allowed Histogram (4 states) 369335703:>0:r1=0; 0:r4=0; 1:r1=1; 1:r3=1; 1:r5=0; 329418430:>0:r1=1; 0:r4=0; 1:r1=0; 1:r3=0; 1:r5=0; 47333059:>0:r1=0; 0:r4=0; 1:r1=0; 1:r3=1; 1:r5=0; 533912808:>0:r1=0; 0:r4=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=da74259e4b84d84fe8b12e45af381e8e Cycle=LwSyncsRR DpdR SyncsRW Rfe DpdR SyncsRW Rfe Relax bcssrw016 No BCSyncsRW Safe=LwSyncsRR DpdR Time bcssrw016 96.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw017.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw017 "DpdW Wse SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw017 Allowed Histogram (4 states) 30921622:>0:r3=1; 0:r5=0; 1:r1=0; x=1; 276070050:>0:r3=2; 0:r5=0; 1:r1=1; x=1; 378489752:>0:r3=2; 0:r5=0; 1:r1=0; x=1; 594518576:>0:r3=2; 0:r5=0; 1:r1=0; x=2; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) is NOT validated Hash=97b40d67b76129b3ab3e1a6a5f6305eb Cycle=DpdW Wse SyncsWR DpdR SyncsRW Rfe Relax bcssrw017 No BCSyncsRW Safe=Wse SyncsWR DpdW DpdR Time bcssrw017 95.97 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw018.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw018 "SyncdRW Wse SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw018 Allowed Histogram (4 states) 540060780:>0:r3=2; 0:r5=0; 1:r1=0; x=1; 26875037:>0:r3=1; 0:r5=0; 1:r1=0; x=1; 165487106:>0:r3=2; 0:r5=0; 1:r1=1; x=1; 547577077:>0:r3=2; 0:r5=0; 1:r1=0; x=2; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) is NOT validated Hash=059b61899a92329ffeaf348803309697 Cycle=SyncdRW Wse SyncsWR DpdR SyncsRW Rfe Relax bcssrw018 No BCSyncsRW Safe=Wse SyncsWR SyncdRW DpdR Time bcssrw018 97.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw019.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw019 "DpdR SyncsRW Wse SyncsWR DpdR SyncsRW 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) ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw019 Allowed Histogram (6 states) 17825107:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=0; x=1; 20121975:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; x=1; 5162861:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=2; x=1; 248016844:>0:r3=2; 0:r5=0; 1:r1=1; 1:r4=2; x=1; 599413633:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=0; x=2; 389459580:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=2; x=1; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=ef298b82541a3b112e43ae882acb50a5 Cycle=DpdR SyncsRW Wse SyncsWR DpdR SyncsRW Rfe Relax bcssrw019 No BCSyncsRW Safe=Wse SyncsWR SyncsRW DpdR Time bcssrw019 103.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw020.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw020 "LwSyncdRW Wse SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw020 Allowed Histogram (4 states) 153814610:>0:r3=2; 0:r5=0; 1:r1=1; x=1; 16173501:>0:r3=1; 0:r5=0; 1:r1=0; x=1; 569428903:>0:r3=2; 0:r5=0; 1:r1=0; x=2; 540582986:>0:r3=2; 0:r5=0; 1:r1=0; x=1; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1) is NOT validated Hash=7f2323c0dd7502796856c97da172b168 Cycle=LwSyncdRW Wse SyncsWR DpdR SyncsRW Rfe Relax bcssrw020 No BCSyncsRW Safe=Wse SyncsWR LwSyncdRW DpdR Time bcssrw020 96.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw021.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw021 "DpdR LwSyncsRW Wse SyncsWR DpdR SyncsRW 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) ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw021 Allowed Histogram (6 states) 238650736:>0:r3=2; 0:r5=0; 1:r1=1; 1:r4=2; x=1; 7122111:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=2; x=1; 10228689:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=0; x=1; 1623789:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; x=1; 624945283:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=0; x=2; 397429392:>0:r3=2; 0:r5=0; 1:r1=0; 1:r4=2; x=1; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=3ac226fd1be7f310c6194b6c73f3c232 Cycle=DpdR LwSyncsRW Wse SyncsWR DpdR SyncsRW Rfe Relax bcssrw021 No BCSyncsRW Safe=Wse SyncsWR LwSyncsRW DpdR Time bcssrw021 101.85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw022.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw022 "DpdR Fre SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw022 Allowed Histogram (3 states) 354860706:>0:r3=1; 0:r5=0; 1:r1=1; 1:r4=1; 285250222:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=1; 639889072:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=7ac3fafaae301cc73390972bbdd5c0f4 Cycle=DpdR Fre SyncsWR DpdR SyncsRW Rfe Relax bcssrw022 No BCSyncsRW Safe=Fre SyncsWR DpdR Time bcssrw022 96.76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw023.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw023 "SyncsRR DpdR Fre SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw023 Allowed Histogram (4 states) 245575984:>0:r3=1; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=1; 268967563:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=1; 615995614:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 149460839:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=1; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=c2c9c0359658b64e4185d23d932ca70a Cycle=SyncsRR DpdR Fre SyncsWR DpdR SyncsRW Rfe Relax bcssrw023 No BCSyncsRW Safe=Fre SyncsWR SyncsRR DpdR Time bcssrw023 96.84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw024.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw024 "LwSyncsRR DpdR Fre SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw024 Allowed Histogram (4 states) 41298637:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=1; 354814765:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=1; 638290859:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 245595739:>0:r3=1; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=1; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=dcde740d5eace2726b3b99bfd0448c43 Cycle=LwSyncsRR DpdR Fre SyncsWR DpdR SyncsRW Rfe Relax bcssrw024 No BCSyncsRW Safe=Fre SyncsWR LwSyncsRR DpdR Time bcssrw024 98.75 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw025.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw025 "SyncdRR Fre SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw025 Allowed Histogram (3 states) 261356865:>0:r3=1; 0:r5=0; 1:r1=1; 1:r3=1; 396592329:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=1; 622050806:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=0) is NOT validated Hash=8047871ef7343012976d8a83d92f5d9f Cycle=SyncdRR Fre SyncsWR DpdR SyncsRW Rfe Relax bcssrw025 No BCSyncsRW Safe=Fre SyncsWR SyncdRR DpdR Time bcssrw025 96.03 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw026.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw026 "DpdR SyncsRR Fre SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw026 Allowed Histogram (4 states) 24704777:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 1:r6=1; 235976259:>0:r3=1; 0:r5=0; 1:r1=1; 1:r4=1; 1:r6=1; 405972811:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=1; 1:r6=1; 613346153:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 1:r6=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0 /\ 1:r6=0) is NOT validated Hash=e601791e1656e598fa3a9bacd4c2c5b2 Cycle=DpdR SyncsRR Fre SyncsWR DpdR SyncsRW Rfe Relax bcssrw026 No BCSyncsRW Safe=Fre SyncsWR SyncsRR DpdR Time bcssrw026 100.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw027.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw027 "LwSyncdRR Fre SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw027 Allowed Histogram (3 states) 259205400:>0:r3=1; 0:r5=0; 1:r1=1; 1:r3=1; 382886117:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=1; 637908483:>0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=0) is NOT validated Hash=a9989a08ab5b3cfd8006a16e6ef9efd7 Cycle=LwSyncdRR Fre SyncsWR DpdR SyncsRW Rfe Relax bcssrw027 No BCSyncsRW Safe=Fre SyncsWR LwSyncdRR DpdR Time bcssrw027 94.62 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw028.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw028 "DpdR LwSyncsRR Fre SyncsWR DpdR SyncsRW 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 | ; sync | ; 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_: sync _litmus_P0_7_: li 7,1 _litmus_P0_8_: stw 7,0(9) Test bcssrw028 Allowed Histogram (4 states) 736703:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 1:r6=1; 402787097:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=1; 1:r6=1; 636916881:>0:r3=1; 0:r5=0; 1:r1=0; 1:r4=0; 1:r6=0; 239559319:>0:r3=1; 0:r5=0; 1:r1=1; 1:r4=1; 1:r6=1; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r4=0 /\ 1:r6=0) is NOT validated Hash=f96ce8a4017924c7511ae42d30af7292 Cycle=DpdR LwSyncsRR Fre SyncsWR DpdR SyncsRW Rfe Relax bcssrw028 No BCSyncsRW Safe=Fre SyncsWR LwSyncsRR DpdR Time bcssrw028 101.73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw029.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw029 "SyncsRR DpdR SyncsRW Rfe SyncsRR DpdR SyncsRW 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 ; sync | sync ; 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_: sync _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_: sync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bcssrw029 Allowed Histogram (5 states) 150410854:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=0; 237223474:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 165312656:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 231259511:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=0; 495793505:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=69e45967a3fe794a66d57ca3e640a326 Cycle=SyncsRR DpdR SyncsRW Rfe SyncsRR DpdR SyncsRW Rfe Relax bcssrw029 No BCSyncsRW Safe=SyncsRR DpdR Time bcssrw029 101.26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw030.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw030 "LwSyncsRR DpdR SyncsRW Rfe SyncsRR DpdR SyncsRW 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 ; sync | sync ; 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_: sync _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_: sync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bcssrw030 Allowed Histogram (5 states) 37081806:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=0; 260268585:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=0; 143877884:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 336761967:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 502009758:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=ce33b1e1ca4525573eb6199b87f1a3d7 Cycle=LwSyncsRR DpdR SyncsRW Rfe SyncsRR DpdR SyncsRW Rfe Relax bcssrw030 No BCSyncsRW Safe=SyncsRR LwSyncsRR DpdR Time bcssrw030 101.69 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcssrw031.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcssrw031 "LwSyncsRR DpdR SyncsRW Rfe LwSyncsRR DpdR SyncsRW 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 ; sync | sync ; 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_: sync _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_: sync _litmus_P0_6_: li 7,1 _litmus_P0_7_: stw 7,0(9) Test bcssrw031 Allowed Histogram (5 states) 51753529:>0:r1=0; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 45191950:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=1; 1:r5=0; 327006725:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=1; 1:r3=1; 1:r5=0; 345166804:>0:r1=1; 0:r3=1; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; 510880992:>0:r1=0; 0:r3=0; 0:r5=0; 1:r1=0; 1:r3=0; 1:r5=0; No Witnesses Positive: 0, Negative: 1280000000 Condition exists (0:r1=1 /\ 0:r3=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r3=1 /\ 1:r5=0) is NOT validated Hash=ae803005916745f384198d670ee29f6c Cycle=LwSyncsRR DpdR SyncsRW Rfe LwSyncsRR DpdR SyncsRW Rfe Relax bcssrw031 No BCSyncsRW Safe=LwSyncsRR DpdR Time bcssrw031 101.46 $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=-s 4000 Thu Dec 31 16:30:27 GMT 2009