Raw log

Mon Jan 4 16:58:17 GMT 2010 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/aclwsrrv2-000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwsrrv2-000 "DpdR Fre Rfe LwSyncsRR DpdR Fre Rfe LwSyncsRR" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r6=x; 3:r2=x;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) | li r1,1 ; lwsync | stw r1,0(r2) | lwsync | stw r1,0(r2) ; lwz r3,0(r2) | | lwz r3,0(r2) | ; xor r4,r3,r3 | | xor r4,r3,r3 | ; lwzx r5,r4,r6 | | lwzx r5,r4,r6 | ; exists (0:r1=1 /\ 0:r5=0 /\ 2:r1=1 /\ 2:r5=0) Generated assembler _litmus_P3_0_: li 7,1 _litmus_P3_1_: stw 7,0(9) _litmus_P2_0_: lwz 30,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 10,0(11) _litmus_P2_3_: xor 8,10,10 _litmus_P2_4_: lwzx 31,8,9 _litmus_P1_0_: li 8,1 _litmus_P1_1_: stw 8,0(9) _litmus_P0_0_: lwz 30,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: lwz 10,0(11) _litmus_P0_3_: xor 8,10,10 _litmus_P0_4_: lwzx 31,8,9 Test aclwsrrv2-000 Allowed Histogram (16 states) 53255488:>0:r1=0; 0:r5=0; 2:r1=0; 2:r5=0; 5524790:>0:r1=1; 0:r5=0; 2:r1=0; 2:r5=0; 20147710:>0:r1=0; 0:r5=1; 2:r1=0; 2:r5=0; 25693154:>0:r1=1; 0:r5=1; 2:r1=0; 2:r5=0; 5973953:>0:r1=0; 0:r5=0; 2:r1=1; 2:r5=0; 11 :>0:r1=1; 0:r5=0; 2:r1=1; 2:r5=0; 21239635:>0:r1=0; 0:r5=1; 2:r1=1; 2:r5=0; 5846036:>0:r1=1; 0:r5=1; 2:r1=1; 2:r5=0; 20208336:>0:r1=0; 0:r5=0; 2:r1=0; 2:r5=1; 21276858:>0:r1=1; 0:r5=0; 2:r1=0; 2:r5=1; 546191:>0:r1=0; 0:r5=1; 2:r1=0; 2:r5=1; 25685282:>0:r1=1; 0:r5=1; 2:r1=0; 2:r5=1; 26775341:>0:r1=0; 0:r5=0; 2:r1=1; 2:r5=1; 6097350:>0:r1=1; 0:r5=0; 2:r1=1; 2:r5=1; 25795272:>0:r1=0; 0:r5=1; 2:r1=1; 2:r5=1; 55934593:>0:r1=1; 0:r5=1; 2:r1=1; 2:r5=1; Ok Witnesses Positive: 11, Negative: 319999989 Condition exists (0:r1=1 /\ 0:r5=0 /\ 2:r1=1 /\ 2:r5=0) is validated Hash=c379ba3f1a391e7e7ac63ae43938d063 Cycle=DpdR Fre Rfe LwSyncsRR DpdR Fre Rfe LwSyncsRR Relax aclwsrrv2-000 Ok ACLwSyncsRR Safe=Fre DpdR Time aclwsrrv2-000 75.76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/aclwsrrv2-001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwsrrv2-001 "DpdR Fri Rfe LwSyncsRR DpdR Fre Rfe LwSyncsRR" {0:r2=x; 0:r6=y; 1:r2=y; 2:r2=y; 2:r6=x;} P0 | P1 | P2 ; lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) ; lwsync | stw r1,0(r2) | 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 ; | | li r7,1 ; | | stw r7,0(r6) ; exists (0:r1=1 /\ 0:r5=0 /\ 2:r1=1 /\ 2:r5=0) Generated assembler _litmus_P2_0_: lwz 27,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: lwz 10,0(11) _litmus_P2_3_: xor 8,10,10 _litmus_P2_4_: lwzx 30,8,9 _litmus_P2_5_: li 7,1 _litmus_P2_6_: stw 7,0(9) _litmus_P1_0_: li 7,1 _litmus_P1_1_: stw 7,0(9) _litmus_P0_0_: lwz 30,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: lwz 10,0(11) _litmus_P0_3_: xor 8,10,10 _litmus_P0_4_: lwzx 31,8,9 Test aclwsrrv2-001 Allowed Histogram (7 states) 98999093:>0:r1=0; 0:r5=0; 2:r1=0; 2:r5=0; 28785577:>0:r1=1; 0:r5=0; 2:r1=0; 2:r5=0; 7103247:>0:r1=0; 0:r5=1; 2:r1=0; 2:r5=0; 76097164:>0:r1=1; 0:r5=1; 2:r1=0; 2:r5=0; 53635280:>0:r1=0; 0:r5=0; 2:r1=1; 2:r5=0; 120710594:>0:r1=0; 0:r5=1; 2:r1=1; 2:r5=0; 14669045:>0:r1=1; 0:r5=1; 2:r1=1; 2:r5=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r1=1 /\ 0:r5=0 /\ 2:r1=1 /\ 2:r5=0) is NOT validated Hash=1eaa149ead87689c4e491f20fe2d2e46 Cycle=DpdR Fri Rfe LwSyncsRR DpdR Fre Rfe LwSyncsRR Relax aclwsrrv2-001 No ACLwSyncsRR Safe=Fri Fre DpdR Time aclwsrrv2-001 75.58 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/aclwsrrv2-002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC aclwsrrv2-002 "DpdR Fri Rfe LwSyncsRR DpdR Fri Rfe LwSyncsRR" {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 ; li r7,1 | li r7,1 ; stw r7,0(r6) | stw r7,0(r6) ; exists (0:r1=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r5=0) Generated assembler _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: lwz 10,0(11) _litmus_P1_3_: xor 8,10,10 _litmus_P1_4_: lwzx 31,8,9 _litmus_P1_5_: li 7,1 _litmus_P1_6_: stw 7,0(9) _litmus_P0_0_: lwz 30,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: lwz 10,0(11) _litmus_P0_3_: xor 8,10,10 _litmus_P0_4_: lwzx 31,8,9 _litmus_P0_5_: li 7,1 _litmus_P0_6_: stw 7,0(9) Test aclwsrrv2-002 Allowed Histogram (3 states) 88562688:>0:r1=0; 0:r5=0; 1:r1=0; 1:r5=0; 272861420:>0:r1=1; 0:r5=0; 1:r1=0; 1:r5=0; 278575892:>0:r1=0; 0:r5=0; 1:r1=1; 1:r5=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 0:r5=0 /\ 1:r1=1 /\ 1:r5=0) is NOT validated Hash=c7bf1d736f13d7e34cf0ffe4c4db348f Cycle=DpdR Fri Rfe LwSyncsRR DpdR Fri Rfe LwSyncsRR Relax aclwsrrv2-002 No ACLwSyncsRR Safe=Fri DpdR Time aclwsrrv2-002 79.35 $Revision: 3230 $ 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= Mon Jan 4 17:02:08 GMT 2010