Raw log

Wed Dec 30 09:29:27 CET 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/rfe002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC rfe002 "DpdW Wse Rfe DpdW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 1:r5=x; 2:r2=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | li r1,2 ; xor r3,r1,r1 | xor r3,r1,r1 | stw r1,0(r2) ; li r4,1 | li r4,1 | ; stwx r4,r3,r5 | stwx r4,r3,r5 | ; exists (x=2 /\ 0:r1=2 /\ 1:r1=1) Generated assembler _litmus_P0_0_: lwz r7,0(r9) _litmus_P0_1_: xor r11,r7,r7 _litmus_P0_2_: li r8,1 _litmus_P0_3_: stwx r8,r11,r2 _litmus_P1_0_: lwz r7,0(r9) _litmus_P1_1_: xor r11,r7,r7 _litmus_P1_2_: li r8,1 _litmus_P1_3_: stwx r8,r11,r2 _litmus_P2_0_: li r9,2 _litmus_P2_1_: stw r9,0(r2) Test rfe002 Allowed Histogram (9 states) 568672:>0:r1=0; 1:r1=1; x=2; 2358947:>0:r1=2; 1:r1=1; x=1; 5833446:>0:r1=1; 1:r1=0; x=2; 634153:>0:r1=0; 1:r1=0; x=2; 11754654:>0:r1=0; 1:r1=1; x=1; 2241678:>0:r1=1; 1:r1=0; x=1; 5862780:>0:r1=2; 1:r1=0; x=2; 1054285:>0:r1=0; 1:r1=0; x=1; 9691385:>0:r1=2; 1:r1=0; x=1; No Witnesses Positive: 0, Negative: 40000000 Condition exists (x=2 /\ 0:r1=2 /\ 1:r1=1) is NOT validated Hash=381e1f1a657547032657db7160e7a70d Cycle=DpdW Wse Rfe DpdW Rfe Relax rfe002 No Rfe Safe=Wse DpdW Time rfe002 58.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/rfe003.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC rfe003 "DpdR Fre Rfe DpdW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 1:r5=x; 2:r2=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | li r1,1 ; xor r3,r1,r1 | xor r3,r1,r1 | stw r1,0(r2) ; li r4,1 | lwzx r4,r3,r5 | ; stwx r4,r3,r5 | | ; exists (0:r1=1 /\ 1:r1=1 /\ 1:r4=0) Generated assembler _litmus_P0_0_: lwz r7,0(r9) _litmus_P0_1_: xor r11,r7,r7 _litmus_P0_2_: li r8,1 _litmus_P0_3_: stwx r8,r11,r2 _litmus_P1_0_: lwz r6,0(r9) _litmus_P1_1_: xor r11,r6,r6 _litmus_P1_2_: lwzx r7,r11,r2 _litmus_P2_0_: li r9,1 _litmus_P2_1_: stw r9,0(r2) Test rfe003 Allowed Histogram (7 states) 625290:>0:r1=0; 1:r1=1; 1:r4=0; 2207213:>0:r1=1; 1:r1=1; 1:r4=1; 6300531:>0:r1=1; 1:r1=0; 1:r4=0; 11903712:>0:r1=0; 1:r1=1; 1:r4=1; 6303607:>0:r1=0; 1:r1=0; 1:r4=0; 838461:>0:r1=0; 1:r1=0; 1:r4=1; 11821186:>0:r1=1; 1:r1=0; 1:r4=1; No Witnesses Positive: 0, Negative: 40000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 1:r4=0) is NOT validated Hash=36c82af8fb9a7ec1207fcf0cad98aabe Cycle=DpdR Fre Rfe DpdW Rfe Relax rfe003 No Rfe Safe=Fre DpdW DpdR Time rfe003 46.72 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/rfe004.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC rfe004 "DpdW Wse Rfe DpdW Wse Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 2:r2=y; 2:r5=x; 3:r2=x;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) | li r1,2 ; xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) ; li r4,1 | | li r4,1 | ; stwx r4,r3,r5 | | stwx r4,r3,r5 | ; exists (x=2 /\ y=2 /\ 0:r1=2 /\ 2:r1=2) Generated assembler _litmus_P0_0_: lwz r7,0(r9) _litmus_P0_1_: xor r11,r7,r7 _litmus_P0_2_: li r8,1 _litmus_P0_3_: stwx r8,r11,r2 _litmus_P1_0_: li r9,2 _litmus_P1_1_: stw r9,0(r2) _litmus_P2_0_: lwz r7,0(r9) _litmus_P2_1_: xor r11,r7,r7 _litmus_P2_2_: li r8,1 _litmus_P2_3_: stwx r8,r11,r2 _litmus_P3_0_: li r9,2 _litmus_P3_1_: stw r9,0(r2) Test rfe004 Allowed Histogram (27 states) 14663 :>0:r1=0; 2:r1=1; x=2; y=1; 18947 :>0:r1=1; 2:r1=0; x=1; y=2; 204070:>0:r1=0; 2:r1=2; x=2; y=2; 280987:>0:r1=2; 2:r1=1; x=1; y=2; 325005:>0:r1=2; 2:r1=2; x=1; y=2; 709296:>0:r1=0; 2:r1=1; x=2; y=2; 105505:>0:r1=2; 2:r1=2; x=2; y=1; 86995 :>0:r1=1; 2:r1=2; x=2; y=1; 931437:>0:r1=2; 2:r1=0; x=1; y=2; 76791 :>0:r1=0; 2:r1=0; x=2; y=1; 1333642:>0:r1=1; 2:r1=0; x=2; y=2; 2708006:>0:r1=2; 2:r1=1; x=1; y=1; 525601:>0:r1=2; 2:r1=0; x=2; y=2; 103002:>0:r1=0; 2:r1=0; x=1; y=2; 60941 :>0:r1=0; 2:r1=0; x=1; y=1; 718494:>0:r1=0; 2:r1=2; x=2; y=1; 3342174:>0:r1=1; 2:r1=0; x=2; y=1; 1544429:>0:r1=0; 2:r1=1; x=1; y=1; 77419 :>0:r1=0; 2:r1=0; x=2; y=2; 1102701:>0:r1=1; 2:r1=0; x=1; y=1; 1691963:>0:r1=2; 2:r1=0; x=1; y=1; 1795540:>0:r1=0; 2:r1=2; x=1; y=1; 3568697:>0:r1=0; 2:r1=1; x=1; y=2; 7489163:>0:r1=2; 2:r1=2; x=1; y=1; 4425554:>0:r1=2; 2:r1=0; x=2; y=1; 5039302:>0:r1=0; 2:r1=2; x=1; y=2; 1719676:>0:r1=1; 2:r1=2; x=1; y=1; No Witnesses Positive: 0, Negative: 40000000 Condition exists (x=2 /\ y=2 /\ 0:r1=2 /\ 2:r1=2) is NOT validated Hash=3ff9f33d19c19af532626ad01e67e950 Cycle=DpdW Wse Rfe DpdW Wse Rfe Relax rfe004 No Rfe Safe=Wse DpdW Time rfe004 98.70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/rfe005.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC rfe005 "DpdR Fre Rfe DpdW Wse Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 2:r2=y; 2:r5=x; 3:r2=x;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | li r1,2 | lwz r1,0(r2) | li r1,1 ; xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) ; li r4,1 | | lwzx r4,r3,r5 | ; stwx r4,r3,r5 | | | ; exists (y=2 /\ 0:r1=1 /\ 2:r1=2 /\ 2:r4=0) Generated assembler _litmus_P0_0_: lwz r7,0(r9) _litmus_P0_1_: xor r11,r7,r7 _litmus_P0_2_: li r8,1 _litmus_P0_3_: stwx r8,r11,r2 _litmus_P1_0_: li r9,2 _litmus_P1_1_: stw r9,0(r2) _litmus_P2_0_: lwz r6,0(r9) _litmus_P2_1_: xor r11,r6,r6 _litmus_P2_2_: lwzx r7,r11,r2 _litmus_P3_0_: li r9,1 _litmus_P3_1_: stw r9,0(r2) Test rfe005 Allowed Histogram (21 states) 40518 :>0:r1=0; 2:r1=0; 2:r4=1; y=2; 22399 :>0:r1=0; 2:r1=1; 2:r4=0; y=1; 741053:>0:r1=0; 2:r1=2; 2:r4=0; y=2; 1085837:>0:r1=0; 2:r1=1; 2:r4=0; y=2; 37536 :>0:r1=0; 2:r1=0; 2:r4=1; y=1; 176003:>0:r1=1; 2:r1=2; 2:r4=1; y=2; 1437804:>0:r1=0; 2:r1=1; 2:r4=1; y=1; 1228975:>0:r1=0; 2:r1=0; 2:r4=0; y=2; 503294:>0:r1=1; 2:r1=0; 2:r4=1; y=2; 287500:>0:r1=1; 2:r1=2; 2:r4=0; y=1; 985355:>0:r1=0; 2:r1=2; 2:r4=0; y=1; 1417327:>0:r1=0; 2:r1=2; 2:r4=1; y=1; 3673167:>0:r1=0; 2:r1=0; 2:r4=0; y=1; 4870165:>0:r1=1; 2:r1=0; 2:r4=0; y=1; 2703438:>0:r1=1; 2:r1=1; 2:r4=1; y=1; 1934001:>0:r1=1; 2:r1=0; 2:r4=1; y=1; 5741978:>0:r1=0; 2:r1=2; 2:r4=1; y=2; 10778039:>0:r1=1; 2:r1=2; 2:r4=1; y=1; 129346:>0:r1=1; 2:r1=0; 2:r4=0; y=2; 2115307:>0:r1=0; 2:r1=1; 2:r4=1; y=2; 90958 :>0:r1=1; 2:r1=1; 2:r4=1; y=2; No Witnesses Positive: 0, Negative: 40000000 Condition exists (y=2 /\ 0:r1=1 /\ 2:r1=2 /\ 2:r4=0) is NOT validated Hash=38f61d39ea6d477ceb57de4910657abe Cycle=DpdR Fre Rfe DpdW Wse Rfe Relax rfe005 No Rfe Safe=Fre Wse DpdW DpdR Time rfe005 81.54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/rfe006.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC rfe006 "DpdR Fre Rfe DpdR Fre Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 2:r2=y; 2:r5=x; 3:r2=x;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | li r1,1 | lwz r1,0(r2) | li r1,1 ; xor r3,r1,r1 | stw r1,0(r2) | xor r3,r1,r1 | stw r1,0(r2) ; lwzx r4,r3,r5 | | lwzx r4,r3,r5 | ; exists (0:r1=1 /\ 0:r4=0 /\ 2:r1=1 /\ 2:r4=0) Generated assembler _litmus_P0_0_: lwz r6,0(r9) _litmus_P0_1_: xor r11,r6,r6 _litmus_P0_2_: lwzx r7,r11,r2 _litmus_P1_0_: li r9,1 _litmus_P1_1_: stw r9,0(r2) _litmus_P2_0_: lwz r6,0(r9) _litmus_P2_1_: xor r11,r6,r6 _litmus_P2_2_: lwzx r7,r11,r2 _litmus_P3_0_: li r9,1 _litmus_P3_1_: stw r9,0(r2) Test rfe006 Allowed Histogram (15 states) 186792:>0:r1=1; 0:r4=0; 2:r1=1; 2:r4=1; 459488:>0:r1=1; 0:r4=0; 2:r1=0; 2:r4=0; 525760:>0:r1=1; 0:r4=0; 2:r1=0; 2:r4=1; 2116128:>0:r1=0; 0:r4=0; 2:r1=0; 2:r4=0; 327195:>0:r1=0; 0:r4=0; 2:r1=1; 2:r4=0; 177738:>0:r1=1; 0:r4=1; 2:r1=1; 2:r4=0; 603035:>0:r1=0; 0:r4=1; 2:r1=1; 2:r4=0; 4879342:>0:r1=0; 0:r4=0; 2:r1=1; 2:r4=1; 2654353:>0:r1=0; 0:r4=1; 2:r1=1; 2:r4=1; 3709381:>0:r1=0; 0:r4=1; 2:r1=0; 2:r4=0; 4407718:>0:r1=1; 0:r4=1; 2:r1=0; 2:r4=0; 3435953:>0:r1=0; 0:r4=0; 2:r1=0; 2:r4=1; 1878926:>0:r1=1; 0:r4=1; 2:r1=0; 2:r4=1; 51211 :>0:r1=0; 0:r4=1; 2:r1=0; 2:r4=1; 14586980:>0:r1=1; 0:r4=1; 2:r1=1; 2:r4=1; No Witnesses Positive: 0, Negative: 40000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 2:r1=1 /\ 2:r4=0) is NOT validated Hash=8352ce27483f00d649cb0bf6b7f9ba8b Cycle=DpdR Fre Rfe DpdR Fre Rfe Relax rfe006 No Rfe Safe=Fre DpdR Time rfe006 61.49 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 1000000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 1 #endif #ifndef N_EXE #define N_EXE (4 < N ? 1 : 4 / N) #endif /* gcc options: -Wall -std=gnu99 */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: true */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 4 */ GCCOPTS="-Wall -std=gnu99 " LITMUSOPTS=-r 40 Wed Dec 30 09:35:14 CET 2009