Raw log

Wed Dec 23 07:29:40 CET 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/rfe000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC rfe000 "DpdW Rfe DpdW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 1:r5=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | xor r3,r1,r1 ; li r4,1 | li r4,1 ; stwx r4,r3,r5 | stwx r4,r3,r5 ; exists (0:r1=1 /\ 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 Test rfe000 Allowed Histogram (3 states) 3571345:>0:r1=0; 1:r1=0; 19400815:>0:r1=0; 1:r1=1; 17027840:>0:r1=1; 1:r1=0; No Witnesses Positive: 0, Negative: 40000000 Condition exists (0:r1=1 /\ 1:r1=1) is NOT validated Hash=467bf017bb8c30b6aa0f5da2e165fe50 Cycle=DpdW Rfe DpdW Rfe Relax rfe000 No Rfe Safe=DpdW Time rfe000 17.68 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/rfe001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC rfe001 "DpdW Rfe DpdW Rfe DpdW Rfe" {0:r2=x; 0:r5=y; 1:r2=y; 1:r5=z; 2:r2=z; 2:r5=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; xor r3,r1,r1 | xor r3,r1,r1 | xor r3,r1,r1 ; li r4,1 | li r4,1 | li r4,1 ; stwx r4,r3,r5 | stwx r4,r3,r5 | stwx r4,r3,r5 ; exists (0:r1=1 /\ 1:r1=1 /\ 2: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_: lwz r7,0(r9) _litmus_P2_1_: xor r11,r7,r7 _litmus_P2_2_: li r8,1 _litmus_P2_3_: stwx r8,r11,r2 Test rfe001 Allowed Histogram (7 states) 125124:>0:r1=0; 1:r1=1; 2:r1=1; 157149:>0:r1=1; 1:r1=1; 2:r1=0; 234232:>0:r1=1; 1:r1=0; 2:r1=1; 5485975:>0:r1=0; 1:r1=0; 2:r1=1; 2496459:>0:r1=0; 1:r1=0; 2:r1=0; 5910321:>0:r1=0; 1:r1=1; 2:r1=0; 5590740:>0:r1=1; 1:r1=0; 2:r1=0; No Witnesses Positive: 0, Negative: 20000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1) is NOT validated Hash=bced5ef4373b299015cfac677ee91a60 Cycle=DpdW Rfe DpdW Rfe DpdW Rfe Relax rfe001 No Rfe Safe=DpdW Time rfe001 27.08 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 50828 :>0:r1=0; 1:r1=1; x=2; 944763:>0:r1=1; 1:r1=0; x=1; 2393309:>0:r1=2; 1:r1=0; x=2; 696824:>0:r1=0; 1:r1=0; x=1; 389726:>0:r1=0; 1:r1=0; x=2; 4736959:>0:r1=2; 1:r1=0; x=1; 3338000:>0:r1=1; 1:r1=0; x=2; 5990686:>0:r1=0; 1:r1=1; x=1; 1458905:>0:r1=2; 1:r1=1; x=1; No Witnesses Positive: 0, Negative: 20000000 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 25.55 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 337014:>0:r1=0; 1:r1=1; 1:r4=0; 494164:>0:r1=0; 1:r1=0; 1:r4=1; 3188407:>0:r1=0; 1:r1=0; 1:r4=0; 5594485:>0:r1=1; 1:r1=0; 1:r4=1; 3086441:>0:r1=1; 1:r1=0; 1:r4=0; 5852088:>0:r1=0; 1:r1=1; 1:r4=1; 1447401:>0:r1=1; 1:r1=1; 1:r4=1; No Witnesses Positive: 0, Negative: 20000000 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 22.98 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 9401 :>0:r1=1; 2:r1=0; x=1; y=2; 48462 :>0:r1=2; 2:r1=2; x=2; y=1; 7766 :>0:r1=0; 2:r1=1; x=2; y=1; 164670:>0:r1=2; 2:r1=2; x=1; y=2; 498981:>0:r1=0; 2:r1=1; x=2; y=2; 123189:>0:r1=0; 2:r1=2; x=2; y=2; 30033 :>0:r1=0; 2:r1=0; x=2; y=1; 271139:>0:r1=2; 2:r1=0; x=2; y=2; 23577 :>0:r1=0; 2:r1=0; x=1; y=1; 44974 :>0:r1=1; 2:r1=2; x=2; y=1; 446325:>0:r1=2; 2:r1=0; x=1; y=2; 37867 :>0:r1=0; 2:r1=0; x=1; y=2; 506956:>0:r1=1; 2:r1=0; x=1; y=1; 378274:>0:r1=0; 2:r1=2; x=2; y=1; 1393482:>0:r1=2; 2:r1=1; x=1; y=1; 785091:>0:r1=0; 2:r1=1; x=1; y=1; 40195 :>0:r1=0; 2:r1=0; x=2; y=2; 788488:>0:r1=2; 2:r1=0; x=1; y=1; 872525:>0:r1=0; 2:r1=2; x=1; y=1; 1433222:>0:r1=1; 2:r1=0; x=2; y=1; 838558:>0:r1=1; 2:r1=2; x=1; y=1; 805123:>0:r1=1; 2:r1=0; x=2; y=2; 1449418:>0:r1=0; 2:r1=1; x=1; y=2; 3769238:>0:r1=2; 2:r1=2; x=1; y=1; 2324584:>0:r1=2; 2:r1=0; x=2; y=1; 2765306:>0:r1=0; 2:r1=2; x=1; y=2; 143156:>0:r1=2; 2:r1=1; x=1; y=2; No Witnesses Positive: 0, Negative: 20000000 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 37.85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 14317 :>0:r1=0; 2:r1=1; 2:r4=0; y=1; 46721 :>0:r1=1; 2:r1=1; 2:r4=1; y=2; 190657:>0:r1=1; 2:r1=0; 2:r4=0; y=2; 80149 :>0:r1=1; 2:r1=2; 2:r4=1; y=2; 31036 :>0:r1=0; 2:r1=0; 2:r4=1; y=2; 24995 :>0:r1=0; 2:r1=0; 2:r4=1; y=1; 764606:>0:r1=0; 2:r1=1; 2:r4=1; y=1; 529363:>0:r1=0; 2:r1=1; 2:r4=0; y=2; 1207660:>0:r1=1; 2:r1=0; 2:r4=1; y=1; 353166:>0:r1=0; 2:r1=2; 2:r4=0; y=1; 96973 :>0:r1=1; 2:r1=2; 2:r4=0; y=1; 622883:>0:r1=0; 2:r1=2; 2:r4=1; y=1; 1262207:>0:r1=0; 2:r1=1; 2:r4=1; y=2; 2110730:>0:r1=1; 2:r1=0; 2:r4=0; y=1; 231676:>0:r1=0; 2:r1=2; 2:r4=0; y=2; 2012865:>0:r1=0; 2:r1=0; 2:r4=0; y=1; 1530383:>0:r1=1; 2:r1=1; 2:r4=1; y=1; 5220709:>0:r1=1; 2:r1=2; 2:r4=1; y=1; 641375:>0:r1=0; 2:r1=0; 2:r4=0; y=2; 2756640:>0:r1=0; 2:r1=2; 2:r4=1; y=2; 270889:>0:r1=1; 2:r1=0; 2:r4=1; y=2; No Witnesses Positive: 0, Negative: 20000000 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 35.89 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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) 375814:>0:r1=1; 0:r4=0; 2:r1=0; 2:r4=1; 125121:>0:r1=1; 0:r4=0; 2:r1=1; 2:r4=1; 275309:>0:r1=1; 0:r4=0; 2:r1=0; 2:r4=0; 180310:>0:r1=0; 0:r4=0; 2:r1=1; 2:r4=0; 921417:>0:r1=0; 0:r4=0; 2:r1=0; 2:r4=0; 279043:>0:r1=0; 0:r4=1; 2:r1=1; 2:r4=0; 1393942:>0:r1=0; 0:r4=0; 2:r1=0; 2:r4=1; 24088 :>0:r1=0; 0:r4=1; 2:r1=0; 2:r4=1; 1351554:>0:r1=0; 0:r4=1; 2:r1=1; 2:r4=1; 1554573:>0:r1=0; 0:r4=1; 2:r1=0; 2:r4=0; 89989 :>0:r1=1; 0:r4=1; 2:r1=1; 2:r4=0; 6973600:>0:r1=1; 0:r4=1; 2:r1=1; 2:r4=1; 2490247:>0:r1=1; 0:r4=1; 2:r1=0; 2:r4=0; 2821121:>0:r1=0; 0:r4=0; 2:r1=1; 2:r4=1; 1143872:>0:r1=1; 0:r4=1; 2:r1=0; 2:r4=1; No Witnesses Positive: 0, Negative: 20000000 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 28.61 $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: false */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 4 */ GCCOPTS="-Wall -std=gnu99 " LITMUSOPTS=-r 20 Wed Dec 23 07:32:55 CET 2009