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