Mon Dec 28 13:11:30 GMT 2009
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for ./src/bcsdrw000.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
bcsdrw000
"SyncdRW Rfe SyncdRW Rfe"
{0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;}
P0 | P1 ;
lwz r1,0(r2) | lwz r1,0(r2) ;
sync | sync ;
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_: sync
_litmus_P1_2_: li 5,1
_litmus_P1_3_: stw 5,0(9)
_litmus_P0_0_: lwz 4,0(11)
_litmus_P0_1_: sync
_litmus_P0_2_: li 5,1
_litmus_P0_3_: stw 5,0(9)
Test bcsdrw000 Allowed
Histogram (3 states)
84949264:>0:r1=1; 1:r1=0;
100119563:>0:r1=0; 1:r1=1;
134931173:>0:r1=0; 1:r1=0;
No
Witnesses
Positive: 0, Negative: 320000000
Condition exists (0:r1=1 /\ 1:r1=1) is NOT validated
Hash=731b259b57382df5f9d906e0a8ec0dab
Cycle=SyncdRW Rfe SyncdRW Rfe
Relax bcsdrw000 No BCSyncdRW
Safe=
Time bcsdrw000 31.23
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for ./src/bcsdrw001.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
bcsdrw001
"SyncdRW Rfe SyncdRW Rfe SyncdRW 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) ;
sync | sync | sync ;
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_: sync
_litmus_P2_2_: li 4,1
_litmus_P2_3_: stw 4,0(9)
_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_: lwz 3,0(11)
_litmus_P0_1_: sync
_litmus_P0_2_: li 31,1
_litmus_P0_3_: stw 31,0(9)
Test bcsdrw001 Allowed
Histogram (7 states)
2650338:>0:r1=0; 1:r1=1; 2:r1=1;
3632101:>0:r1=1; 1:r1=0; 2:r1=1;
2278884:>0:r1=1; 1:r1=1; 2:r1=0;
49710332:>0:r1=0; 1:r1=0; 2:r1=1;
48712063:>0:r1=0; 1:r1=1; 2:r1=0;
52323802:>0:r1=0; 1:r1=0; 2:r1=0;
40692480:>0:r1=1; 1:r1=0; 2:r1=0;
No
Witnesses
Positive: 0, Negative: 200000000
Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1) is NOT validated
Hash=56ecab79b42198224f8bc0fbc64d4acc
Cycle=SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe
Relax bcsdrw001 No BCSyncdRW
Safe=
Time bcsdrw001 46.64
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for ./src/bcsdrw002.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
bcsdrw002
"SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW 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) ;
sync | sync | sync | sync ;
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_: sync
_litmus_P3_2_: li 4,1
_litmus_P3_3_: stw 4,0(9)
_litmus_P2_0_: lwz 4,0(11)
_litmus_P2_1_: sync
_litmus_P2_2_: li 5,1
_litmus_P2_3_: stw 5,0(9)
_litmus_P1_0_: lwz 4,0(11)
_litmus_P1_1_: sync
_litmus_P1_2_: li 5,1
_litmus_P1_3_: stw 5,0(9)
_litmus_P0_0_: lwz 3,0(11)
_litmus_P0_1_: sync
_litmus_P0_2_: li 4,1
_litmus_P0_3_: stw 4,0(9)
Test bcsdrw002 Allowed
Histogram (15 states)
96569 :>0:r1=1; 1:r1=1; 2:r1=1; 3:r1=0;
100105:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=1;
57234 :>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=1;
85273 :>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=1;
4464395:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=1;
3604611:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=1;
3981208:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=0;
4177057:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=0;
12477357:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=1;
11627559:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=0;
24297931:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=0;
25558797:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=0;
17798436:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=0;
25724890:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=1;
25948578:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=0;
No
Witnesses
Positive: 0, Negative: 160000000
Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) is NOT validated
Hash=d47df7cb95dc63e259f1c1595d42d106
Cycle=SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe
Relax bcsdrw002 No BCSyncdRW
Safe=
Time bcsdrw002 72.32
$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 (16 < N ? 1 : 16 / 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: 16 */
GCCOPTS="-Wall -std=gnu99 -O -pthread"
LITMUSOPTS=-s 1000000 -r 40
Mon Dec 28 13:14:01 GMT 2009