Mon Dec 28 17:05:10 NFT 2009
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for ./src/posrr003.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
posrr003
"DpdR Fre SyncdWW Rfe DpdR PosRR"
{0:r2=x; 0:r4=y; 1:r2=y; 1:r5=z; 1:r9=x;}
P0 | P1 ;
li r1,1 | lwz r1,0(r2) ;
stw r1,0(r2) | xor r3,r1,r1 ;
sync | lwzx r4,r3,r5 ;
li r3,1 | lwz r6,0(r5) ;
stw r3,0(r4) | xor r7,r6,r6 ;
| lwzx r8,r7,r9 ;
exists (1:r1=1 /\ 1:r8=0)
Generated assembler
_litmus_P1_0_: lwz 24,0(10)
_litmus_P1_1_: xor 29,24,24
_litmus_P1_2_: lwzx 7,29,11
_litmus_P1_3_: lwz 6,0(11)
_litmus_P1_4_: xor 5,6,6
_litmus_P1_5_: lwzx 25,5,9
_litmus_P0_0_: li 4,1
_litmus_P0_1_: stw 4,0(11)
_litmus_P0_2_: sync
_litmus_P0_3_: li 3,1
_litmus_P0_4_: stw 3,0(9)
Test posrr003 Allowed
Histogram (3 states)
49641227:>1:r1=0; 1:r8=1;
156079930:>1:r1=0; 1:r8=0;
114278843:>1:r1=1; 1:r8=1;
No
Witnesses
Positive: 0, Negative: 320000000
Condition exists (1:r1=1 /\ 1:r8=0) is NOT validated
Hash=b660291ec0b800081e710e7f87d96ef9
Cycle=DpdR Fre SyncdWW Rfe DpdR PosRR
Relax posrr003 No PosRR
Safe=Fre DpdR BCSyncdWW
Time posrr003 15.39
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for ./src/posrr005.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
posrr005
"DpdR Fre SyncdWW Rfe SyncdRW Rfe DpdR PosRR"
{0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r5=a; 2:r9=x;}
P0 | P1 | P2 ;
li r1,1 | lwz r1,0(r2) | lwz r1,0(r2) ;
stw r1,0(r2) | sync | xor r3,r1,r1 ;
sync | li r3,1 | lwzx r4,r3,r5 ;
li r3,1 | stw r3,0(r4) | lwz r6,0(r5) ;
stw r3,0(r4) | | xor r7,r6,r6 ;
| | lwzx r8,r7,r9 ;
exists (1:r1=1 /\ 2:r1=1 /\ 2:r8=0)
Generated assembler
_litmus_P2_0_: lwz 23,0(10)
_litmus_P2_1_: xor 25,23,23
_litmus_P2_2_: lwzx 7,25,11
_litmus_P2_3_: lwz 6,0(11)
_litmus_P2_4_: xor 5,6,6
_litmus_P2_5_: lwzx 24,5,9
_litmus_P1_0_: lwz 30,0(11)
_litmus_P1_1_: sync
_litmus_P1_2_: li 31,1
_litmus_P1_3_: stw 31,0(9)
_litmus_P0_0_: li 31,1
_litmus_P0_1_: stw 31,0(11)
_litmus_P0_2_: sync
_litmus_P0_3_: li 3,1
_litmus_P0_4_: stw 3,0(9)
Test posrr005 Allowed
Histogram (7 states)
12908706:>1:r1=1; 2:r1=1; 2:r8=1;
18971643:>1:r1=1; 2:r1=0; 2:r8=0;
18441095:>1:r1=0; 2:r1=1; 2:r8=0;
43618535:>1:r1=1; 2:r1=0; 2:r8=1;
6052838:>1:r1=0; 2:r1=0; 2:r8=1;
59838269:>1:r1=0; 2:r1=0; 2:r8=0;
50168914:>1:r1=0; 2:r1=1; 2:r8=1;
No
Witnesses
Positive: 0, Negative: 210000000
Condition exists (1:r1=1 /\ 2:r1=1 /\ 2:r8=0) is NOT validated
Hash=8d0831339733254b3c8a1735bb7650c7
Cycle=DpdR Fre SyncdWW Rfe SyncdRW Rfe DpdR PosRR
Relax posrr005 No PosRR
Safe=Fre DpdR BCSyncdWW BCSyncdRW
Time posrr005 19.43
$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=-r 100
Mon Dec 28 17:05:45 NFT 2009