Wed Dec 23 11:20:13 NFT 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 31,1
_litmus_P1_1_: stw 31,0(11)
_litmus_P1_2_: lwsync
_litmus_P1_3_: lwz 30,0(9)
_litmus_P0_0_: li 31,1
_litmus_P0_1_: stw 31,0(11)
_litmus_P0_2_: lwsync
_litmus_P0_3_: lwz 30,0(9)
Test lwdwr020 Allowed
Histogram (4 states)
307697:>0:r3=1; 1:r3=1;
117670:>0:r3=0; 1:r3=0;
15787837:>0:r3=0; 1:r3=1;
15786796:>0:r3=1; 1:r3=0;
Ok
Witnesses
Positive: 117670, Negative: 31882330
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 1.74
$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=
Wed Dec 23 11:20:15 NFT 2009