Raw log

Wed Dec 30 15:58:07 NFT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/posrr003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC posrr003 "DpdR Fre SyncdWW Rfe DpdR PosRR" {0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 1:r9=x;} P0 | P1 ; li r1,1 | lwz r1,0(r2) ; stw r1,0(r2) | xor r3,r1,r1 ; sync | lwzx r4,r3,r5 ; li r3,1 | lwz r6,0(r5) ; stw r3,0(r4) | xor r7,r6,r6 ; | lwzx r8,r7,r9 ; exists (1:r1=1 /\ 1:r8=0) Generated assembler _litmus_P1_0_: lwz 24,0(10) _litmus_P1_1_: xor 29,24,24 _litmus_P1_2_: lwzx 7,29,11 _litmus_P1_3_: lwz 6,0(11) _litmus_P1_4_: xor 5,6,6 _litmus_P1_5_: lwzx 25,5,9 _litmus_P0_0_: li 4,1 _litmus_P0_1_: stw 4,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test posrr003 Allowed Histogram (3 states) 49066723:>1:r1=0; 1:r8=1; 114554453:>1:r1=1; 1:r8=1; 156378824:>1:r1=0; 1:r8=0; No Witnesses Positive: 0, Negative: 320000000 Condition exists (1:r1=1 /\ 1:r8=0) is NOT validated Hash=b660291ec0b800081e710e7f87d96ef9 Cycle=DpdR Fre SyncdWW Rfe DpdR PosRR Relax posrr003 No PosRR Safe=Fre DpdR BCSyncdWW Time posrr003 15.43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/posrr005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC posrr005 "DpdR Fre SyncdWW Rfe SyncdRW Rfe DpdR PosRR" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=a; 2:r9=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,1 | lwzx r4,r3,r5 ; li r3,1 | stw r3,0(r4) | lwz r6,0(r5) ; stw r3,0(r4) | | xor r7,r6,r6 ; | | lwzx r8,r7,r9 ; exists (1:r1=1 /\ 2:r1=1 /\ 2:r8=0) Generated assembler _litmus_P2_0_: lwz 23,0(10) _litmus_P2_1_: xor 25,23,23 _litmus_P2_2_: lwzx 7,25,11 _litmus_P2_3_: lwz 6,0(11) _litmus_P2_4_: xor 5,6,6 _litmus_P2_5_: lwzx 24,5,9 _litmus_P1_0_: lwz 30,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 31,1 _litmus_P1_3_: stw 31,0(9) _litmus_P0_0_: li 31,1 _litmus_P0_1_: stw 31,0(11) _litmus_P0_2_: sync _litmus_P0_3_: li 3,1 _litmus_P0_4_: stw 3,0(9) Test posrr005 Allowed Histogram (7 states) 12785474:>1:r1=1; 2:r1=1; 2:r8=1; 50140240:>1:r1=0; 2:r1=1; 2:r8=1; 18797156:>1:r1=0; 2:r1=1; 2:r8=0; 5741078:>1:r1=0; 2:r1=0; 2:r8=1; 59802983:>1:r1=0; 2:r1=0; 2:r8=0; 43652364:>1:r1=1; 2:r1=0; 2:r8=1; 19080705:>1:r1=1; 2:r1=0; 2:r8=0; No Witnesses Positive: 0, Negative: 210000000 Condition exists (1:r1=1 /\ 2:r1=1 /\ 2:r8=0) is NOT validated Hash=8d0831339733254b3c8a1735bb7650c7 Cycle=DpdR Fre SyncdWW Rfe SyncdRW Rfe DpdR PosRR Relax posrr005 No PosRR Safe=Fre DpdR BCSyncdWW BCSyncdRW Time posrr005 19.11 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 100000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 10 #endif #ifndef N_EXE #define N_EXE (64 < N ? 1 : 64 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread -maix64 */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: false */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 64 */ GCCOPTS="-Wall -std=gnu99 -O -pthread -maix64" LITMUSOPTS=-r 100 Wed Dec 30 15:58:42 NFT 2009