Tue Dec 22 17:17:21 GMT 2009
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for src/lwdwr020.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
lwdwr020
"Fre LwSyncdWR Fre LwSyncdWR"
{0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;}
P0 | P1 ;
li r1,1 | li r1,1 ;
stw r1,0(r2) | stw r1,0(r2) ;
lwsync | lwsync ;
lwz r3,0(r4) | lwz r3,0(r4) ;
exists (0:r3=0 /\ 1:r3=0)
Generated assembler
_litmus_P1_0_: li 5,1
_litmus_P1_1_: stw 5,0(11)
_litmus_P1_2_: lwsync
_litmus_P1_3_: lwz 4,0(9)
_litmus_P0_0_: li 5,1
_litmus_P0_1_: stw 5,0(11)
_litmus_P0_2_: lwsync
_litmus_P0_3_: lwz 4,0(9)
Test lwdwr020 Allowed
Histogram (4 states)
526743:>0:r3=1; 1:r3=1;
103814:>0:r3=0; 1:r3=0;
319661288:>0:r3=1; 1:r3=0;
319708155:>0:r3=0; 1:r3=1;
Ok
Witnesses
Positive: 103814, Negative: 639896186
Condition exists (0:r3=0 /\ 1:r3=0) is validated
Hash=86ac3ae456ddd94ba97a98bdc65ce7a1
Cycle=Fre LwSyncdWR Fre LwSyncdWR
Relax lwdwr020 Ok LwSyncdWR
Safe=Fre
Time lwdwr020 78.93
$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=
Tue Dec 22 17:18:40 GMT 2009