Sun Dec 20 18:14:17 NFT 2009
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for src/rfi000.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
rfi000
"DpdR Fre Rfi DpdR Fre Rfi"
{0:r2=x; 0:r6=y; 1:r2=y; 1:r6=x;}
P0 | P1 ;
li r1,1 | li r1,1 ;
stw r1,0(r2) | 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:r3=1 /\ 0:r5=0 /\ 1:r3=1 /\ 1:r5=0)
Generated assembler
_litmus_P1_0_: li 8,1
_litmus_P1_1_: stw 8,0(11)
_litmus_P1_2_: lwz 29,0(11)
_litmus_P1_3_: xor 7,29,29
_litmus_P1_4_: lwzx 30,7,9
_litmus_P0_0_: li 8,1
_litmus_P0_1_: stw 8,0(11)
_litmus_P0_2_: lwz 29,0(11)
_litmus_P0_3_: xor 7,29,29
_litmus_P0_4_: lwzx 30,7,9
Test rfi000 Allowed
Histogram (4 states)
948 :>0:r3=1; 0:r5=0; 1:r3=1; 1:r5=0;
2167292:>0:r3=1; 0:r5=1; 1:r3=1; 1:r5=1;
14907336:>0:r3=1; 0:r5=0; 1:r3=1; 1:r5=1;
14924424:>0:r3=1; 0:r5=1; 1:r3=1; 1:r5=0;
Ok
Witnesses
Positive: 948, Negative: 31999052
Condition exists (0:r3=1 /\ 0:r5=0 /\ 1:r3=1 /\ 1:r5=0) is validated
Hash=ae5383af5602499e3f412f54983b391a
Cycle=DpdR Fre Rfi DpdR Fre Rfi
Relax rfi000 Ok Rfi
Safe=Fre DpdR
Time rfi000 2.67
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for src/rfi001.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
rfi001
"DpdW Wse Rfi DpdR Fre Rfi"
{0:r2=x; 0:r6=y; 1:r2=y; 1:r6=x;}
P0 | P1 ;
li r1,2 | li r1,1 ;
stw r1,0(r2) | stw r1,0(r2) ;
lwz r3,0(r2) | lwz r3,0(r2) ;
xor r4,r3,r3 | xor r4,r3,r3 ;
lwzx r5,r4,r6 | li r5,1 ;
| stwx r5,r4,r6 ;
exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r3=1)
Generated assembler
_litmus_P1_0_: li 31,1
_litmus_P1_1_: stw 31,0(11)
_litmus_P1_2_: lwz 30,0(11)
_litmus_P1_3_: xor 8,30,30
_litmus_P1_4_: li 7,1
_litmus_P1_5_: stwx 7,8,9
_litmus_P0_0_: li 8,2
_litmus_P0_1_: stw 8,0(11)
_litmus_P0_2_: lwz 29,0(11)
_litmus_P0_3_: xor 7,29,29
_litmus_P0_4_: lwzx 30,7,9
Test rfi001 Allowed
Histogram (6 states)
1 :>0:r3=1; 0:r5=0; 1:r3=1; x=1;
377 :>0:r3=2; 0:r5=0; 1:r3=1; x=2;
122830:>0:r3=1; 0:r5=1; 1:r3=1; x=1;
1730631:>0:r3=2; 0:r5=1; 1:r3=1; x=1;
15573867:>0:r3=2; 0:r5=0; 1:r3=1; x=1;
14572294:>0:r3=2; 0:r5=1; 1:r3=1; x=2;
Ok
Witnesses
Positive: 377, Negative: 31999623
Condition exists (x=2 /\ 0:r3=2 /\ 0:r5=0 /\ 1:r3=1) is validated
Hash=1214f5a1e6438b4c5396ac2ff0d9c78b
Cycle=DpdW Wse Rfi DpdR Fre Rfi
Relax rfi001 Ok Rfi
Safe=Fre Wse DpdW DpdR
Time rfi001 1.79
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results for src/rfi002.litmus %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
PPC
rfi002
"DpdW Wse Rfi DpdW Wse Rfi"
{0:r2=x; 0:r6=y; 1:r2=y; 1:r6=x;}
P0 | P1 ;
li r1,2 | li r1,2 ;
stw r1,0(r2) | stw r1,0(r2) ;
lwz r3,0(r2) | lwz r3,0(r2) ;
xor r4,r3,r3 | xor r4,r3,r3 ;
li r5,1 | li r5,1 ;
stwx r5,r4,r6 | stwx r5,r4,r6 ;
exists (x=2 /\ y=2 /\ 0:r3=2 /\ 1:r3=2)
Generated assembler
_litmus_P1_0_: li 31,2
_litmus_P1_1_: stw 31,0(11)
_litmus_P1_2_: lwz 30,0(11)
_litmus_P1_3_: xor 8,30,30
_litmus_P1_4_: li 7,1
_litmus_P1_5_: stwx 7,8,9
_litmus_P0_0_: li 31,2
_litmus_P0_1_: stw 31,0(11)
_litmus_P0_2_: lwz 30,0(11)
_litmus_P0_3_: xor 8,30,30
_litmus_P0_4_: li 7,1
_litmus_P0_5_: stwx 7,8,9
Test rfi002 Allowed
Histogram (7 states)
1 :>0:r3=1; 1:r3=2; x=1; y=2;
145 :>0:r3=2; 1:r3=2; x=2; y=2;
256415:>0:r3=2; 1:r3=1; x=1; y=1;
223357:>0:r3=1; 1:r3=2; x=1; y=1;
14900460:>0:r3=2; 1:r3=2; x=1; y=2;
1750243:>0:r3=2; 1:r3=2; x=1; y=1;
14869379:>0:r3=2; 1:r3=2; x=2; y=1;
Ok
Witnesses
Positive: 145, Negative: 31999855
Condition exists (x=2 /\ y=2 /\ 0:r3=2 /\ 1:r3=2) is validated
Hash=e591671895bcc80990ce95bcf97254d5
Cycle=DpdW Wse Rfi DpdW Wse Rfi
Relax rfi002 Ok Rfi
Safe=Wse DpdW
Time rfi002 1.70
$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=
Sun Dec 20 18:14:24 NFT 2009