Tue Dec 29 09:05:31 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 6,0(11)
_litmus_P1_1_: lwsync
_litmus_P1_2_: li 7,1
_litmus_P1_3_: stw 7,0(9)
_litmus_P0_0_: lwz 6,0(11)
_litmus_P0_1_: lwsync
_litmus_P0_2_: li 7,1
_litmus_P0_3_: stw 7,0(9)
Test bclwdrw000 Allowed
Histogram (3 states)
314342524:>0:r1=0; 1:r1=1;
16289374:>0:r1=0; 1:r1=0;
309368102:>0:r1=1; 1:r1=0;
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 17.04
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 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 6,0(11)
_litmus_P2_1_: lwsync
_litmus_P2_2_: li 7,1
_litmus_P2_3_: stw 7,0(9)
_litmus_P1_0_: lwz 6,0(11)
_litmus_P1_1_: lwsync
_litmus_P1_2_: li 7,1
_litmus_P1_3_: stw 7,0(9)
_litmus_P0_0_: lwz 5,0(11)
_litmus_P0_1_: lwsync
_litmus_P0_2_: li 6,1
_litmus_P0_3_: stw 6,0(9)
Test bclwdrw001 Allowed
Histogram (7 states)
30376 :>0:r1=0; 1:r1=0; 2:r1=0;
26268999:>0:r1=1; 1:r1=1; 2:r1=0;
112193249:>0:r1=1; 1:r1=0; 2:r1=0;
107292512:>0:r1=0; 1:r1=0; 2:r1=1;
104726919:>0:r1=0; 1:r1=1; 2:r1=0;
20555554:>0:r1=0; 1:r1=1; 2:r1=1;
28932391:>0:r1=1; 1:r1=0; 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 28.79
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 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 5,0(11)
_litmus_P3_1_: lwsync
_litmus_P3_2_: li 6,1
_litmus_P3_3_: stw 6,0(9)
_litmus_P2_0_: lwz 6,0(11)
_litmus_P2_1_: lwsync
_litmus_P2_2_: li 7,1
_litmus_P2_3_: stw 7,0(9)
_litmus_P1_0_: lwz 6,0(11)
_litmus_P1_1_: lwsync
_litmus_P1_2_: li 7,1
_litmus_P1_3_: stw 7,0(9)
_litmus_P0_0_: lwz 5,0(11)
_litmus_P0_1_: lwsync
_litmus_P0_2_: li 6,1
_litmus_P0_3_: stw 6,0(9)
Test bclwdrw002 Allowed
Histogram (15 states)
2060 :>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=0;
5560165:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=1;
16135377:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=0;
45070039:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=0;
30480091:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=0;
35192102:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=1;
22157125:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=1;
34147319:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=0;
5543198:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=1;
20553959:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=1;
4571653:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=1;
46357428:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=1;
31543498:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=0;
17765934:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=0;
4920052:>0:r1=1; 1:r1=1; 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 47.85
$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: none */
/* 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=-s 100000 -r 400
Tue Dec 29 09:07:05 GMT 2009