Raw log

Fri Dec 25 19:01:13 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwdrw000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwdrw000 "LwSyncdRW Rfe LwSyncdRW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; lwsync | lwsync ; li r3,1 | li r3,1 ; stw r3,0(r4) | stw r3,0(r4) ; exists (0:r1=1 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: lwz 4,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: li 5,1 _litmus_P0_3_: stw 5,0(9) Test bclwdrw000 Allowed Histogram (3 states) 265267490:>0:r1=1; 1:r1=0; 103025315:>0:r1=0; 1:r1=0; 271707195:>0:r1=0; 1:r1=1; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 1:r1=1) is NOT validated Hash=70ac7132cbaacd38cf3b50a32bc97f11 Cycle=LwSyncdRW Rfe LwSyncdRW Rfe Relax bclwdrw000 No BCLwSyncdRW Safe= Time bclwdrw000 79.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwdrw001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwdrw001 "LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; lwsync | lwsync | lwsync ; li r3,1 | li r3,1 | li r3,1 ; stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) ; exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: lwz 3,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: li 31,1 _litmus_P0_3_: stw 31,0(9) Test bclwdrw001 Allowed Histogram (7 states) 11078905:>0:r1=1; 1:r1=0; 2:r1=1; 10148661:>0:r1=1; 1:r1=1; 2:r1=0; 119303837:>0:r1=0; 1:r1=0; 2:r1=1; 117652579:>0:r1=0; 1:r1=1; 2:r1=0; 107924933:>0:r1=1; 1:r1=0; 2:r1=0; 21852008:>0:r1=0; 1:r1=0; 2:r1=0; 12039077:>0:r1=0; 1:r1=1; 2:r1=1; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1) is NOT validated Hash=1b0bb3ba1a0dc46a6674c60afd617090 Cycle=LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Rfe Relax bclwdrw001 No BCLwSyncdRW Safe= Time bclwdrw001 74.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bclwdrw002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bclwdrw002 "LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; lwsync | lwsync | lwsync | lwsync ; li r3,1 | li r3,1 | li r3,1 | li r3,1 ; stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) ; exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: lwsync _litmus_P3_2_: li 4,1 _litmus_P3_3_: stw 4,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: lwsync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: lwsync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: lwz 3,0(11) _litmus_P0_1_: lwsync _litmus_P0_2_: li 4,1 _litmus_P0_3_: stw 4,0(9) Test bclwdrw002 Allowed Histogram (15 states) 346284:>0:r1=1; 1:r1=1; 2:r1=1; 3:r1=0; 324767:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=1; 380940:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=1; 10266481:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=0; 320567:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=1; 10327189:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=1; 12301490:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=0; 11318125:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=1; 47972836:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=1; 45965198:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=0; 46359392:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=0; 46783098:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=0; 10261199:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=0; 38620639:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=1; 38451795:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=0; No Witnesses Positive: 0, Negative: 320000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=e7c77b1e55aaa6ecdf3dea1dfc85d634 Cycle=LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Rfe LwSyncdRW Rfe Relax bclwdrw002 No BCLwSyncdRW Safe= Time bclwdrw002 92.30 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 2000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 20000 #endif #ifndef N_EXE #define N_EXE (32 < N ? 1 : 32 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: false */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS= Fri Dec 25 19:05:19 GMT 2009