Raw log

Sun Dec 27 16:12:19 CET 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwsww000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwsww000 "DpdR Fre LwSyncsWW Rfe DpdR Fre LwSyncsWW Rfe" {0:r2=x; 1:r2=x; 1:r5=y; 2:r2=y; 3:r2=y; 3:r5=x;} P0 | P1 | P2 | P3 ; li r1,1 | lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 ; lwsync | lwzx r4,r3,r5 | lwsync | lwzx r4,r3,r5 ; li r3,2 | | li r3,2 | ; stw r3,0(r2) | | stw r3,0(r2) | ; exists (x=2 /\ y=2 /\ 1:r1=2 /\ 1:r4=0 /\ 3:r1=2 /\ 3:r4=0) Generated assembler _litmus_P0_0_: li r4,1 _litmus_P0_1_: stw r4,0(r2) _litmus_P0_2_: lwsync _litmus_P0_3_: li r9,2 _litmus_P0_4_: stw r9,0(r2) _litmus_P1_0_: lwz r27,0(r9) _litmus_P1_1_: xor r11,r27,r27 _litmus_P1_2_: lwzx r30,r11,r2 _litmus_P2_0_: li r5,1 _litmus_P2_1_: stw r5,0(r2) _litmus_P2_2_: lwsync _litmus_P2_3_: li r9,2 _litmus_P2_4_: stw r9,0(r2) _litmus_P3_0_: lwz r27,0(r9) _litmus_P3_1_: xor r11,r27,r27 _litmus_P3_2_: lwzx r30,r11,r2 Test bclwsww000 Allowed Histogram (68 states) 2 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=2; x=2; y=2; 2 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=0; x=2; y=2; 2 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=2; 1 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=0; x=2; y=2; 2 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=2; 1 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=1; x=2; y=2; 1 :>1:r1=1; 1:r4=1; 3:r1=1; 3:r4=0; x=2; y=2; 1 :>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=2; 12 :>1:r1=0; 1:r4=1; 3:r1=1; 3:r4=2; x=2; y=2; 9 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=2; 50 :>1:r1=2; 1:r4=1; 3:r1=1; 3:r4=2; x=2; y=2; 2 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=2; 38 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=2; 155 :>1:r1=2; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=2; 581 :>1:r1=1; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=2; 894 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=0; x=2; y=2; 397 :>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=2; 99754 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=2; 623 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=0; x=2; y=2; 2616 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=0; x=2; y=2; 266 :>1:r1=1; 1:r4=0; 3:r1=1; 3:r4=2; x=2; y=2; 1566 :>1:r1=1; 1:r4=2; 3:r1=1; 3:r4=2; x=2; y=2; 866 :>1:r1=1; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=2; 1165 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=1; x=2; y=2; 3257 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=2; 2315 :>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=2; 9292 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=0; x=2; y=2; 1069 :>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=2; 2079 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=2; 233565:>1:r1=2; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=2; 157121:>1:r1=1; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=2; 1686 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=1; x=2; y=2; 256644:>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=2; 99747 :>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=0; x=2; y=2; 81765 :>1:r1=2; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=2; 55655 :>1:r1=2; 1:r4=0; 3:r1=1; 3:r4=2; x=2; y=2; 3809 :>1:r1=1; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=2; 133427:>1:r1=2; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=2; 263506:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=0; x=2; y=2; 219560:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=2; 293 :>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=1; x=2; y=2; 9816 :>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=2; 263333:>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=1; x=2; y=2; 6731 :>1:r1=0; 1:r4=2; 3:r1=1; 3:r4=2; x=2; y=2; 214415:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=1; x=2; y=2; 288010:>1:r1=2; 1:r4=2; 3:r1=1; 3:r4=2; x=2; y=2; 11894 :>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=1; x=2; y=2; 887049:>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=0; x=2; y=2; 265613:>1:r1=2; 1:r4=1; 3:r1=0; 3:r4=2; x=2; y=2; 447985:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=1; x=2; y=2; 389097:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=1; x=2; y=2; 238931:>1:r1=1; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=2; 3724 :>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=2; 1494226:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=0; x=2; y=2; 207966:>1:r1=0; 1:r4=1; 3:r1=0; 3:r4=0; x=2; y=2; 151611:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=0; x=2; y=2; 2252719:>1:r1=0; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=2; 663639:>1:r1=2; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=2; 391553:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=0; x=2; y=2; 31385 :>1:r1=0; 1:r4=1; 3:r1=2; 3:r4=2; x=2; y=2; 4488437:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=2; 588653:>1:r1=0; 1:r4=0; 3:r1=1; 3:r4=2; x=2; y=2; 4574678:>1:r1=0; 1:r4=0; 3:r1=2; 3:r4=2; x=2; y=2; 2278832:>1:r1=2; 1:r4=2; 3:r1=0; 3:r4=2; x=2; y=2; 958655:>1:r1=1; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=2; 2274867:>1:r1=0; 1:r4=0; 3:r1=0; 3:r4=2; x=2; y=2; 12077208:>1:r1=2; 1:r4=2; 3:r1=2; 3:r4=2; x=2; y=2; 2905177:>1:r1=0; 1:r4=2; 3:r1=0; 3:r4=0; x=2; y=2; No Witnesses Positive: 0, Negative: 40000000 Condition exists (x=2 /\ y=2 /\ 1:r1=2 /\ 1:r4=0 /\ 3:r1=2 /\ 3:r4=0) is NOT validated Hash=80ef54f479052cd359e89f5454d47a1e Cycle=DpdR Fre LwSyncsWW Rfe DpdR Fre LwSyncsWW Rfe Relax bclwsww000 No BCLwSyncsWW Safe=Fre DpdR Time bclwsww000 64.36 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 1000000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 1 #endif #ifndef N_EXE #define N_EXE (4 < N ? 1 : 4 / N) #endif /* gcc options: -Wall -std=gnu99 -O */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: false */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 4 */ GCCOPTS="-Wall -std=gnu99 -O" LITMUSOPTS=-r 40 -v Sun Dec 27 16:13:23 CET 2009