jeu jan 13 15:47:29 CET 2011 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/X01.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC X01 "reference, one thread" {0:r2=y; 0:r4=x;} P0 ; li r1,1 ; stw r1,0(r2) ; lwz r3,0(r4) ; locations [0:r3; ] forall (true) Generated assembler _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(28) _litmus_P0_4_: lwz 31,0(8) _litmus_P0_5_: addi 10,10,-1 _litmus_P0_6_: Lit__L1: _litmus_P0_7_: cmpwi 10,0 _litmus_P0_8_: bgt Lit__L0 Test X01 Required Histogram (1 states) 1 :>0:r3=0; Ok Witnesses Positive: 1, Negative: 0 Condition forall (true) is validated Hash=9e40fd38b80077594cd525bc6de73f1d Time X01 0.13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/X02.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC X02 "PodWR Fre PodWR Fre" {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) ; lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(8) _litmus_P1_4_: lwz 31,0(28) _litmus_P1_5_: addi 10,10,-1 _litmus_P1_6_: Lit__L3: _litmus_P1_7_: cmpwi 10,0 _litmus_P1_8_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(28) _litmus_P0_4_: lwz 31,0(8) _litmus_P0_5_: addi 10,10,-1 _litmus_P0_6_: Lit__L1: _litmus_P0_7_: cmpwi 10,0 _litmus_P0_8_: bgt Lit__L0 Test X02 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0) is NOT validated Hash=e3d8acee19f171034e75984cc2f0ce68 Time X02 0.57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/X03.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC X03 "PodWR Fre PodWR Fre PodWR Fre" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: lwz 30,0(8) _litmus_P1_5_: addi 10,10,-1 _litmus_P1_6_: Lit__L3: _litmus_P1_7_: cmpwi 10,0 _litmus_P1_8_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(28) _litmus_P0_4_: lwz 30,0(8) _litmus_P0_5_: addi 10,10,-1 _litmus_P0_6_: Lit__L1: _litmus_P0_7_: cmpwi 10,0 _litmus_P0_8_: bgt Lit__L0 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: lwz 30,0(28) _litmus_P2_5_: addi 10,10,-1 _litmus_P2_6_: Lit__L5: _litmus_P2_7_: cmpwi 10,0 _litmus_P2_8_: bgt Lit__L4 Test X03 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0) is NOT validated Hash=2386f60ec2909f986d6ca30d5506ce7d Time X03 0.17 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/X04.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC X04 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: lwz 31,0(8) _litmus_P1_5_: addi 10,10,-1 _litmus_P1_6_: Lit__L3: _litmus_P1_7_: cmpwi 10,0 _litmus_P1_8_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: lwz 31,0(8) _litmus_P0_5_: addi 10,10,-1 _litmus_P0_6_: Lit__L1: _litmus_P0_7_: cmpwi 10,0 _litmus_P0_8_: bgt Lit__L0 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: lwz 31,0(8) _litmus_P3_5_: addi 10,10,-1 _litmus_P3_6_: Lit__L7: _litmus_P3_7_: cmpwi 10,0 _litmus_P3_8_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: lwz 31,0(28) _litmus_P2_5_: addi 10,10,-1 _litmus_P2_6_: Lit__L5: _litmus_P2_7_: cmpwi 10,0 _litmus_P2_8_: bgt Lit__L4 Test X04 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0) is NOT validated Hash=20d1d70975910f92f72e65b74ff2dc00 Time X04 0.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/X05.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC X05 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=b; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b;} P0 | P1 | P2 | P3 | P4 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: lwz 30,0(8) _litmus_P1_5_: addi 10,10,-1 _litmus_P1_6_: Lit__L3: _litmus_P1_7_: cmpwi 10,0 _litmus_P1_8_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: lwz 30,0(8) _litmus_P0_5_: addi 10,10,-1 _litmus_P0_6_: Lit__L1: _litmus_P0_7_: cmpwi 10,0 _litmus_P0_8_: bgt Lit__L0 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: stw 11,0(7) _litmus_P4_4_: lwz 30,0(8) _litmus_P4_5_: addi 10,10,-1 _litmus_P4_6_: Lit__L9: _litmus_P4_7_: cmpwi 10,0 _litmus_P4_8_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: lwz 30,0(8) _litmus_P3_5_: addi 10,10,-1 _litmus_P3_6_: Lit__L7: _litmus_P3_7_: cmpwi 10,0 _litmus_P3_8_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: lwz 30,0(28) _litmus_P2_5_: addi 10,10,-1 _litmus_P2_6_: Lit__L5: _litmus_P2_7_: cmpwi 10,0 _litmus_P2_8_: bgt Lit__L4 Test X05 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0) is NOT validated Hash=0e7f48017984896cb3bbf78c1621c4fb Time X05 0.42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/X06.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC X06 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=c; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c;} P0 | P1 | P2 | P3 | P4 | P5 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: lwz 30,0(8) _litmus_P1_5_: addi 10,10,-1 _litmus_P1_6_: Lit__L3: _litmus_P1_7_: cmpwi 10,0 _litmus_P1_8_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: lwz 30,0(8) _litmus_P0_5_: addi 10,10,-1 _litmus_P0_6_: Lit__L1: _litmus_P0_7_: cmpwi 10,0 _litmus_P0_8_: bgt Lit__L0 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: stw 11,0(7) _litmus_P5_4_: lwz 30,0(8) _litmus_P5_5_: addi 10,10,-1 _litmus_P5_6_: Lit__L11: _litmus_P5_7_: cmpwi 10,0 _litmus_P5_8_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: stw 11,0(7) _litmus_P4_4_: lwz 30,0(8) _litmus_P4_5_: addi 10,10,-1 _litmus_P4_6_: Lit__L9: _litmus_P4_7_: cmpwi 10,0 _litmus_P4_8_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: lwz 30,0(8) _litmus_P3_5_: addi 10,10,-1 _litmus_P3_6_: Lit__L7: _litmus_P3_7_: cmpwi 10,0 _litmus_P3_8_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: lwz 30,0(28) _litmus_P2_5_: addi 10,10,-1 _litmus_P2_6_: Lit__L5: _litmus_P2_7_: cmpwi 10,0 _litmus_P2_8_: bgt Lit__L4 Test X06 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0) is NOT validated Hash=742243f7ac102ff7a48ebf2a880bf66b Time X06 0.92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/X07.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC X07 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=d; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c; 6:r2=c; 6:r4=d;} P0 | P1 | P2 | P3 | P4 | P5 | P6 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: lwz 30,0(8) _litmus_P1_5_: addi 10,10,-1 _litmus_P1_6_: Lit__L3: _litmus_P1_7_: cmpwi 10,0 _litmus_P1_8_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: lwz 30,0(8) _litmus_P0_5_: addi 10,10,-1 _litmus_P0_6_: Lit__L1: _litmus_P0_7_: cmpwi 10,0 _litmus_P0_8_: bgt Lit__L0 _litmus_P6_0_: b Lit__L13 _litmus_P6_1_: Lit__L12: _litmus_P6_2_: li 11,1 _litmus_P6_3_: stw 11,0(7) _litmus_P6_4_: lwz 30,0(8) _litmus_P6_5_: addi 10,10,-1 _litmus_P6_6_: Lit__L13: _litmus_P6_7_: cmpwi 10,0 _litmus_P6_8_: bgt Lit__L12 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: stw 11,0(7) _litmus_P5_4_: lwz 30,0(8) _litmus_P5_5_: addi 10,10,-1 _litmus_P5_6_: Lit__L11: _litmus_P5_7_: cmpwi 10,0 _litmus_P5_8_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: stw 11,0(7) _litmus_P4_4_: lwz 30,0(8) _litmus_P4_5_: addi 10,10,-1 _litmus_P4_6_: Lit__L9: _litmus_P4_7_: cmpwi 10,0 _litmus_P4_8_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: lwz 30,0(8) _litmus_P3_5_: addi 10,10,-1 _litmus_P3_6_: Lit__L7: _litmus_P3_7_: cmpwi 10,0 _litmus_P3_8_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: lwz 30,0(28) _litmus_P2_5_: addi 10,10,-1 _litmus_P2_6_: Lit__L5: _litmus_P2_7_: cmpwi 10,0 _litmus_P2_8_: bgt Lit__L4 Test X07 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; 6:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0) is NOT validated Hash=bc93131955d76cdbeefc3f5c3490abc2 Time X07 0.38 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/X08.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC X08 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=e; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c; 6:r2=c; 6:r4=d; 7:r2=d; 7:r4=e;} P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0 /\ 7:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: lwz 31,0(8) _litmus_P1_5_: addi 10,10,-1 _litmus_P1_6_: Lit__L3: _litmus_P1_7_: cmpwi 10,0 _litmus_P1_8_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: lwz 31,0(8) _litmus_P0_5_: addi 10,10,-1 _litmus_P0_6_: Lit__L1: _litmus_P0_7_: cmpwi 10,0 _litmus_P0_8_: bgt Lit__L0 _litmus_P7_0_: b Lit__L15 _litmus_P7_1_: Lit__L14: _litmus_P7_2_: li 11,1 _litmus_P7_3_: stw 11,0(7) _litmus_P7_4_: lwz 31,0(8) _litmus_P7_5_: addi 10,10,-1 _litmus_P7_6_: Lit__L15: _litmus_P7_7_: cmpwi 10,0 _litmus_P7_8_: bgt Lit__L14 _litmus_P6_0_: b Lit__L13 _litmus_P6_1_: Lit__L12: _litmus_P6_2_: li 11,1 _litmus_P6_3_: stw 11,0(7) _litmus_P6_4_: lwz 31,0(8) _litmus_P6_5_: addi 10,10,-1 _litmus_P6_6_: Lit__L13: _litmus_P6_7_: cmpwi 10,0 _litmus_P6_8_: bgt Lit__L12 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: stw 11,0(7) _litmus_P5_4_: lwz 31,0(8) _litmus_P5_5_: addi 10,10,-1 _litmus_P5_6_: Lit__L11: _litmus_P5_7_: cmpwi 10,0 _litmus_P5_8_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: stw 11,0(7) _litmus_P4_4_: lwz 31,0(8) _litmus_P4_5_: addi 10,10,-1 _litmus_P4_6_: Lit__L9: _litmus_P4_7_: cmpwi 10,0 _litmus_P4_8_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: lwz 31,0(8) _litmus_P3_5_: addi 10,10,-1 _litmus_P3_6_: Lit__L7: _litmus_P3_7_: cmpwi 10,0 _litmus_P3_8_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: lwz 31,0(28) _litmus_P2_5_: addi 10,10,-1 _litmus_P2_6_: Lit__L5: _litmus_P2_7_: cmpwi 10,0 _litmus_P2_8_: bgt Lit__L4 Test X08 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; 6:r3=1; 7:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0 /\ 7:r3=0) is NOT validated Hash=db171753b5c288c65cfe721122e19a2b Time X08 0.37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/F01.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC F01 "reference, one thread" {0:r2=y; 0:r4=x;} P0 ; li r1,1 ; stw r1,0(r2) ; sync ; lwz r3,0(r4) ; locations [0:r3; ] forall (true) Generated assembler _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(28) _litmus_P0_4_: sync _litmus_P0_5_: lwz 31,0(8) _litmus_P0_6_: addi 10,10,-1 _litmus_P0_7_: Lit__L1: _litmus_P0_8_: cmpwi 10,0 _litmus_P0_9_: bgt Lit__L0 Test F01 Required Histogram (1 states) 1 :>0:r3=0; Ok Witnesses Positive: 1, Negative: 0 Condition forall (true) is validated Hash=1ec8232c7aac468376f6113fb17940c5 Time F01 2.05 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/F02.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC F02 "PodWR Fre PodWR Fre" {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) ; sync | sync ; lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(8) _litmus_P1_4_: sync _litmus_P1_5_: lwz 31,0(28) _litmus_P1_6_: addi 10,10,-1 _litmus_P1_7_: Lit__L3: _litmus_P1_8_: cmpwi 10,0 _litmus_P1_9_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(28) _litmus_P0_4_: sync _litmus_P0_5_: lwz 31,0(8) _litmus_P0_6_: addi 10,10,-1 _litmus_P0_7_: Lit__L1: _litmus_P0_8_: cmpwi 10,0 _litmus_P0_9_: bgt Lit__L0 Test F02 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0) is NOT validated Hash=a465588c5793d03a277e8d10260275cc Time F02 8.95 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/F03.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC F03 "PodWR Fre PodWR Fre PodWR Fre" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; sync | sync | sync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: sync _litmus_P1_5_: lwz 30,0(8) _litmus_P1_6_: addi 10,10,-1 _litmus_P1_7_: Lit__L3: _litmus_P1_8_: cmpwi 10,0 _litmus_P1_9_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(28) _litmus_P0_4_: sync _litmus_P0_5_: lwz 30,0(8) _litmus_P0_6_: addi 10,10,-1 _litmus_P0_7_: Lit__L1: _litmus_P0_8_: cmpwi 10,0 _litmus_P0_9_: bgt Lit__L0 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: sync _litmus_P2_5_: lwz 30,0(28) _litmus_P2_6_: addi 10,10,-1 _litmus_P2_7_: Lit__L5: _litmus_P2_8_: cmpwi 10,0 _litmus_P2_9_: bgt Lit__L4 Test F03 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0) is NOT validated Hash=3e0496ec00349e1e6dc68fd1bca7fae5 Time F03 16.21 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/F04.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC F04 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; sync | sync | sync | sync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: sync _litmus_P1_5_: lwz 31,0(8) _litmus_P1_6_: addi 10,10,-1 _litmus_P1_7_: Lit__L3: _litmus_P1_8_: cmpwi 10,0 _litmus_P1_9_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: sync _litmus_P0_5_: lwz 31,0(8) _litmus_P0_6_: addi 10,10,-1 _litmus_P0_7_: Lit__L1: _litmus_P0_8_: cmpwi 10,0 _litmus_P0_9_: bgt Lit__L0 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: sync _litmus_P3_5_: lwz 31,0(8) _litmus_P3_6_: addi 10,10,-1 _litmus_P3_7_: Lit__L7: _litmus_P3_8_: cmpwi 10,0 _litmus_P3_9_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: sync _litmus_P2_5_: lwz 31,0(28) _litmus_P2_6_: addi 10,10,-1 _litmus_P2_7_: Lit__L5: _litmus_P2_8_: cmpwi 10,0 _litmus_P2_9_: bgt Lit__L4 Test F04 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0) is NOT validated Hash=88aad1532035015029fd9b8d61727883 Time F04 26.91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/F05.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC F05 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=b; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b;} P0 | P1 | P2 | P3 | P4 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; sync | sync | sync | sync | sync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: sync _litmus_P1_5_: lwz 30,0(8) _litmus_P1_6_: addi 10,10,-1 _litmus_P1_7_: Lit__L3: _litmus_P1_8_: cmpwi 10,0 _litmus_P1_9_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: sync _litmus_P0_5_: lwz 30,0(8) _litmus_P0_6_: addi 10,10,-1 _litmus_P0_7_: Lit__L1: _litmus_P0_8_: cmpwi 10,0 _litmus_P0_9_: bgt Lit__L0 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: stw 11,0(7) _litmus_P4_4_: sync _litmus_P4_5_: lwz 30,0(8) _litmus_P4_6_: addi 10,10,-1 _litmus_P4_7_: Lit__L9: _litmus_P4_8_: cmpwi 10,0 _litmus_P4_9_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: sync _litmus_P3_5_: lwz 30,0(8) _litmus_P3_6_: addi 10,10,-1 _litmus_P3_7_: Lit__L7: _litmus_P3_8_: cmpwi 10,0 _litmus_P3_9_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: sync _litmus_P2_5_: lwz 30,0(28) _litmus_P2_6_: addi 10,10,-1 _litmus_P2_7_: Lit__L5: _litmus_P2_8_: cmpwi 10,0 _litmus_P2_9_: bgt Lit__L4 Test F05 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0) is NOT validated Hash=32a9fb7b9639958fd89a2e71758336b8 Time F05 39.92 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/F06.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC F06 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=c; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c;} P0 | P1 | P2 | P3 | P4 | P5 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; sync | sync | sync | sync | sync | sync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: sync _litmus_P1_5_: lwz 30,0(8) _litmus_P1_6_: addi 10,10,-1 _litmus_P1_7_: Lit__L3: _litmus_P1_8_: cmpwi 10,0 _litmus_P1_9_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: sync _litmus_P0_5_: lwz 30,0(8) _litmus_P0_6_: addi 10,10,-1 _litmus_P0_7_: Lit__L1: _litmus_P0_8_: cmpwi 10,0 _litmus_P0_9_: bgt Lit__L0 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: stw 11,0(7) _litmus_P5_4_: sync _litmus_P5_5_: lwz 30,0(8) _litmus_P5_6_: addi 10,10,-1 _litmus_P5_7_: Lit__L11: _litmus_P5_8_: cmpwi 10,0 _litmus_P5_9_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: stw 11,0(7) _litmus_P4_4_: sync _litmus_P4_5_: lwz 30,0(8) _litmus_P4_6_: addi 10,10,-1 _litmus_P4_7_: Lit__L9: _litmus_P4_8_: cmpwi 10,0 _litmus_P4_9_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: sync _litmus_P3_5_: lwz 30,0(8) _litmus_P3_6_: addi 10,10,-1 _litmus_P3_7_: Lit__L7: _litmus_P3_8_: cmpwi 10,0 _litmus_P3_9_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: sync _litmus_P2_5_: lwz 30,0(28) _litmus_P2_6_: addi 10,10,-1 _litmus_P2_7_: Lit__L5: _litmus_P2_8_: cmpwi 10,0 _litmus_P2_9_: bgt Lit__L4 Test F06 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0) is NOT validated Hash=b2e998417a52a8f0e42c8ed402b9b8c4 Time F06 55.25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/F07.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC F07 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=d; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c; 6:r2=c; 6:r4=d;} P0 | P1 | P2 | P3 | P4 | P5 | P6 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; sync | sync | sync | sync | sync | sync | sync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: sync _litmus_P1_5_: lwz 30,0(8) _litmus_P1_6_: addi 10,10,-1 _litmus_P1_7_: Lit__L3: _litmus_P1_8_: cmpwi 10,0 _litmus_P1_9_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: sync _litmus_P0_5_: lwz 30,0(8) _litmus_P0_6_: addi 10,10,-1 _litmus_P0_7_: Lit__L1: _litmus_P0_8_: cmpwi 10,0 _litmus_P0_9_: bgt Lit__L0 _litmus_P6_0_: b Lit__L13 _litmus_P6_1_: Lit__L12: _litmus_P6_2_: li 11,1 _litmus_P6_3_: stw 11,0(7) _litmus_P6_4_: sync _litmus_P6_5_: lwz 30,0(8) _litmus_P6_6_: addi 10,10,-1 _litmus_P6_7_: Lit__L13: _litmus_P6_8_: cmpwi 10,0 _litmus_P6_9_: bgt Lit__L12 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: stw 11,0(7) _litmus_P5_4_: sync _litmus_P5_5_: lwz 30,0(8) _litmus_P5_6_: addi 10,10,-1 _litmus_P5_7_: Lit__L11: _litmus_P5_8_: cmpwi 10,0 _litmus_P5_9_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: stw 11,0(7) _litmus_P4_4_: sync _litmus_P4_5_: lwz 30,0(8) _litmus_P4_6_: addi 10,10,-1 _litmus_P4_7_: Lit__L9: _litmus_P4_8_: cmpwi 10,0 _litmus_P4_9_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: sync _litmus_P3_5_: lwz 30,0(8) _litmus_P3_6_: addi 10,10,-1 _litmus_P3_7_: Lit__L7: _litmus_P3_8_: cmpwi 10,0 _litmus_P3_9_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: sync _litmus_P2_5_: lwz 30,0(28) _litmus_P2_6_: addi 10,10,-1 _litmus_P2_7_: Lit__L5: _litmus_P2_8_: cmpwi 10,0 _litmus_P2_9_: bgt Lit__L4 Test F07 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; 6:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0) is NOT validated Hash=309301f5a87cdbe013395c68728030b0 Time F07 68.20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/F08.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC F08 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=e; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c; 6:r2=c; 6:r4=d; 7:r2=d; 7:r4=e;} P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; sync | sync | sync | sync | sync | sync | sync | sync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0 /\ 7:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: stw 11,0(7) _litmus_P1_4_: sync _litmus_P1_5_: lwz 31,0(8) _litmus_P1_6_: addi 10,10,-1 _litmus_P1_7_: Lit__L3: _litmus_P1_8_: cmpwi 10,0 _litmus_P1_9_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: stw 11,0(7) _litmus_P0_4_: sync _litmus_P0_5_: lwz 31,0(8) _litmus_P0_6_: addi 10,10,-1 _litmus_P0_7_: Lit__L1: _litmus_P0_8_: cmpwi 10,0 _litmus_P0_9_: bgt Lit__L0 _litmus_P7_0_: b Lit__L15 _litmus_P7_1_: Lit__L14: _litmus_P7_2_: li 11,1 _litmus_P7_3_: stw 11,0(7) _litmus_P7_4_: sync _litmus_P7_5_: lwz 31,0(8) _litmus_P7_6_: addi 10,10,-1 _litmus_P7_7_: Lit__L15: _litmus_P7_8_: cmpwi 10,0 _litmus_P7_9_: bgt Lit__L14 _litmus_P6_0_: b Lit__L13 _litmus_P6_1_: Lit__L12: _litmus_P6_2_: li 11,1 _litmus_P6_3_: stw 11,0(7) _litmus_P6_4_: sync _litmus_P6_5_: lwz 31,0(8) _litmus_P6_6_: addi 10,10,-1 _litmus_P6_7_: Lit__L13: _litmus_P6_8_: cmpwi 10,0 _litmus_P6_9_: bgt Lit__L12 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: stw 11,0(7) _litmus_P5_4_: sync _litmus_P5_5_: lwz 31,0(8) _litmus_P5_6_: addi 10,10,-1 _litmus_P5_7_: Lit__L11: _litmus_P5_8_: cmpwi 10,0 _litmus_P5_9_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: stw 11,0(7) _litmus_P4_4_: sync _litmus_P4_5_: lwz 31,0(8) _litmus_P4_6_: addi 10,10,-1 _litmus_P4_7_: Lit__L9: _litmus_P4_8_: cmpwi 10,0 _litmus_P4_9_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: stw 11,0(28) _litmus_P3_4_: sync _litmus_P3_5_: lwz 31,0(8) _litmus_P3_6_: addi 10,10,-1 _litmus_P3_7_: Lit__L7: _litmus_P3_8_: cmpwi 10,0 _litmus_P3_9_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: stw 11,0(8) _litmus_P2_4_: sync _litmus_P2_5_: lwz 31,0(28) _litmus_P2_6_: addi 10,10,-1 _litmus_P2_7_: Lit__L5: _litmus_P2_8_: cmpwi 10,0 _litmus_P2_9_: bgt Lit__L4 Test F08 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; 6:r3=1; 7:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0 /\ 7:r3=0) is NOT validated Hash=6bb8aed0278838c9d4dba3115901ac60 Time F08 64.48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/A01.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC A01 "reference, one thread" {0:r2=y; 0:r4=x;} P0 ; li r1,1 ; sta01: ; lwarx r5,r0,r2 ; stwcx. r1,r0,r2 ; bne sta01 ; FNO00: ; lwarx r3,r0,r4 ; stwcx. r3,r0,r4 ; bne FNO00 ; locations [0:r3; ] forall (true) Generated assembler _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: Litsta01: _litmus_P0_4_: lwarx 10,0,28 _litmus_P0_5_: stwcx. 11,0,28 _litmus_P0_6_: bne Litsta01 _litmus_P0_7_: LitFNO00: _litmus_P0_8_: lwarx 30,0,7 _litmus_P0_9_: stwcx. 30,0,7 _litmus_P0_10_: bne LitFNO00 _litmus_P0_11_: addi 8,8,-1 _litmus_P0_12_: Lit__L1: _litmus_P0_13_: cmpwi 8,0 _litmus_P0_14_: bgt Lit__L0 Test A01 Required Histogram (1 states) 1 :>0:r3=0; Ok Witnesses Positive: 1, Negative: 0 Condition forall (true) is validated Hash=68179044082ff102d26f4e822906a7de Time A01 5.24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/A02.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC A02 "PodWR Fre PodWR Fre" {0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;} P0 | P1 ; li r1,1 | li r1,1 ; sta01: | sta03: ; lwarx r5,r0,r2 | lwarx r5,r0,r2 ; stwcx. r1,r0,r2 | stwcx. r1,r0,r2 ; bne sta01 | bne sta03 ; FNO00: | FNO02: ; lwarx r3,r0,r4 | lwarx r3,r0,r4 ; stwcx. r3,r0,r4 | stwcx. r3,r0,r4 ; bne FNO00 | bne FNO02 ; exists (0:r3=0 /\ 1:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: Litsta03: _litmus_P1_4_: lwarx 10,0,7 _litmus_P1_5_: stwcx. 11,0,7 _litmus_P1_6_: bne Litsta03 _litmus_P1_7_: LitFNO02: _litmus_P1_8_: lwarx 30,0,28 _litmus_P1_9_: stwcx. 30,0,28 _litmus_P1_10_: bne LitFNO02 _litmus_P1_11_: addi 8,8,-1 _litmus_P1_12_: Lit__L3: _litmus_P1_13_: cmpwi 8,0 _litmus_P1_14_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: Litsta01: _litmus_P0_4_: lwarx 10,0,28 _litmus_P0_5_: stwcx. 11,0,28 _litmus_P0_6_: bne Litsta01 _litmus_P0_7_: LitFNO00: _litmus_P0_8_: lwarx 30,0,7 _litmus_P0_9_: stwcx. 30,0,7 _litmus_P0_10_: bne LitFNO00 _litmus_P0_11_: addi 8,8,-1 _litmus_P0_12_: Lit__L1: _litmus_P0_13_: cmpwi 8,0 _litmus_P0_14_: bgt Lit__L0 Test A02 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0) is NOT validated Hash=3486360ac34585c8ae8c309058db7ef6 Time A02 13.21 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/A03.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC A03 "PodWR Fre PodWR Fre PodWR Fre" {0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,1 | li r1,1 ; sta01: | sta03: | sta05: ; lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 ; stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 ; bne sta01 | bne sta03 | bne sta05 ; FNO00: | FNO02: | FNO04: ; lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 ; stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 ; bne FNO00 | bne FNO02 | bne FNO04 ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: Litsta03: _litmus_P1_4_: lwarx 10,0,6 _litmus_P1_5_: stwcx. 11,0,6 _litmus_P1_6_: bne Litsta03 _litmus_P1_7_: LitFNO02: _litmus_P1_8_: lwarx 27,0,7 _litmus_P1_9_: stwcx. 27,0,7 _litmus_P1_10_: bne LitFNO02 _litmus_P1_11_: addi 8,8,-1 _litmus_P1_12_: Lit__L3: _litmus_P1_13_: cmpwi 8,0 _litmus_P1_14_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: Litsta01: _litmus_P0_4_: lwarx 10,0,28 _litmus_P0_5_: stwcx. 11,0,28 _litmus_P0_6_: bne Litsta01 _litmus_P0_7_: LitFNO00: _litmus_P0_8_: lwarx 27,0,7 _litmus_P0_9_: stwcx. 27,0,7 _litmus_P0_10_: bne LitFNO00 _litmus_P0_11_: addi 8,8,-1 _litmus_P0_12_: Lit__L1: _litmus_P0_13_: cmpwi 8,0 _litmus_P0_14_: bgt Lit__L0 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: Litsta05: _litmus_P2_4_: lwarx 10,0,7 _litmus_P2_5_: stwcx. 11,0,7 _litmus_P2_6_: bne Litsta05 _litmus_P2_7_: LitFNO04: _litmus_P2_8_: lwarx 27,0,28 _litmus_P2_9_: stwcx. 27,0,28 _litmus_P2_10_: bne LitFNO04 _litmus_P2_11_: addi 8,8,-1 _litmus_P2_12_: Lit__L5: _litmus_P2_13_: cmpwi 8,0 _litmus_P2_14_: bgt Lit__L4 Test A03 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0) is NOT validated Hash=231d4636b8e8ea6272fa620b3ef7f05c Time A03 25.06 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/A04.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC A04 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 ; sta01: | sta03: | sta05: | sta07: ; lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 ; stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 ; bne sta01 | bne sta03 | bne sta05 | bne sta07 ; FNO00: | FNO02: | FNO04: | FNO06: ; lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 ; stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 ; bne FNO00 | bne FNO02 | bne FNO04 | bne FNO06 ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: Litsta03: _litmus_P1_4_: lwarx 10,0,6 _litmus_P1_5_: stwcx. 11,0,6 _litmus_P1_6_: bne Litsta03 _litmus_P1_7_: LitFNO02: _litmus_P1_8_: lwarx 30,0,7 _litmus_P1_9_: stwcx. 30,0,7 _litmus_P1_10_: bne LitFNO02 _litmus_P1_11_: addi 8,8,-1 _litmus_P1_12_: Lit__L3: _litmus_P1_13_: cmpwi 8,0 _litmus_P1_14_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: Litsta01: _litmus_P0_4_: lwarx 10,0,6 _litmus_P0_5_: stwcx. 11,0,6 _litmus_P0_6_: bne Litsta01 _litmus_P0_7_: LitFNO00: _litmus_P0_8_: lwarx 30,0,7 _litmus_P0_9_: stwcx. 30,0,7 _litmus_P0_10_: bne LitFNO00 _litmus_P0_11_: addi 8,8,-1 _litmus_P0_12_: Lit__L1: _litmus_P0_13_: cmpwi 8,0 _litmus_P0_14_: bgt Lit__L0 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: Litsta07: _litmus_P3_4_: lwarx 10,0,28 _litmus_P3_5_: stwcx. 11,0,28 _litmus_P3_6_: bne Litsta07 _litmus_P3_7_: LitFNO06: _litmus_P3_8_: lwarx 30,0,7 _litmus_P3_9_: stwcx. 30,0,7 _litmus_P3_10_: bne LitFNO06 _litmus_P3_11_: addi 8,8,-1 _litmus_P3_12_: Lit__L7: _litmus_P3_13_: cmpwi 8,0 _litmus_P3_14_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: Litsta05: _litmus_P2_4_: lwarx 10,0,7 _litmus_P2_5_: stwcx. 11,0,7 _litmus_P2_6_: bne Litsta05 _litmus_P2_7_: LitFNO04: _litmus_P2_8_: lwarx 30,0,28 _litmus_P2_9_: stwcx. 30,0,28 _litmus_P2_10_: bne LitFNO04 _litmus_P2_11_: addi 8,8,-1 _litmus_P2_12_: Lit__L5: _litmus_P2_13_: cmpwi 8,0 _litmus_P2_14_: bgt Lit__L4 Test A04 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0) is NOT validated Hash=55d15604eff000586138e158300e8ab5 Time A04 40.61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/A05.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC A05 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=b; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b;} P0 | P1 | P2 | P3 | P4 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; sta01: | sta03: | sta05: | sta07: | sta09: ; lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 ; stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 ; bne sta01 | bne sta03 | bne sta05 | bne sta07 | bne sta09 ; FNO00: | FNO02: | FNO04: | FNO06: | FNO08: ; lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 ; stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 ; bne FNO00 | bne FNO02 | bne FNO04 | bne FNO06 | bne FNO08 ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: Litsta03: _litmus_P1_4_: lwarx 10,0,6 _litmus_P1_5_: stwcx. 11,0,6 _litmus_P1_6_: bne Litsta03 _litmus_P1_7_: LitFNO02: _litmus_P1_8_: lwarx 27,0,7 _litmus_P1_9_: stwcx. 27,0,7 _litmus_P1_10_: bne LitFNO02 _litmus_P1_11_: addi 8,8,-1 _litmus_P1_12_: Lit__L3: _litmus_P1_13_: cmpwi 8,0 _litmus_P1_14_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: Litsta01: _litmus_P0_4_: lwarx 10,0,6 _litmus_P0_5_: stwcx. 11,0,6 _litmus_P0_6_: bne Litsta01 _litmus_P0_7_: LitFNO00: _litmus_P0_8_: lwarx 27,0,7 _litmus_P0_9_: stwcx. 27,0,7 _litmus_P0_10_: bne LitFNO00 _litmus_P0_11_: addi 8,8,-1 _litmus_P0_12_: Lit__L1: _litmus_P0_13_: cmpwi 8,0 _litmus_P0_14_: bgt Lit__L0 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: Litsta09: _litmus_P4_4_: lwarx 10,0,6 _litmus_P4_5_: stwcx. 11,0,6 _litmus_P4_6_: bne Litsta09 _litmus_P4_7_: LitFNO08: _litmus_P4_8_: lwarx 27,0,7 _litmus_P4_9_: stwcx. 27,0,7 _litmus_P4_10_: bne LitFNO08 _litmus_P4_11_: addi 8,8,-1 _litmus_P4_12_: Lit__L9: _litmus_P4_13_: cmpwi 8,0 _litmus_P4_14_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: Litsta07: _litmus_P3_4_: lwarx 10,0,28 _litmus_P3_5_: stwcx. 11,0,28 _litmus_P3_6_: bne Litsta07 _litmus_P3_7_: LitFNO06: _litmus_P3_8_: lwarx 27,0,7 _litmus_P3_9_: stwcx. 27,0,7 _litmus_P3_10_: bne LitFNO06 _litmus_P3_11_: addi 8,8,-1 _litmus_P3_12_: Lit__L7: _litmus_P3_13_: cmpwi 8,0 _litmus_P3_14_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: Litsta05: _litmus_P2_4_: lwarx 10,0,7 _litmus_P2_5_: stwcx. 11,0,7 _litmus_P2_6_: bne Litsta05 _litmus_P2_7_: LitFNO04: _litmus_P2_8_: lwarx 27,0,28 _litmus_P2_9_: stwcx. 27,0,28 _litmus_P2_10_: bne LitFNO04 _litmus_P2_11_: addi 8,8,-1 _litmus_P2_12_: Lit__L5: _litmus_P2_13_: cmpwi 8,0 _litmus_P2_14_: bgt Lit__L4 Test A05 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0) is NOT validated Hash=d8da28711b5892b36e15ba61892b5800 Time A05 56.49 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/A06.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC A06 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=c; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c;} P0 | P1 | P2 | P3 | P4 | P5 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; sta01: | sta03: | sta05: | sta07: | sta09: | sta11: ; lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 ; stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 ; bne sta01 | bne sta03 | bne sta05 | bne sta07 | bne sta09 | bne sta11 ; FNO00: | FNO02: | FNO04: | FNO06: | FNO08: | FNO10: ; lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 ; stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 ; bne FNO00 | bne FNO02 | bne FNO04 | bne FNO06 | bne FNO08 | bne FNO10 ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: Litsta03: _litmus_P1_4_: lwarx 10,0,6 _litmus_P1_5_: stwcx. 11,0,6 _litmus_P1_6_: bne Litsta03 _litmus_P1_7_: LitFNO02: _litmus_P1_8_: lwarx 27,0,7 _litmus_P1_9_: stwcx. 27,0,7 _litmus_P1_10_: bne LitFNO02 _litmus_P1_11_: addi 8,8,-1 _litmus_P1_12_: Lit__L3: _litmus_P1_13_: cmpwi 8,0 _litmus_P1_14_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: Litsta01: _litmus_P0_4_: lwarx 10,0,6 _litmus_P0_5_: stwcx. 11,0,6 _litmus_P0_6_: bne Litsta01 _litmus_P0_7_: LitFNO00: _litmus_P0_8_: lwarx 27,0,7 _litmus_P0_9_: stwcx. 27,0,7 _litmus_P0_10_: bne LitFNO00 _litmus_P0_11_: addi 8,8,-1 _litmus_P0_12_: Lit__L1: _litmus_P0_13_: cmpwi 8,0 _litmus_P0_14_: bgt Lit__L0 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: Litsta11: _litmus_P5_4_: lwarx 10,0,6 _litmus_P5_5_: stwcx. 11,0,6 _litmus_P5_6_: bne Litsta11 _litmus_P5_7_: LitFNO10: _litmus_P5_8_: lwarx 27,0,7 _litmus_P5_9_: stwcx. 27,0,7 _litmus_P5_10_: bne LitFNO10 _litmus_P5_11_: addi 8,8,-1 _litmus_P5_12_: Lit__L11: _litmus_P5_13_: cmpwi 8,0 _litmus_P5_14_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: Litsta09: _litmus_P4_4_: lwarx 10,0,6 _litmus_P4_5_: stwcx. 11,0,6 _litmus_P4_6_: bne Litsta09 _litmus_P4_7_: LitFNO08: _litmus_P4_8_: lwarx 27,0,7 _litmus_P4_9_: stwcx. 27,0,7 _litmus_P4_10_: bne LitFNO08 _litmus_P4_11_: addi 8,8,-1 _litmus_P4_12_: Lit__L9: _litmus_P4_13_: cmpwi 8,0 _litmus_P4_14_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: Litsta07: _litmus_P3_4_: lwarx 10,0,28 _litmus_P3_5_: stwcx. 11,0,28 _litmus_P3_6_: bne Litsta07 _litmus_P3_7_: LitFNO06: _litmus_P3_8_: lwarx 27,0,7 _litmus_P3_9_: stwcx. 27,0,7 _litmus_P3_10_: bne LitFNO06 _litmus_P3_11_: addi 8,8,-1 _litmus_P3_12_: Lit__L7: _litmus_P3_13_: cmpwi 8,0 _litmus_P3_14_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: Litsta05: _litmus_P2_4_: lwarx 10,0,7 _litmus_P2_5_: stwcx. 11,0,7 _litmus_P2_6_: bne Litsta05 _litmus_P2_7_: LitFNO04: _litmus_P2_8_: lwarx 27,0,28 _litmus_P2_9_: stwcx. 27,0,28 _litmus_P2_10_: bne LitFNO04 _litmus_P2_11_: addi 8,8,-1 _litmus_P2_12_: Lit__L5: _litmus_P2_13_: cmpwi 8,0 _litmus_P2_14_: bgt Lit__L4 Test A06 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0) is NOT validated Hash=9560da4de647d036bfbef202756a3bd0 Time A06 84.35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/A07.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC A07 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=d; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c; 6:r2=c; 6:r4=d;} P0 | P1 | P2 | P3 | P4 | P5 | P6 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; sta01: | sta03: | sta05: | sta07: | sta09: | sta11: | sta13: ; lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 ; stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 ; bne sta01 | bne sta03 | bne sta05 | bne sta07 | bne sta09 | bne sta11 | bne sta13 ; FNO00: | FNO02: | FNO04: | FNO06: | FNO08: | FNO10: | FNO12: ; lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 ; stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 ; bne FNO00 | bne FNO02 | bne FNO04 | bne FNO06 | bne FNO08 | bne FNO10 | bne FNO12 ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: Litsta03: _litmus_P1_4_: lwarx 10,0,6 _litmus_P1_5_: stwcx. 11,0,6 _litmus_P1_6_: bne Litsta03 _litmus_P1_7_: LitFNO02: _litmus_P1_8_: lwarx 27,0,7 _litmus_P1_9_: stwcx. 27,0,7 _litmus_P1_10_: bne LitFNO02 _litmus_P1_11_: addi 8,8,-1 _litmus_P1_12_: Lit__L3: _litmus_P1_13_: cmpwi 8,0 _litmus_P1_14_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: Litsta01: _litmus_P0_4_: lwarx 10,0,6 _litmus_P0_5_: stwcx. 11,0,6 _litmus_P0_6_: bne Litsta01 _litmus_P0_7_: LitFNO00: _litmus_P0_8_: lwarx 27,0,7 _litmus_P0_9_: stwcx. 27,0,7 _litmus_P0_10_: bne LitFNO00 _litmus_P0_11_: addi 8,8,-1 _litmus_P0_12_: Lit__L1: _litmus_P0_13_: cmpwi 8,0 _litmus_P0_14_: bgt Lit__L0 _litmus_P6_0_: b Lit__L13 _litmus_P6_1_: Lit__L12: _litmus_P6_2_: li 11,1 _litmus_P6_3_: Litsta13: _litmus_P6_4_: lwarx 10,0,6 _litmus_P6_5_: stwcx. 11,0,6 _litmus_P6_6_: bne Litsta13 _litmus_P6_7_: LitFNO12: _litmus_P6_8_: lwarx 27,0,7 _litmus_P6_9_: stwcx. 27,0,7 _litmus_P6_10_: bne LitFNO12 _litmus_P6_11_: addi 8,8,-1 _litmus_P6_12_: Lit__L13: _litmus_P6_13_: cmpwi 8,0 _litmus_P6_14_: bgt Lit__L12 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: Litsta11: _litmus_P5_4_: lwarx 10,0,6 _litmus_P5_5_: stwcx. 11,0,6 _litmus_P5_6_: bne Litsta11 _litmus_P5_7_: LitFNO10: _litmus_P5_8_: lwarx 27,0,7 _litmus_P5_9_: stwcx. 27,0,7 _litmus_P5_10_: bne LitFNO10 _litmus_P5_11_: addi 8,8,-1 _litmus_P5_12_: Lit__L11: _litmus_P5_13_: cmpwi 8,0 _litmus_P5_14_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: Litsta09: _litmus_P4_4_: lwarx 10,0,6 _litmus_P4_5_: stwcx. 11,0,6 _litmus_P4_6_: bne Litsta09 _litmus_P4_7_: LitFNO08: _litmus_P4_8_: lwarx 27,0,7 _litmus_P4_9_: stwcx. 27,0,7 _litmus_P4_10_: bne LitFNO08 _litmus_P4_11_: addi 8,8,-1 _litmus_P4_12_: Lit__L9: _litmus_P4_13_: cmpwi 8,0 _litmus_P4_14_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: Litsta07: _litmus_P3_4_: lwarx 10,0,28 _litmus_P3_5_: stwcx. 11,0,28 _litmus_P3_6_: bne Litsta07 _litmus_P3_7_: LitFNO06: _litmus_P3_8_: lwarx 27,0,7 _litmus_P3_9_: stwcx. 27,0,7 _litmus_P3_10_: bne LitFNO06 _litmus_P3_11_: addi 8,8,-1 _litmus_P3_12_: Lit__L7: _litmus_P3_13_: cmpwi 8,0 _litmus_P3_14_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: Litsta05: _litmus_P2_4_: lwarx 10,0,7 _litmus_P2_5_: stwcx. 11,0,7 _litmus_P2_6_: bne Litsta05 _litmus_P2_7_: LitFNO04: _litmus_P2_8_: lwarx 27,0,28 _litmus_P2_9_: stwcx. 27,0,28 _litmus_P2_10_: bne LitFNO04 _litmus_P2_11_: addi 8,8,-1 _litmus_P2_12_: Lit__L5: _litmus_P2_13_: cmpwi 8,0 _litmus_P2_14_: bgt Lit__L4 Test A07 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; 6:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0) is NOT validated Hash=dd22d95e234892ffc8be00c4226f5127 Time A07 99.95 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/A08.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC A08 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r2=e; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c; 6:r2=c; 6:r4=d; 7:r2=d; 7:r4=e;} P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; sta01: | sta03: | sta05: | sta07: | sta09: | sta11: | sta13: | sta15: ; lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 | lwarx r5,r0,r2 ; stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 | stwcx. r1,r0,r2 ; bne sta01 | bne sta03 | bne sta05 | bne sta07 | bne sta09 | bne sta11 | bne sta13 | bne sta15 ; FNO00: | FNO02: | FNO04: | FNO06: | FNO08: | FNO10: | FNO12: | FNO14: ; lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 | lwarx r3,r0,r4 ; stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 | stwcx. r3,r0,r4 ; bne FNO00 | bne FNO02 | bne FNO04 | bne FNO06 | bne FNO08 | bne FNO10 | bne FNO12 | bne FNO14 ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0 /\ 7:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: Litsta03: _litmus_P1_4_: lwarx 10,0,6 _litmus_P1_5_: stwcx. 11,0,6 _litmus_P1_6_: bne Litsta03 _litmus_P1_7_: LitFNO02: _litmus_P1_8_: lwarx 30,0,7 _litmus_P1_9_: stwcx. 30,0,7 _litmus_P1_10_: bne LitFNO02 _litmus_P1_11_: addi 8,8,-1 _litmus_P1_12_: Lit__L3: _litmus_P1_13_: cmpwi 8,0 _litmus_P1_14_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: Litsta01: _litmus_P0_4_: lwarx 10,0,6 _litmus_P0_5_: stwcx. 11,0,6 _litmus_P0_6_: bne Litsta01 _litmus_P0_7_: LitFNO00: _litmus_P0_8_: lwarx 30,0,7 _litmus_P0_9_: stwcx. 30,0,7 _litmus_P0_10_: bne LitFNO00 _litmus_P0_11_: addi 8,8,-1 _litmus_P0_12_: Lit__L1: _litmus_P0_13_: cmpwi 8,0 _litmus_P0_14_: bgt Lit__L0 _litmus_P7_0_: b Lit__L15 _litmus_P7_1_: Lit__L14: _litmus_P7_2_: li 11,1 _litmus_P7_3_: Litsta15: _litmus_P7_4_: lwarx 10,0,6 _litmus_P7_5_: stwcx. 11,0,6 _litmus_P7_6_: bne Litsta15 _litmus_P7_7_: LitFNO14: _litmus_P7_8_: lwarx 30,0,7 _litmus_P7_9_: stwcx. 30,0,7 _litmus_P7_10_: bne LitFNO14 _litmus_P7_11_: addi 8,8,-1 _litmus_P7_12_: Lit__L15: _litmus_P7_13_: cmpwi 8,0 _litmus_P7_14_: bgt Lit__L14 _litmus_P6_0_: b Lit__L13 _litmus_P6_1_: Lit__L12: _litmus_P6_2_: li 11,1 _litmus_P6_3_: Litsta13: _litmus_P6_4_: lwarx 10,0,6 _litmus_P6_5_: stwcx. 11,0,6 _litmus_P6_6_: bne Litsta13 _litmus_P6_7_: LitFNO12: _litmus_P6_8_: lwarx 30,0,7 _litmus_P6_9_: stwcx. 30,0,7 _litmus_P6_10_: bne LitFNO12 _litmus_P6_11_: addi 8,8,-1 _litmus_P6_12_: Lit__L13: _litmus_P6_13_: cmpwi 8,0 _litmus_P6_14_: bgt Lit__L12 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: Litsta11: _litmus_P5_4_: lwarx 10,0,6 _litmus_P5_5_: stwcx. 11,0,6 _litmus_P5_6_: bne Litsta11 _litmus_P5_7_: LitFNO10: _litmus_P5_8_: lwarx 30,0,7 _litmus_P5_9_: stwcx. 30,0,7 _litmus_P5_10_: bne LitFNO10 _litmus_P5_11_: addi 8,8,-1 _litmus_P5_12_: Lit__L11: _litmus_P5_13_: cmpwi 8,0 _litmus_P5_14_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: Litsta09: _litmus_P4_4_: lwarx 10,0,6 _litmus_P4_5_: stwcx. 11,0,6 _litmus_P4_6_: bne Litsta09 _litmus_P4_7_: LitFNO08: _litmus_P4_8_: lwarx 30,0,7 _litmus_P4_9_: stwcx. 30,0,7 _litmus_P4_10_: bne LitFNO08 _litmus_P4_11_: addi 8,8,-1 _litmus_P4_12_: Lit__L9: _litmus_P4_13_: cmpwi 8,0 _litmus_P4_14_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: Litsta07: _litmus_P3_4_: lwarx 10,0,28 _litmus_P3_5_: stwcx. 11,0,28 _litmus_P3_6_: bne Litsta07 _litmus_P3_7_: LitFNO06: _litmus_P3_8_: lwarx 30,0,7 _litmus_P3_9_: stwcx. 30,0,7 _litmus_P3_10_: bne LitFNO06 _litmus_P3_11_: addi 8,8,-1 _litmus_P3_12_: Lit__L7: _litmus_P3_13_: cmpwi 8,0 _litmus_P3_14_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: Litsta05: _litmus_P2_4_: lwarx 10,0,7 _litmus_P2_5_: stwcx. 11,0,7 _litmus_P2_6_: bne Litsta05 _litmus_P2_7_: LitFNO04: _litmus_P2_8_: lwarx 30,0,28 _litmus_P2_9_: stwcx. 30,0,28 _litmus_P2_10_: bne LitFNO04 _litmus_P2_11_: addi 8,8,-1 _litmus_P2_12_: Lit__L5: _litmus_P2_13_: cmpwi 8,0 _litmus_P2_14_: bgt Lit__L4 Test A08 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; 6:r3=1; 7:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0 /\ 7:r3=0) is NOT validated Hash=f3663530177f6f830c9ade2b3d473786 Time A08 99.04 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/L01.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC L01 "reference, one thread" {0:r5=L_y; 0:r6=L_x; 0:r2=y; 0:r4=x;} P0 ; li r1,1 ; b ATO03 ; LOOP02: ; lwz r7,0(r5) ; cmpwi r7,0 ; bne LOOP02 ; ATO03: ; lwarx r7,r0,r5 ; cmpwi r7,0 ; bne LOOP02 ; li r7,1 ; stwcx. r7,r0,r5 ; bne LOOP02 ; isync ; stw r1,0(r2) ; lwsync ; li r7,0 ; stw r7,0(r5) ; b ATO01 ; LOOP00: ; lwz r7,0(r6) ; cmpwi r7,0 ; bne LOOP00 ; ATO01: ; lwarx r7,r0,r6 ; cmpwi r7,0 ; bne LOOP00 ; li r7,1 ; stwcx. r7,r0,r6 ; bne LOOP00 ; isync ; lwz r3,0(r4) ; lwsync ; li r7,0 ; stw r7,0(r6) ; locations [0:r3; ] forall (true) Generated assembler _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: b LitATO03 _litmus_P0_4_: LitLOOP02: _litmus_P0_5_: lwz 10,0(6) _litmus_P0_6_: cmpwi 10,0 _litmus_P0_7_: bne LitLOOP02 _litmus_P0_8_: LitATO03: _litmus_P0_9_: lwarx 10,0,6 _litmus_P0_10_: cmpwi 10,0 _litmus_P0_11_: bne LitLOOP02 _litmus_P0_12_: li 10,1 _litmus_P0_13_: stwcx. 10,0,6 _litmus_P0_14_: bne LitLOOP02 _litmus_P0_15_: isync _litmus_P0_16_: stw 11,0(28) _litmus_P0_17_: lwsync _litmus_P0_18_: li 10,0 _litmus_P0_19_: stw 10,0(6) _litmus_P0_20_: b LitATO01 _litmus_P0_21_: LitLOOP00: _litmus_P0_22_: lwz 10,0(7) _litmus_P0_23_: cmpwi 10,0 _litmus_P0_24_: bne LitLOOP00 _litmus_P0_25_: LitATO01: _litmus_P0_26_: lwarx 10,0,7 _litmus_P0_27_: cmpwi 10,0 _litmus_P0_28_: bne LitLOOP00 _litmus_P0_29_: li 10,1 _litmus_P0_30_: stwcx. 10,0,7 _litmus_P0_31_: bne LitLOOP00 _litmus_P0_32_: isync _litmus_P0_33_: lwz 26,0(5) _litmus_P0_34_: lwsync _litmus_P0_35_: li 10,0 _litmus_P0_36_: stw 10,0(7) _litmus_P0_37_: addi 8,8,-1 _litmus_P0_38_: Lit__L1: _litmus_P0_39_: cmpwi 8,0 _litmus_P0_40_: bgt Lit__L0 Test L01 Required Histogram (1 states) 1 :>0:r3=0; Ok Witnesses Positive: 1, Negative: 0 Condition forall (true) is validated Hash=f4567b470f57fc83ce8833d2aabbf8c1 Time L01 9.80 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/L02.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC L02 "PodWR Fre PodWR Fre" {0:r5=L_y; 0:r6=L_x; 1:r6=L_y; 1:r5=L_x; 0:r2=y; 0:r4=x; 1:r2=x; 1:r4=y;} P0 | P1 ; li r1,1 | li r1,1 ; b ATO03 | b ATO07 ; LOOP02: | LOOP06: ; lwz r7,0(r5) | lwz r7,0(r5) ; cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 ; ATO03: | ATO07: ; lwarx r7,r0,r5 | lwarx r7,r0,r5 ; cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 ; li r7,1 | li r7,1 ; stwcx. r7,r0,r5 | stwcx. r7,r0,r5 ; bne LOOP02 | bne LOOP06 ; isync | isync ; stw r1,0(r2) | stw r1,0(r2) ; lwsync | lwsync ; li r7,0 | li r7,0 ; stw r7,0(r5) | stw r7,0(r5) ; b ATO01 | b ATO05 ; LOOP00: | LOOP04: ; lwz r7,0(r6) | lwz r7,0(r6) ; cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 ; ATO01: | ATO05: ; lwarx r7,r0,r6 | lwarx r7,r0,r6 ; cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 ; li r7,1 | li r7,1 ; stwcx. r7,r0,r6 | stwcx. r7,r0,r6 ; bne LOOP00 | bne LOOP04 ; isync | isync ; lwz r3,0(r4) | lwz r3,0(r4) ; lwsync | lwsync ; li r7,0 | li r7,0 ; stw r7,0(r6) | stw r7,0(r6) ; exists (0:r3=0 /\ 1:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: b LitATO07 _litmus_P1_4_: LitLOOP06: _litmus_P1_5_: lwz 10,0(6) _litmus_P1_6_: cmpwi 10,0 _litmus_P1_7_: bne LitLOOP06 _litmus_P1_8_: LitATO07: _litmus_P1_9_: lwarx 10,0,6 _litmus_P1_10_: cmpwi 10,0 _litmus_P1_11_: bne LitLOOP06 _litmus_P1_12_: li 10,1 _litmus_P1_13_: stwcx. 10,0,6 _litmus_P1_14_: bne LitLOOP06 _litmus_P1_15_: isync _litmus_P1_16_: stw 11,0(5) _litmus_P1_17_: lwsync _litmus_P1_18_: li 10,0 _litmus_P1_19_: stw 10,0(6) _litmus_P1_20_: b LitATO05 _litmus_P1_21_: LitLOOP04: _litmus_P1_22_: lwz 10,0(7) _litmus_P1_23_: cmpwi 10,0 _litmus_P1_24_: bne LitLOOP04 _litmus_P1_25_: LitATO05: _litmus_P1_26_: lwarx 10,0,7 _litmus_P1_27_: cmpwi 10,0 _litmus_P1_28_: bne LitLOOP04 _litmus_P1_29_: li 10,1 _litmus_P1_30_: stwcx. 10,0,7 _litmus_P1_31_: bne LitLOOP04 _litmus_P1_32_: isync _litmus_P1_33_: lwz 26,0(28) _litmus_P1_34_: lwsync _litmus_P1_35_: li 10,0 _litmus_P1_36_: stw 10,0(7) _litmus_P1_37_: addi 8,8,-1 _litmus_P1_38_: Lit__L3: _litmus_P1_39_: cmpwi 8,0 _litmus_P1_40_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: b LitATO03 _litmus_P0_4_: LitLOOP02: _litmus_P0_5_: lwz 10,0(6) _litmus_P0_6_: cmpwi 10,0 _litmus_P0_7_: bne LitLOOP02 _litmus_P0_8_: LitATO03: _litmus_P0_9_: lwarx 10,0,6 _litmus_P0_10_: cmpwi 10,0 _litmus_P0_11_: bne LitLOOP02 _litmus_P0_12_: li 10,1 _litmus_P0_13_: stwcx. 10,0,6 _litmus_P0_14_: bne LitLOOP02 _litmus_P0_15_: isync _litmus_P0_16_: stw 11,0(28) _litmus_P0_17_: lwsync _litmus_P0_18_: li 10,0 _litmus_P0_19_: stw 10,0(6) _litmus_P0_20_: b LitATO01 _litmus_P0_21_: LitLOOP00: _litmus_P0_22_: lwz 10,0(7) _litmus_P0_23_: cmpwi 10,0 _litmus_P0_24_: bne LitLOOP00 _litmus_P0_25_: LitATO01: _litmus_P0_26_: lwarx 10,0,7 _litmus_P0_27_: cmpwi 10,0 _litmus_P0_28_: bne LitLOOP00 _litmus_P0_29_: li 10,1 _litmus_P0_30_: stwcx. 10,0,7 _litmus_P0_31_: bne LitLOOP00 _litmus_P0_32_: isync _litmus_P0_33_: lwz 26,0(5) _litmus_P0_34_: lwsync _litmus_P0_35_: li 10,0 _litmus_P0_36_: stw 10,0(7) _litmus_P0_37_: addi 8,8,-1 _litmus_P0_38_: Lit__L1: _litmus_P0_39_: cmpwi 8,0 _litmus_P0_40_: bgt Lit__L0 Test L02 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0) is NOT validated Hash=69932251bf788f9c59d416ab7b46fee3 Time L02 38.50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/L03.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC L03 "PodWR Fre PodWR Fre PodWR Fre" {0:r5=L_z; 0:r6=L_x; 1:r6=L_y; 1:r5=L_x; 2:r6=L_z; 2:r5=L_y; 0:r2=z; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z;} P0 | P1 | P2 ; li r1,1 | li r1,1 | li r1,1 ; b ATO03 | b ATO07 | b ATO11 ; LOOP02: | LOOP06: | LOOP10: ; lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 ; ATO03: | ATO07: | ATO11: ; lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 ; li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 ; bne LOOP02 | bne LOOP06 | bne LOOP10 ; isync | isync | isync ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) ; b ATO01 | b ATO05 | b ATO09 ; LOOP00: | LOOP04: | LOOP08: ; lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 ; ATO01: | ATO05: | ATO09: ; lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 ; li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 ; bne LOOP00 | bne LOOP04 | bne LOOP08 ; isync | isync | isync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: b LitATO07 _litmus_P1_4_: LitLOOP06: _litmus_P1_5_: lwz 10,0(6) _litmus_P1_6_: cmpwi 10,0 _litmus_P1_7_: bne LitLOOP06 _litmus_P1_8_: LitATO07: _litmus_P1_9_: lwarx 10,0,6 _litmus_P1_10_: cmpwi 10,0 _litmus_P1_11_: bne LitLOOP06 _litmus_P1_12_: li 10,1 _litmus_P1_13_: stwcx. 10,0,6 _litmus_P1_14_: bne LitLOOP06 _litmus_P1_15_: isync _litmus_P1_16_: stw 11,0(4) _litmus_P1_17_: lwsync _litmus_P1_18_: li 10,0 _litmus_P1_19_: stw 10,0(6) _litmus_P1_20_: b LitATO05 _litmus_P1_21_: LitLOOP04: _litmus_P1_22_: lwz 10,0(7) _litmus_P1_23_: cmpwi 10,0 _litmus_P1_24_: bne LitLOOP04 _litmus_P1_25_: LitATO05: _litmus_P1_26_: lwarx 10,0,7 _litmus_P1_27_: cmpwi 10,0 _litmus_P1_28_: bne LitLOOP04 _litmus_P1_29_: li 10,1 _litmus_P1_30_: stwcx. 10,0,7 _litmus_P1_31_: bne LitLOOP04 _litmus_P1_32_: isync _litmus_P1_33_: lwz 25,0(5) _litmus_P1_34_: lwsync _litmus_P1_35_: li 10,0 _litmus_P1_36_: stw 10,0(7) _litmus_P1_37_: addi 8,8,-1 _litmus_P1_38_: Lit__L3: _litmus_P1_39_: cmpwi 8,0 _litmus_P1_40_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: b LitATO03 _litmus_P0_4_: LitLOOP02: _litmus_P0_5_: lwz 10,0(6) _litmus_P0_6_: cmpwi 10,0 _litmus_P0_7_: bne LitLOOP02 _litmus_P0_8_: LitATO03: _litmus_P0_9_: lwarx 10,0,6 _litmus_P0_10_: cmpwi 10,0 _litmus_P0_11_: bne LitLOOP02 _litmus_P0_12_: li 10,1 _litmus_P0_13_: stwcx. 10,0,6 _litmus_P0_14_: bne LitLOOP02 _litmus_P0_15_: isync _litmus_P0_16_: stw 11,0(28) _litmus_P0_17_: lwsync _litmus_P0_18_: li 10,0 _litmus_P0_19_: stw 10,0(6) _litmus_P0_20_: b LitATO01 _litmus_P0_21_: LitLOOP00: _litmus_P0_22_: lwz 10,0(7) _litmus_P0_23_: cmpwi 10,0 _litmus_P0_24_: bne LitLOOP00 _litmus_P0_25_: LitATO01: _litmus_P0_26_: lwarx 10,0,7 _litmus_P0_27_: cmpwi 10,0 _litmus_P0_28_: bne LitLOOP00 _litmus_P0_29_: li 10,1 _litmus_P0_30_: stwcx. 10,0,7 _litmus_P0_31_: bne LitLOOP00 _litmus_P0_32_: isync _litmus_P0_33_: lwz 25,0(5) _litmus_P0_34_: lwsync _litmus_P0_35_: li 10,0 _litmus_P0_36_: stw 10,0(7) _litmus_P0_37_: addi 8,8,-1 _litmus_P0_38_: Lit__L1: _litmus_P0_39_: cmpwi 8,0 _litmus_P0_40_: bgt Lit__L0 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: b LitATO11 _litmus_P2_4_: LitLOOP10: _litmus_P2_5_: lwz 10,0(6) _litmus_P2_6_: cmpwi 10,0 _litmus_P2_7_: bne LitLOOP10 _litmus_P2_8_: LitATO11: _litmus_P2_9_: lwarx 10,0,6 _litmus_P2_10_: cmpwi 10,0 _litmus_P2_11_: bne LitLOOP10 _litmus_P2_12_: li 10,1 _litmus_P2_13_: stwcx. 10,0,6 _litmus_P2_14_: bne LitLOOP10 _litmus_P2_15_: isync _litmus_P2_16_: stw 11,0(5) _litmus_P2_17_: lwsync _litmus_P2_18_: li 10,0 _litmus_P2_19_: stw 10,0(6) _litmus_P2_20_: b LitATO09 _litmus_P2_21_: LitLOOP08: _litmus_P2_22_: lwz 10,0(7) _litmus_P2_23_: cmpwi 10,0 _litmus_P2_24_: bne LitLOOP08 _litmus_P2_25_: LitATO09: _litmus_P2_26_: lwarx 10,0,7 _litmus_P2_27_: cmpwi 10,0 _litmus_P2_28_: bne LitLOOP08 _litmus_P2_29_: li 10,1 _litmus_P2_30_: stwcx. 10,0,7 _litmus_P2_31_: bne LitLOOP08 _litmus_P2_32_: isync _litmus_P2_33_: lwz 25,0(28) _litmus_P2_34_: lwsync _litmus_P2_35_: li 10,0 _litmus_P2_36_: stw 10,0(7) _litmus_P2_37_: addi 8,8,-1 _litmus_P2_38_: Lit__L5: _litmus_P2_39_: cmpwi 8,0 _litmus_P2_40_: bgt Lit__L4 Test L03 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0) is NOT validated Hash=570f6a71f220a375ccd23a249a5d2a5a Time L03 83.56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/L04.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC L04 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r6=L_x; 0:r5=L_a; 1:r6=L_y; 1:r5=L_x; 2:r6=L_z; 2:r5=L_y; 3:r5=L_z; 3:r6=L_a; 0:r2=a; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a;} P0 | P1 | P2 | P3 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 ; b ATO03 | b ATO07 | b ATO11 | b ATO15 ; LOOP02: | LOOP06: | LOOP10: | LOOP14: ; lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 ; ATO03: | ATO07: | ATO11: | ATO15: ; lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 ; isync | isync | isync | isync ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) ; b ATO01 | b ATO05 | b ATO09 | b ATO13 ; LOOP00: | LOOP04: | LOOP08: | LOOP12: ; lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 ; ATO01: | ATO05: | ATO09: | ATO13: ; lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 ; isync | isync | isync | isync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: b LitATO07 _litmus_P1_4_: LitLOOP06: _litmus_P1_5_: lwz 10,0(6) _litmus_P1_6_: cmpwi 10,0 _litmus_P1_7_: bne LitLOOP06 _litmus_P1_8_: LitATO07: _litmus_P1_9_: lwarx 10,0,6 _litmus_P1_10_: cmpwi 10,0 _litmus_P1_11_: bne LitLOOP06 _litmus_P1_12_: li 10,1 _litmus_P1_13_: stwcx. 10,0,6 _litmus_P1_14_: bne LitLOOP06 _litmus_P1_15_: isync _litmus_P1_16_: stw 11,0(4) _litmus_P1_17_: lwsync _litmus_P1_18_: li 10,0 _litmus_P1_19_: stw 10,0(6) _litmus_P1_20_: b LitATO05 _litmus_P1_21_: LitLOOP04: _litmus_P1_22_: lwz 10,0(7) _litmus_P1_23_: cmpwi 10,0 _litmus_P1_24_: bne LitLOOP04 _litmus_P1_25_: LitATO05: _litmus_P1_26_: lwarx 10,0,7 _litmus_P1_27_: cmpwi 10,0 _litmus_P1_28_: bne LitLOOP04 _litmus_P1_29_: li 10,1 _litmus_P1_30_: stwcx. 10,0,7 _litmus_P1_31_: bne LitLOOP04 _litmus_P1_32_: isync _litmus_P1_33_: lwz 26,0(5) _litmus_P1_34_: lwsync _litmus_P1_35_: li 10,0 _litmus_P1_36_: stw 10,0(7) _litmus_P1_37_: addi 8,8,-1 _litmus_P1_38_: Lit__L3: _litmus_P1_39_: cmpwi 8,0 _litmus_P1_40_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: b LitATO03 _litmus_P0_4_: LitLOOP02: _litmus_P0_5_: lwz 10,0(6) _litmus_P0_6_: cmpwi 10,0 _litmus_P0_7_: bne LitLOOP02 _litmus_P0_8_: LitATO03: _litmus_P0_9_: lwarx 10,0,6 _litmus_P0_10_: cmpwi 10,0 _litmus_P0_11_: bne LitLOOP02 _litmus_P0_12_: li 10,1 _litmus_P0_13_: stwcx. 10,0,6 _litmus_P0_14_: bne LitLOOP02 _litmus_P0_15_: isync _litmus_P0_16_: stw 11,0(4) _litmus_P0_17_: lwsync _litmus_P0_18_: li 10,0 _litmus_P0_19_: stw 10,0(6) _litmus_P0_20_: b LitATO01 _litmus_P0_21_: LitLOOP00: _litmus_P0_22_: lwz 10,0(7) _litmus_P0_23_: cmpwi 10,0 _litmus_P0_24_: bne LitLOOP00 _litmus_P0_25_: LitATO01: _litmus_P0_26_: lwarx 10,0,7 _litmus_P0_27_: cmpwi 10,0 _litmus_P0_28_: bne LitLOOP00 _litmus_P0_29_: li 10,1 _litmus_P0_30_: stwcx. 10,0,7 _litmus_P0_31_: bne LitLOOP00 _litmus_P0_32_: isync _litmus_P0_33_: lwz 26,0(5) _litmus_P0_34_: lwsync _litmus_P0_35_: li 10,0 _litmus_P0_36_: stw 10,0(7) _litmus_P0_37_: addi 8,8,-1 _litmus_P0_38_: Lit__L1: _litmus_P0_39_: cmpwi 8,0 _litmus_P0_40_: bgt Lit__L0 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: b LitATO15 _litmus_P3_4_: LitLOOP14: _litmus_P3_5_: lwz 10,0(6) _litmus_P3_6_: cmpwi 10,0 _litmus_P3_7_: bne LitLOOP14 _litmus_P3_8_: LitATO15: _litmus_P3_9_: lwarx 10,0,6 _litmus_P3_10_: cmpwi 10,0 _litmus_P3_11_: bne LitLOOP14 _litmus_P3_12_: li 10,1 _litmus_P3_13_: stwcx. 10,0,6 _litmus_P3_14_: bne LitLOOP14 _litmus_P3_15_: isync _litmus_P3_16_: stw 11,0(28) _litmus_P3_17_: lwsync _litmus_P3_18_: li 10,0 _litmus_P3_19_: stw 10,0(6) _litmus_P3_20_: b LitATO13 _litmus_P3_21_: LitLOOP12: _litmus_P3_22_: lwz 10,0(7) _litmus_P3_23_: cmpwi 10,0 _litmus_P3_24_: bne LitLOOP12 _litmus_P3_25_: LitATO13: _litmus_P3_26_: lwarx 10,0,7 _litmus_P3_27_: cmpwi 10,0 _litmus_P3_28_: bne LitLOOP12 _litmus_P3_29_: li 10,1 _litmus_P3_30_: stwcx. 10,0,7 _litmus_P3_31_: bne LitLOOP12 _litmus_P3_32_: isync _litmus_P3_33_: lwz 26,0(5) _litmus_P3_34_: lwsync _litmus_P3_35_: li 10,0 _litmus_P3_36_: stw 10,0(7) _litmus_P3_37_: addi 8,8,-1 _litmus_P3_38_: Lit__L7: _litmus_P3_39_: cmpwi 8,0 _litmus_P3_40_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: b LitATO11 _litmus_P2_4_: LitLOOP10: _litmus_P2_5_: lwz 10,0(6) _litmus_P2_6_: cmpwi 10,0 _litmus_P2_7_: bne LitLOOP10 _litmus_P2_8_: LitATO11: _litmus_P2_9_: lwarx 10,0,6 _litmus_P2_10_: cmpwi 10,0 _litmus_P2_11_: bne LitLOOP10 _litmus_P2_12_: li 10,1 _litmus_P2_13_: stwcx. 10,0,6 _litmus_P2_14_: bne LitLOOP10 _litmus_P2_15_: isync _litmus_P2_16_: stw 11,0(5) _litmus_P2_17_: lwsync _litmus_P2_18_: li 10,0 _litmus_P2_19_: stw 10,0(6) _litmus_P2_20_: b LitATO09 _litmus_P2_21_: LitLOOP08: _litmus_P2_22_: lwz 10,0(7) _litmus_P2_23_: cmpwi 10,0 _litmus_P2_24_: bne LitLOOP08 _litmus_P2_25_: LitATO09: _litmus_P2_26_: lwarx 10,0,7 _litmus_P2_27_: cmpwi 10,0 _litmus_P2_28_: bne LitLOOP08 _litmus_P2_29_: li 10,1 _litmus_P2_30_: stwcx. 10,0,7 _litmus_P2_31_: bne LitLOOP08 _litmus_P2_32_: isync _litmus_P2_33_: lwz 26,0(28) _litmus_P2_34_: lwsync _litmus_P2_35_: li 10,0 _litmus_P2_36_: stw 10,0(7) _litmus_P2_37_: addi 8,8,-1 _litmus_P2_38_: Lit__L5: _litmus_P2_39_: cmpwi 8,0 _litmus_P2_40_: bgt Lit__L4 Test L04 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0) is NOT validated Hash=d1f5c2716a6ee369176c483398bbe636 Time L04 82.43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/L05.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC L05 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r6=L_x; 0:r5=L_b; 1:r6=L_y; 1:r5=L_x; 2:r6=L_z; 2:r5=L_y; 3:r5=L_z; 3:r6=L_a; 4:r6=L_b; 4:r5=L_a; 0:r2=b; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b;} P0 | P1 | P2 | P3 | P4 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; b ATO03 | b ATO07 | b ATO11 | b ATO15 | b ATO19 ; LOOP02: | LOOP06: | LOOP10: | LOOP14: | LOOP18: ; lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 ; ATO03: | ATO07: | ATO11: | ATO15: | ATO19: ; lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 ; isync | isync | isync | isync | isync ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwsync | lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) ; b ATO01 | b ATO05 | b ATO09 | b ATO13 | b ATO17 ; LOOP00: | LOOP04: | LOOP08: | LOOP12: | LOOP16: ; lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 ; ATO01: | ATO05: | ATO09: | ATO13: | ATO17: ; lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 ; isync | isync | isync | isync | isync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; lwsync | lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: b LitATO07 _litmus_P1_4_: LitLOOP06: _litmus_P1_5_: lwz 10,0(6) _litmus_P1_6_: cmpwi 10,0 _litmus_P1_7_: bne LitLOOP06 _litmus_P1_8_: LitATO07: _litmus_P1_9_: lwarx 10,0,6 _litmus_P1_10_: cmpwi 10,0 _litmus_P1_11_: bne LitLOOP06 _litmus_P1_12_: li 10,1 _litmus_P1_13_: stwcx. 10,0,6 _litmus_P1_14_: bne LitLOOP06 _litmus_P1_15_: isync _litmus_P1_16_: stw 11,0(4) _litmus_P1_17_: lwsync _litmus_P1_18_: li 10,0 _litmus_P1_19_: stw 10,0(6) _litmus_P1_20_: b LitATO05 _litmus_P1_21_: LitLOOP04: _litmus_P1_22_: lwz 10,0(7) _litmus_P1_23_: cmpwi 10,0 _litmus_P1_24_: bne LitLOOP04 _litmus_P1_25_: LitATO05: _litmus_P1_26_: lwarx 10,0,7 _litmus_P1_27_: cmpwi 10,0 _litmus_P1_28_: bne LitLOOP04 _litmus_P1_29_: li 10,1 _litmus_P1_30_: stwcx. 10,0,7 _litmus_P1_31_: bne LitLOOP04 _litmus_P1_32_: isync _litmus_P1_33_: lwz 25,0(5) _litmus_P1_34_: lwsync _litmus_P1_35_: li 10,0 _litmus_P1_36_: stw 10,0(7) _litmus_P1_37_: addi 8,8,-1 _litmus_P1_38_: Lit__L3: _litmus_P1_39_: cmpwi 8,0 _litmus_P1_40_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: b LitATO03 _litmus_P0_4_: LitLOOP02: _litmus_P0_5_: lwz 10,0(6) _litmus_P0_6_: cmpwi 10,0 _litmus_P0_7_: bne LitLOOP02 _litmus_P0_8_: LitATO03: _litmus_P0_9_: lwarx 10,0,6 _litmus_P0_10_: cmpwi 10,0 _litmus_P0_11_: bne LitLOOP02 _litmus_P0_12_: li 10,1 _litmus_P0_13_: stwcx. 10,0,6 _litmus_P0_14_: bne LitLOOP02 _litmus_P0_15_: isync _litmus_P0_16_: stw 11,0(4) _litmus_P0_17_: lwsync _litmus_P0_18_: li 10,0 _litmus_P0_19_: stw 10,0(6) _litmus_P0_20_: b LitATO01 _litmus_P0_21_: LitLOOP00: _litmus_P0_22_: lwz 10,0(7) _litmus_P0_23_: cmpwi 10,0 _litmus_P0_24_: bne LitLOOP00 _litmus_P0_25_: LitATO01: _litmus_P0_26_: lwarx 10,0,7 _litmus_P0_27_: cmpwi 10,0 _litmus_P0_28_: bne LitLOOP00 _litmus_P0_29_: li 10,1 _litmus_P0_30_: stwcx. 10,0,7 _litmus_P0_31_: bne LitLOOP00 _litmus_P0_32_: isync _litmus_P0_33_: lwz 25,0(5) _litmus_P0_34_: lwsync _litmus_P0_35_: li 10,0 _litmus_P0_36_: stw 10,0(7) _litmus_P0_37_: addi 8,8,-1 _litmus_P0_38_: Lit__L1: _litmus_P0_39_: cmpwi 8,0 _litmus_P0_40_: bgt Lit__L0 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: b LitATO19 _litmus_P4_4_: LitLOOP18: _litmus_P4_5_: lwz 10,0(6) _litmus_P4_6_: cmpwi 10,0 _litmus_P4_7_: bne LitLOOP18 _litmus_P4_8_: LitATO19: _litmus_P4_9_: lwarx 10,0,6 _litmus_P4_10_: cmpwi 10,0 _litmus_P4_11_: bne LitLOOP18 _litmus_P4_12_: li 10,1 _litmus_P4_13_: stwcx. 10,0,6 _litmus_P4_14_: bne LitLOOP18 _litmus_P4_15_: isync _litmus_P4_16_: stw 11,0(4) _litmus_P4_17_: lwsync _litmus_P4_18_: li 10,0 _litmus_P4_19_: stw 10,0(6) _litmus_P4_20_: b LitATO17 _litmus_P4_21_: LitLOOP16: _litmus_P4_22_: lwz 10,0(7) _litmus_P4_23_: cmpwi 10,0 _litmus_P4_24_: bne LitLOOP16 _litmus_P4_25_: LitATO17: _litmus_P4_26_: lwarx 10,0,7 _litmus_P4_27_: cmpwi 10,0 _litmus_P4_28_: bne LitLOOP16 _litmus_P4_29_: li 10,1 _litmus_P4_30_: stwcx. 10,0,7 _litmus_P4_31_: bne LitLOOP16 _litmus_P4_32_: isync _litmus_P4_33_: lwz 25,0(5) _litmus_P4_34_: lwsync _litmus_P4_35_: li 10,0 _litmus_P4_36_: stw 10,0(7) _litmus_P4_37_: addi 8,8,-1 _litmus_P4_38_: Lit__L9: _litmus_P4_39_: cmpwi 8,0 _litmus_P4_40_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: b LitATO15 _litmus_P3_4_: LitLOOP14: _litmus_P3_5_: lwz 10,0(6) _litmus_P3_6_: cmpwi 10,0 _litmus_P3_7_: bne LitLOOP14 _litmus_P3_8_: LitATO15: _litmus_P3_9_: lwarx 10,0,6 _litmus_P3_10_: cmpwi 10,0 _litmus_P3_11_: bne LitLOOP14 _litmus_P3_12_: li 10,1 _litmus_P3_13_: stwcx. 10,0,6 _litmus_P3_14_: bne LitLOOP14 _litmus_P3_15_: isync _litmus_P3_16_: stw 11,0(28) _litmus_P3_17_: lwsync _litmus_P3_18_: li 10,0 _litmus_P3_19_: stw 10,0(6) _litmus_P3_20_: b LitATO13 _litmus_P3_21_: LitLOOP12: _litmus_P3_22_: lwz 10,0(7) _litmus_P3_23_: cmpwi 10,0 _litmus_P3_24_: bne LitLOOP12 _litmus_P3_25_: LitATO13: _litmus_P3_26_: lwarx 10,0,7 _litmus_P3_27_: cmpwi 10,0 _litmus_P3_28_: bne LitLOOP12 _litmus_P3_29_: li 10,1 _litmus_P3_30_: stwcx. 10,0,7 _litmus_P3_31_: bne LitLOOP12 _litmus_P3_32_: isync _litmus_P3_33_: lwz 25,0(5) _litmus_P3_34_: lwsync _litmus_P3_35_: li 10,0 _litmus_P3_36_: stw 10,0(7) _litmus_P3_37_: addi 8,8,-1 _litmus_P3_38_: Lit__L7: _litmus_P3_39_: cmpwi 8,0 _litmus_P3_40_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: b LitATO11 _litmus_P2_4_: LitLOOP10: _litmus_P2_5_: lwz 10,0(6) _litmus_P2_6_: cmpwi 10,0 _litmus_P2_7_: bne LitLOOP10 _litmus_P2_8_: LitATO11: _litmus_P2_9_: lwarx 10,0,6 _litmus_P2_10_: cmpwi 10,0 _litmus_P2_11_: bne LitLOOP10 _litmus_P2_12_: li 10,1 _litmus_P2_13_: stwcx. 10,0,6 _litmus_P2_14_: bne LitLOOP10 _litmus_P2_15_: isync _litmus_P2_16_: stw 11,0(5) _litmus_P2_17_: lwsync _litmus_P2_18_: li 10,0 _litmus_P2_19_: stw 10,0(6) _litmus_P2_20_: b LitATO09 _litmus_P2_21_: LitLOOP08: _litmus_P2_22_: lwz 10,0(7) _litmus_P2_23_: cmpwi 10,0 _litmus_P2_24_: bne LitLOOP08 _litmus_P2_25_: LitATO09: _litmus_P2_26_: lwarx 10,0,7 _litmus_P2_27_: cmpwi 10,0 _litmus_P2_28_: bne LitLOOP08 _litmus_P2_29_: li 10,1 _litmus_P2_30_: stwcx. 10,0,7 _litmus_P2_31_: bne LitLOOP08 _litmus_P2_32_: isync _litmus_P2_33_: lwz 25,0(28) _litmus_P2_34_: lwsync _litmus_P2_35_: li 10,0 _litmus_P2_36_: stw 10,0(7) _litmus_P2_37_: addi 8,8,-1 _litmus_P2_38_: Lit__L5: _litmus_P2_39_: cmpwi 8,0 _litmus_P2_40_: bgt Lit__L4 Test L05 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0) is NOT validated Hash=28835e3424218a520600e9e4f9960f9b Time L05 107.68 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/L06.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC L06 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r6=L_x; 0:r5=L_c; 1:r6=L_y; 1:r5=L_x; 2:r6=L_z; 2:r5=L_y; 3:r5=L_z; 3:r6=L_a; 4:r6=L_b; 4:r5=L_a; 5:r6=L_c; 5:r5=L_b; 0:r2=c; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c;} P0 | P1 | P2 | P3 | P4 | P5 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; b ATO03 | b ATO07 | b ATO11 | b ATO15 | b ATO19 | b ATO23 ; LOOP02: | LOOP06: | LOOP10: | LOOP14: | LOOP18: | LOOP22: ; lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 ; ATO03: | ATO07: | ATO11: | ATO15: | ATO19: | ATO23: ; lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 ; isync | isync | isync | isync | isync | isync ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwsync | lwsync | lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) ; b ATO01 | b ATO05 | b ATO09 | b ATO13 | b ATO17 | b ATO21 ; LOOP00: | LOOP04: | LOOP08: | LOOP12: | LOOP16: | LOOP20: ; lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 ; ATO01: | ATO05: | ATO09: | ATO13: | ATO17: | ATO21: ; lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 ; isync | isync | isync | isync | isync | isync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; lwsync | lwsync | lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: b LitATO07 _litmus_P1_4_: LitLOOP06: _litmus_P1_5_: lwz 10,0(6) _litmus_P1_6_: cmpwi 10,0 _litmus_P1_7_: bne LitLOOP06 _litmus_P1_8_: LitATO07: _litmus_P1_9_: lwarx 10,0,6 _litmus_P1_10_: cmpwi 10,0 _litmus_P1_11_: bne LitLOOP06 _litmus_P1_12_: li 10,1 _litmus_P1_13_: stwcx. 10,0,6 _litmus_P1_14_: bne LitLOOP06 _litmus_P1_15_: isync _litmus_P1_16_: stw 11,0(4) _litmus_P1_17_: lwsync _litmus_P1_18_: li 10,0 _litmus_P1_19_: stw 10,0(6) _litmus_P1_20_: b LitATO05 _litmus_P1_21_: LitLOOP04: _litmus_P1_22_: lwz 10,0(7) _litmus_P1_23_: cmpwi 10,0 _litmus_P1_24_: bne LitLOOP04 _litmus_P1_25_: LitATO05: _litmus_P1_26_: lwarx 10,0,7 _litmus_P1_27_: cmpwi 10,0 _litmus_P1_28_: bne LitLOOP04 _litmus_P1_29_: li 10,1 _litmus_P1_30_: stwcx. 10,0,7 _litmus_P1_31_: bne LitLOOP04 _litmus_P1_32_: isync _litmus_P1_33_: lwz 25,0(5) _litmus_P1_34_: lwsync _litmus_P1_35_: li 10,0 _litmus_P1_36_: stw 10,0(7) _litmus_P1_37_: addi 8,8,-1 _litmus_P1_38_: Lit__L3: _litmus_P1_39_: cmpwi 8,0 _litmus_P1_40_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: b LitATO03 _litmus_P0_4_: LitLOOP02: _litmus_P0_5_: lwz 10,0(6) _litmus_P0_6_: cmpwi 10,0 _litmus_P0_7_: bne LitLOOP02 _litmus_P0_8_: LitATO03: _litmus_P0_9_: lwarx 10,0,6 _litmus_P0_10_: cmpwi 10,0 _litmus_P0_11_: bne LitLOOP02 _litmus_P0_12_: li 10,1 _litmus_P0_13_: stwcx. 10,0,6 _litmus_P0_14_: bne LitLOOP02 _litmus_P0_15_: isync _litmus_P0_16_: stw 11,0(4) _litmus_P0_17_: lwsync _litmus_P0_18_: li 10,0 _litmus_P0_19_: stw 10,0(6) _litmus_P0_20_: b LitATO01 _litmus_P0_21_: LitLOOP00: _litmus_P0_22_: lwz 10,0(7) _litmus_P0_23_: cmpwi 10,0 _litmus_P0_24_: bne LitLOOP00 _litmus_P0_25_: LitATO01: _litmus_P0_26_: lwarx 10,0,7 _litmus_P0_27_: cmpwi 10,0 _litmus_P0_28_: bne LitLOOP00 _litmus_P0_29_: li 10,1 _litmus_P0_30_: stwcx. 10,0,7 _litmus_P0_31_: bne LitLOOP00 _litmus_P0_32_: isync _litmus_P0_33_: lwz 25,0(5) _litmus_P0_34_: lwsync _litmus_P0_35_: li 10,0 _litmus_P0_36_: stw 10,0(7) _litmus_P0_37_: addi 8,8,-1 _litmus_P0_38_: Lit__L1: _litmus_P0_39_: cmpwi 8,0 _litmus_P0_40_: bgt Lit__L0 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: b LitATO23 _litmus_P5_4_: LitLOOP22: _litmus_P5_5_: lwz 10,0(6) _litmus_P5_6_: cmpwi 10,0 _litmus_P5_7_: bne LitLOOP22 _litmus_P5_8_: LitATO23: _litmus_P5_9_: lwarx 10,0,6 _litmus_P5_10_: cmpwi 10,0 _litmus_P5_11_: bne LitLOOP22 _litmus_P5_12_: li 10,1 _litmus_P5_13_: stwcx. 10,0,6 _litmus_P5_14_: bne LitLOOP22 _litmus_P5_15_: isync _litmus_P5_16_: stw 11,0(4) _litmus_P5_17_: lwsync _litmus_P5_18_: li 10,0 _litmus_P5_19_: stw 10,0(6) _litmus_P5_20_: b LitATO21 _litmus_P5_21_: LitLOOP20: _litmus_P5_22_: lwz 10,0(7) _litmus_P5_23_: cmpwi 10,0 _litmus_P5_24_: bne LitLOOP20 _litmus_P5_25_: LitATO21: _litmus_P5_26_: lwarx 10,0,7 _litmus_P5_27_: cmpwi 10,0 _litmus_P5_28_: bne LitLOOP20 _litmus_P5_29_: li 10,1 _litmus_P5_30_: stwcx. 10,0,7 _litmus_P5_31_: bne LitLOOP20 _litmus_P5_32_: isync _litmus_P5_33_: lwz 25,0(5) _litmus_P5_34_: lwsync _litmus_P5_35_: li 10,0 _litmus_P5_36_: stw 10,0(7) _litmus_P5_37_: addi 8,8,-1 _litmus_P5_38_: Lit__L11: _litmus_P5_39_: cmpwi 8,0 _litmus_P5_40_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: b LitATO19 _litmus_P4_4_: LitLOOP18: _litmus_P4_5_: lwz 10,0(6) _litmus_P4_6_: cmpwi 10,0 _litmus_P4_7_: bne LitLOOP18 _litmus_P4_8_: LitATO19: _litmus_P4_9_: lwarx 10,0,6 _litmus_P4_10_: cmpwi 10,0 _litmus_P4_11_: bne LitLOOP18 _litmus_P4_12_: li 10,1 _litmus_P4_13_: stwcx. 10,0,6 _litmus_P4_14_: bne LitLOOP18 _litmus_P4_15_: isync _litmus_P4_16_: stw 11,0(4) _litmus_P4_17_: lwsync _litmus_P4_18_: li 10,0 _litmus_P4_19_: stw 10,0(6) _litmus_P4_20_: b LitATO17 _litmus_P4_21_: LitLOOP16: _litmus_P4_22_: lwz 10,0(7) _litmus_P4_23_: cmpwi 10,0 _litmus_P4_24_: bne LitLOOP16 _litmus_P4_25_: LitATO17: _litmus_P4_26_: lwarx 10,0,7 _litmus_P4_27_: cmpwi 10,0 _litmus_P4_28_: bne LitLOOP16 _litmus_P4_29_: li 10,1 _litmus_P4_30_: stwcx. 10,0,7 _litmus_P4_31_: bne LitLOOP16 _litmus_P4_32_: isync _litmus_P4_33_: lwz 25,0(5) _litmus_P4_34_: lwsync _litmus_P4_35_: li 10,0 _litmus_P4_36_: stw 10,0(7) _litmus_P4_37_: addi 8,8,-1 _litmus_P4_38_: Lit__L9: _litmus_P4_39_: cmpwi 8,0 _litmus_P4_40_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: b LitATO15 _litmus_P3_4_: LitLOOP14: _litmus_P3_5_: lwz 10,0(6) _litmus_P3_6_: cmpwi 10,0 _litmus_P3_7_: bne LitLOOP14 _litmus_P3_8_: LitATO15: _litmus_P3_9_: lwarx 10,0,6 _litmus_P3_10_: cmpwi 10,0 _litmus_P3_11_: bne LitLOOP14 _litmus_P3_12_: li 10,1 _litmus_P3_13_: stwcx. 10,0,6 _litmus_P3_14_: bne LitLOOP14 _litmus_P3_15_: isync _litmus_P3_16_: stw 11,0(28) _litmus_P3_17_: lwsync _litmus_P3_18_: li 10,0 _litmus_P3_19_: stw 10,0(6) _litmus_P3_20_: b LitATO13 _litmus_P3_21_: LitLOOP12: _litmus_P3_22_: lwz 10,0(7) _litmus_P3_23_: cmpwi 10,0 _litmus_P3_24_: bne LitLOOP12 _litmus_P3_25_: LitATO13: _litmus_P3_26_: lwarx 10,0,7 _litmus_P3_27_: cmpwi 10,0 _litmus_P3_28_: bne LitLOOP12 _litmus_P3_29_: li 10,1 _litmus_P3_30_: stwcx. 10,0,7 _litmus_P3_31_: bne LitLOOP12 _litmus_P3_32_: isync _litmus_P3_33_: lwz 25,0(5) _litmus_P3_34_: lwsync _litmus_P3_35_: li 10,0 _litmus_P3_36_: stw 10,0(7) _litmus_P3_37_: addi 8,8,-1 _litmus_P3_38_: Lit__L7: _litmus_P3_39_: cmpwi 8,0 _litmus_P3_40_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: b LitATO11 _litmus_P2_4_: LitLOOP10: _litmus_P2_5_: lwz 10,0(6) _litmus_P2_6_: cmpwi 10,0 _litmus_P2_7_: bne LitLOOP10 _litmus_P2_8_: LitATO11: _litmus_P2_9_: lwarx 10,0,6 _litmus_P2_10_: cmpwi 10,0 _litmus_P2_11_: bne LitLOOP10 _litmus_P2_12_: li 10,1 _litmus_P2_13_: stwcx. 10,0,6 _litmus_P2_14_: bne LitLOOP10 _litmus_P2_15_: isync _litmus_P2_16_: stw 11,0(5) _litmus_P2_17_: lwsync _litmus_P2_18_: li 10,0 _litmus_P2_19_: stw 10,0(6) _litmus_P2_20_: b LitATO09 _litmus_P2_21_: LitLOOP08: _litmus_P2_22_: lwz 10,0(7) _litmus_P2_23_: cmpwi 10,0 _litmus_P2_24_: bne LitLOOP08 _litmus_P2_25_: LitATO09: _litmus_P2_26_: lwarx 10,0,7 _litmus_P2_27_: cmpwi 10,0 _litmus_P2_28_: bne LitLOOP08 _litmus_P2_29_: li 10,1 _litmus_P2_30_: stwcx. 10,0,7 _litmus_P2_31_: bne LitLOOP08 _litmus_P2_32_: isync _litmus_P2_33_: lwz 25,0(28) _litmus_P2_34_: lwsync _litmus_P2_35_: li 10,0 _litmus_P2_36_: stw 10,0(7) _litmus_P2_37_: addi 8,8,-1 _litmus_P2_38_: Lit__L5: _litmus_P2_39_: cmpwi 8,0 _litmus_P2_40_: bgt Lit__L4 Test L06 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0) is NOT validated Hash=7078d1436c6d9ad562d8b5c8d638729d Time L06 181.49 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/L07.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC L07 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r6=L_x; 0:r5=L_d; 1:r6=L_y; 1:r5=L_x; 2:r6=L_z; 2:r5=L_y; 3:r5=L_z; 3:r6=L_a; 4:r6=L_b; 4:r5=L_a; 5:r6=L_c; 5:r5=L_b; 6:r6=L_d; 6:r5=L_c; 0:r2=d; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c; 6:r2=c; 6:r4=d;} P0 | P1 | P2 | P3 | P4 | P5 | P6 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; b ATO03 | b ATO07 | b ATO11 | b ATO15 | b ATO19 | b ATO23 | b ATO27 ; LOOP02: | LOOP06: | LOOP10: | LOOP14: | LOOP18: | LOOP22: | LOOP26: ; lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 | bne LOOP26 ; ATO03: | ATO07: | ATO11: | ATO15: | ATO19: | ATO23: | ATO27: ; lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 | bne LOOP26 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 | bne LOOP26 ; isync | isync | isync | isync | isync | isync | isync ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwsync | lwsync | lwsync | lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) ; b ATO01 | b ATO05 | b ATO09 | b ATO13 | b ATO17 | b ATO21 | b ATO25 ; LOOP00: | LOOP04: | LOOP08: | LOOP12: | LOOP16: | LOOP20: | LOOP24: ; lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 | bne LOOP24 ; ATO01: | ATO05: | ATO09: | ATO13: | ATO17: | ATO21: | ATO25: ; lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 | bne LOOP24 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 | bne LOOP24 ; isync | isync | isync | isync | isync | isync | isync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; lwsync | lwsync | lwsync | lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: b LitATO07 _litmus_P1_4_: LitLOOP06: _litmus_P1_5_: lwz 10,0(6) _litmus_P1_6_: cmpwi 10,0 _litmus_P1_7_: bne LitLOOP06 _litmus_P1_8_: LitATO07: _litmus_P1_9_: lwarx 10,0,6 _litmus_P1_10_: cmpwi 10,0 _litmus_P1_11_: bne LitLOOP06 _litmus_P1_12_: li 10,1 _litmus_P1_13_: stwcx. 10,0,6 _litmus_P1_14_: bne LitLOOP06 _litmus_P1_15_: isync _litmus_P1_16_: stw 11,0(4) _litmus_P1_17_: lwsync _litmus_P1_18_: li 10,0 _litmus_P1_19_: stw 10,0(6) _litmus_P1_20_: b LitATO05 _litmus_P1_21_: LitLOOP04: _litmus_P1_22_: lwz 10,0(7) _litmus_P1_23_: cmpwi 10,0 _litmus_P1_24_: bne LitLOOP04 _litmus_P1_25_: LitATO05: _litmus_P1_26_: lwarx 10,0,7 _litmus_P1_27_: cmpwi 10,0 _litmus_P1_28_: bne LitLOOP04 _litmus_P1_29_: li 10,1 _litmus_P1_30_: stwcx. 10,0,7 _litmus_P1_31_: bne LitLOOP04 _litmus_P1_32_: isync _litmus_P1_33_: lwz 25,0(5) _litmus_P1_34_: lwsync _litmus_P1_35_: li 10,0 _litmus_P1_36_: stw 10,0(7) _litmus_P1_37_: addi 8,8,-1 _litmus_P1_38_: Lit__L3: _litmus_P1_39_: cmpwi 8,0 _litmus_P1_40_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: b LitATO03 _litmus_P0_4_: LitLOOP02: _litmus_P0_5_: lwz 10,0(6) _litmus_P0_6_: cmpwi 10,0 _litmus_P0_7_: bne LitLOOP02 _litmus_P0_8_: LitATO03: _litmus_P0_9_: lwarx 10,0,6 _litmus_P0_10_: cmpwi 10,0 _litmus_P0_11_: bne LitLOOP02 _litmus_P0_12_: li 10,1 _litmus_P0_13_: stwcx. 10,0,6 _litmus_P0_14_: bne LitLOOP02 _litmus_P0_15_: isync _litmus_P0_16_: stw 11,0(4) _litmus_P0_17_: lwsync _litmus_P0_18_: li 10,0 _litmus_P0_19_: stw 10,0(6) _litmus_P0_20_: b LitATO01 _litmus_P0_21_: LitLOOP00: _litmus_P0_22_: lwz 10,0(7) _litmus_P0_23_: cmpwi 10,0 _litmus_P0_24_: bne LitLOOP00 _litmus_P0_25_: LitATO01: _litmus_P0_26_: lwarx 10,0,7 _litmus_P0_27_: cmpwi 10,0 _litmus_P0_28_: bne LitLOOP00 _litmus_P0_29_: li 10,1 _litmus_P0_30_: stwcx. 10,0,7 _litmus_P0_31_: bne LitLOOP00 _litmus_P0_32_: isync _litmus_P0_33_: lwz 25,0(5) _litmus_P0_34_: lwsync _litmus_P0_35_: li 10,0 _litmus_P0_36_: stw 10,0(7) _litmus_P0_37_: addi 8,8,-1 _litmus_P0_38_: Lit__L1: _litmus_P0_39_: cmpwi 8,0 _litmus_P0_40_: bgt Lit__L0 _litmus_P6_0_: b Lit__L13 _litmus_P6_1_: Lit__L12: _litmus_P6_2_: li 11,1 _litmus_P6_3_: b LitATO27 _litmus_P6_4_: LitLOOP26: _litmus_P6_5_: lwz 10,0(6) _litmus_P6_6_: cmpwi 10,0 _litmus_P6_7_: bne LitLOOP26 _litmus_P6_8_: LitATO27: _litmus_P6_9_: lwarx 10,0,6 _litmus_P6_10_: cmpwi 10,0 _litmus_P6_11_: bne LitLOOP26 _litmus_P6_12_: li 10,1 _litmus_P6_13_: stwcx. 10,0,6 _litmus_P6_14_: bne LitLOOP26 _litmus_P6_15_: isync _litmus_P6_16_: stw 11,0(4) _litmus_P6_17_: lwsync _litmus_P6_18_: li 10,0 _litmus_P6_19_: stw 10,0(6) _litmus_P6_20_: b LitATO25 _litmus_P6_21_: LitLOOP24: _litmus_P6_22_: lwz 10,0(7) _litmus_P6_23_: cmpwi 10,0 _litmus_P6_24_: bne LitLOOP24 _litmus_P6_25_: LitATO25: _litmus_P6_26_: lwarx 10,0,7 _litmus_P6_27_: cmpwi 10,0 _litmus_P6_28_: bne LitLOOP24 _litmus_P6_29_: li 10,1 _litmus_P6_30_: stwcx. 10,0,7 _litmus_P6_31_: bne LitLOOP24 _litmus_P6_32_: isync _litmus_P6_33_: lwz 25,0(5) _litmus_P6_34_: lwsync _litmus_P6_35_: li 10,0 _litmus_P6_36_: stw 10,0(7) _litmus_P6_37_: addi 8,8,-1 _litmus_P6_38_: Lit__L13: _litmus_P6_39_: cmpwi 8,0 _litmus_P6_40_: bgt Lit__L12 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: b LitATO23 _litmus_P5_4_: LitLOOP22: _litmus_P5_5_: lwz 10,0(6) _litmus_P5_6_: cmpwi 10,0 _litmus_P5_7_: bne LitLOOP22 _litmus_P5_8_: LitATO23: _litmus_P5_9_: lwarx 10,0,6 _litmus_P5_10_: cmpwi 10,0 _litmus_P5_11_: bne LitLOOP22 _litmus_P5_12_: li 10,1 _litmus_P5_13_: stwcx. 10,0,6 _litmus_P5_14_: bne LitLOOP22 _litmus_P5_15_: isync _litmus_P5_16_: stw 11,0(4) _litmus_P5_17_: lwsync _litmus_P5_18_: li 10,0 _litmus_P5_19_: stw 10,0(6) _litmus_P5_20_: b LitATO21 _litmus_P5_21_: LitLOOP20: _litmus_P5_22_: lwz 10,0(7) _litmus_P5_23_: cmpwi 10,0 _litmus_P5_24_: bne LitLOOP20 _litmus_P5_25_: LitATO21: _litmus_P5_26_: lwarx 10,0,7 _litmus_P5_27_: cmpwi 10,0 _litmus_P5_28_: bne LitLOOP20 _litmus_P5_29_: li 10,1 _litmus_P5_30_: stwcx. 10,0,7 _litmus_P5_31_: bne LitLOOP20 _litmus_P5_32_: isync _litmus_P5_33_: lwz 25,0(5) _litmus_P5_34_: lwsync _litmus_P5_35_: li 10,0 _litmus_P5_36_: stw 10,0(7) _litmus_P5_37_: addi 8,8,-1 _litmus_P5_38_: Lit__L11: _litmus_P5_39_: cmpwi 8,0 _litmus_P5_40_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: b LitATO19 _litmus_P4_4_: LitLOOP18: _litmus_P4_5_: lwz 10,0(6) _litmus_P4_6_: cmpwi 10,0 _litmus_P4_7_: bne LitLOOP18 _litmus_P4_8_: LitATO19: _litmus_P4_9_: lwarx 10,0,6 _litmus_P4_10_: cmpwi 10,0 _litmus_P4_11_: bne LitLOOP18 _litmus_P4_12_: li 10,1 _litmus_P4_13_: stwcx. 10,0,6 _litmus_P4_14_: bne LitLOOP18 _litmus_P4_15_: isync _litmus_P4_16_: stw 11,0(4) _litmus_P4_17_: lwsync _litmus_P4_18_: li 10,0 _litmus_P4_19_: stw 10,0(6) _litmus_P4_20_: b LitATO17 _litmus_P4_21_: LitLOOP16: _litmus_P4_22_: lwz 10,0(7) _litmus_P4_23_: cmpwi 10,0 _litmus_P4_24_: bne LitLOOP16 _litmus_P4_25_: LitATO17: _litmus_P4_26_: lwarx 10,0,7 _litmus_P4_27_: cmpwi 10,0 _litmus_P4_28_: bne LitLOOP16 _litmus_P4_29_: li 10,1 _litmus_P4_30_: stwcx. 10,0,7 _litmus_P4_31_: bne LitLOOP16 _litmus_P4_32_: isync _litmus_P4_33_: lwz 25,0(5) _litmus_P4_34_: lwsync _litmus_P4_35_: li 10,0 _litmus_P4_36_: stw 10,0(7) _litmus_P4_37_: addi 8,8,-1 _litmus_P4_38_: Lit__L9: _litmus_P4_39_: cmpwi 8,0 _litmus_P4_40_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: b LitATO15 _litmus_P3_4_: LitLOOP14: _litmus_P3_5_: lwz 10,0(6) _litmus_P3_6_: cmpwi 10,0 _litmus_P3_7_: bne LitLOOP14 _litmus_P3_8_: LitATO15: _litmus_P3_9_: lwarx 10,0,6 _litmus_P3_10_: cmpwi 10,0 _litmus_P3_11_: bne LitLOOP14 _litmus_P3_12_: li 10,1 _litmus_P3_13_: stwcx. 10,0,6 _litmus_P3_14_: bne LitLOOP14 _litmus_P3_15_: isync _litmus_P3_16_: stw 11,0(28) _litmus_P3_17_: lwsync _litmus_P3_18_: li 10,0 _litmus_P3_19_: stw 10,0(6) _litmus_P3_20_: b LitATO13 _litmus_P3_21_: LitLOOP12: _litmus_P3_22_: lwz 10,0(7) _litmus_P3_23_: cmpwi 10,0 _litmus_P3_24_: bne LitLOOP12 _litmus_P3_25_: LitATO13: _litmus_P3_26_: lwarx 10,0,7 _litmus_P3_27_: cmpwi 10,0 _litmus_P3_28_: bne LitLOOP12 _litmus_P3_29_: li 10,1 _litmus_P3_30_: stwcx. 10,0,7 _litmus_P3_31_: bne LitLOOP12 _litmus_P3_32_: isync _litmus_P3_33_: lwz 25,0(5) _litmus_P3_34_: lwsync _litmus_P3_35_: li 10,0 _litmus_P3_36_: stw 10,0(7) _litmus_P3_37_: addi 8,8,-1 _litmus_P3_38_: Lit__L7: _litmus_P3_39_: cmpwi 8,0 _litmus_P3_40_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: b LitATO11 _litmus_P2_4_: LitLOOP10: _litmus_P2_5_: lwz 10,0(6) _litmus_P2_6_: cmpwi 10,0 _litmus_P2_7_: bne LitLOOP10 _litmus_P2_8_: LitATO11: _litmus_P2_9_: lwarx 10,0,6 _litmus_P2_10_: cmpwi 10,0 _litmus_P2_11_: bne LitLOOP10 _litmus_P2_12_: li 10,1 _litmus_P2_13_: stwcx. 10,0,6 _litmus_P2_14_: bne LitLOOP10 _litmus_P2_15_: isync _litmus_P2_16_: stw 11,0(5) _litmus_P2_17_: lwsync _litmus_P2_18_: li 10,0 _litmus_P2_19_: stw 10,0(6) _litmus_P2_20_: b LitATO09 _litmus_P2_21_: LitLOOP08: _litmus_P2_22_: lwz 10,0(7) _litmus_P2_23_: cmpwi 10,0 _litmus_P2_24_: bne LitLOOP08 _litmus_P2_25_: LitATO09: _litmus_P2_26_: lwarx 10,0,7 _litmus_P2_27_: cmpwi 10,0 _litmus_P2_28_: bne LitLOOP08 _litmus_P2_29_: li 10,1 _litmus_P2_30_: stwcx. 10,0,7 _litmus_P2_31_: bne LitLOOP08 _litmus_P2_32_: isync _litmus_P2_33_: lwz 25,0(28) _litmus_P2_34_: lwsync _litmus_P2_35_: li 10,0 _litmus_P2_36_: stw 10,0(7) _litmus_P2_37_: addi 8,8,-1 _litmus_P2_38_: Lit__L5: _litmus_P2_39_: cmpwi 8,0 _litmus_P2_40_: bgt Lit__L4 Test L07 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; 6:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0) is NOT validated Hash=ff32d2dab96d522d30901ede249bebf4 Time L07 205.07 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for src/L08.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC L08 "PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre PodWR Fre" {0:r6=L_x; 0:r5=L_e; 1:r6=L_y; 1:r5=L_x; 2:r6=L_z; 2:r5=L_y; 3:r5=L_z; 3:r6=L_a; 4:r6=L_b; 4:r5=L_a; 5:r6=L_c; 5:r5=L_b; 6:r6=L_d; 6:r5=L_c; 7:r6=L_e; 7:r5=L_d; 0:r2=e; 0:r4=x; 1:r2=x; 1:r4=y; 2:r2=y; 2:r4=z; 3:r2=z; 3:r4=a; 4:r2=a; 4:r4=b; 5:r2=b; 5:r4=c; 6:r2=c; 6:r4=d; 7:r2=d; 7:r4=e;} P0 | P1 | P2 | P3 | P4 | P5 | P6 | P7 ; li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 | li r1,1 ; b ATO03 | b ATO07 | b ATO11 | b ATO15 | b ATO19 | b ATO23 | b ATO27 | b ATO31 ; LOOP02: | LOOP06: | LOOP10: | LOOP14: | LOOP18: | LOOP22: | LOOP26: | LOOP30: ; lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) | lwz r7,0(r5) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 | bne LOOP26 | bne LOOP30 ; ATO03: | ATO07: | ATO11: | ATO15: | ATO19: | ATO23: | ATO27: | ATO31: ; lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 | lwarx r7,r0,r5 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 | bne LOOP26 | bne LOOP30 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 | stwcx. r7,r0,r5 ; bne LOOP02 | bne LOOP06 | bne LOOP10 | bne LOOP14 | bne LOOP18 | bne LOOP22 | bne LOOP26 | bne LOOP30 ; isync | isync | isync | isync | isync | isync | isync | isync ; stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) | stw r1,0(r2) ; lwsync | lwsync | lwsync | lwsync | lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) | stw r7,0(r5) ; b ATO01 | b ATO05 | b ATO09 | b ATO13 | b ATO17 | b ATO21 | b ATO25 | b ATO29 ; LOOP00: | LOOP04: | LOOP08: | LOOP12: | LOOP16: | LOOP20: | LOOP24: | LOOP28: ; lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) | lwz r7,0(r6) ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 | bne LOOP24 | bne LOOP28 ; ATO01: | ATO05: | ATO09: | ATO13: | ATO17: | ATO21: | ATO25: | ATO29: ; lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 | lwarx r7,r0,r6 ; cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 | cmpwi r7,0 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 | bne LOOP24 | bne LOOP28 ; li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 | li r7,1 ; stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 | stwcx. r7,r0,r6 ; bne LOOP00 | bne LOOP04 | bne LOOP08 | bne LOOP12 | bne LOOP16 | bne LOOP20 | bne LOOP24 | bne LOOP28 ; isync | isync | isync | isync | isync | isync | isync | isync ; lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) | lwz r3,0(r4) ; lwsync | lwsync | lwsync | lwsync | lwsync | lwsync | lwsync | lwsync ; li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 | li r7,0 ; stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) | stw r7,0(r6) ; exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0 /\ 7:r3=0) Generated assembler _litmus_P1_0_: b Lit__L3 _litmus_P1_1_: Lit__L2: _litmus_P1_2_: li 11,1 _litmus_P1_3_: b LitATO07 _litmus_P1_4_: LitLOOP06: _litmus_P1_5_: lwz 10,0(6) _litmus_P1_6_: cmpwi 10,0 _litmus_P1_7_: bne LitLOOP06 _litmus_P1_8_: LitATO07: _litmus_P1_9_: lwarx 10,0,6 _litmus_P1_10_: cmpwi 10,0 _litmus_P1_11_: bne LitLOOP06 _litmus_P1_12_: li 10,1 _litmus_P1_13_: stwcx. 10,0,6 _litmus_P1_14_: bne LitLOOP06 _litmus_P1_15_: isync _litmus_P1_16_: stw 11,0(4) _litmus_P1_17_: lwsync _litmus_P1_18_: li 10,0 _litmus_P1_19_: stw 10,0(6) _litmus_P1_20_: b LitATO05 _litmus_P1_21_: LitLOOP04: _litmus_P1_22_: lwz 10,0(7) _litmus_P1_23_: cmpwi 10,0 _litmus_P1_24_: bne LitLOOP04 _litmus_P1_25_: LitATO05: _litmus_P1_26_: lwarx 10,0,7 _litmus_P1_27_: cmpwi 10,0 _litmus_P1_28_: bne LitLOOP04 _litmus_P1_29_: li 10,1 _litmus_P1_30_: stwcx. 10,0,7 _litmus_P1_31_: bne LitLOOP04 _litmus_P1_32_: isync _litmus_P1_33_: lwz 26,0(5) _litmus_P1_34_: lwsync _litmus_P1_35_: li 10,0 _litmus_P1_36_: stw 10,0(7) _litmus_P1_37_: addi 8,8,-1 _litmus_P1_38_: Lit__L3: _litmus_P1_39_: cmpwi 8,0 _litmus_P1_40_: bgt Lit__L2 _litmus_P0_0_: b Lit__L1 _litmus_P0_1_: Lit__L0: _litmus_P0_2_: li 11,1 _litmus_P0_3_: b LitATO03 _litmus_P0_4_: LitLOOP02: _litmus_P0_5_: lwz 10,0(6) _litmus_P0_6_: cmpwi 10,0 _litmus_P0_7_: bne LitLOOP02 _litmus_P0_8_: LitATO03: _litmus_P0_9_: lwarx 10,0,6 _litmus_P0_10_: cmpwi 10,0 _litmus_P0_11_: bne LitLOOP02 _litmus_P0_12_: li 10,1 _litmus_P0_13_: stwcx. 10,0,6 _litmus_P0_14_: bne LitLOOP02 _litmus_P0_15_: isync _litmus_P0_16_: stw 11,0(4) _litmus_P0_17_: lwsync _litmus_P0_18_: li 10,0 _litmus_P0_19_: stw 10,0(6) _litmus_P0_20_: b LitATO01 _litmus_P0_21_: LitLOOP00: _litmus_P0_22_: lwz 10,0(7) _litmus_P0_23_: cmpwi 10,0 _litmus_P0_24_: bne LitLOOP00 _litmus_P0_25_: LitATO01: _litmus_P0_26_: lwarx 10,0,7 _litmus_P0_27_: cmpwi 10,0 _litmus_P0_28_: bne LitLOOP00 _litmus_P0_29_: li 10,1 _litmus_P0_30_: stwcx. 10,0,7 _litmus_P0_31_: bne LitLOOP00 _litmus_P0_32_: isync _litmus_P0_33_: lwz 26,0(5) _litmus_P0_34_: lwsync _litmus_P0_35_: li 10,0 _litmus_P0_36_: stw 10,0(7) _litmus_P0_37_: addi 8,8,-1 _litmus_P0_38_: Lit__L1: _litmus_P0_39_: cmpwi 8,0 _litmus_P0_40_: bgt Lit__L0 _litmus_P7_0_: b Lit__L15 _litmus_P7_1_: Lit__L14: _litmus_P7_2_: li 11,1 _litmus_P7_3_: b LitATO31 _litmus_P7_4_: LitLOOP30: _litmus_P7_5_: lwz 10,0(6) _litmus_P7_6_: cmpwi 10,0 _litmus_P7_7_: bne LitLOOP30 _litmus_P7_8_: LitATO31: _litmus_P7_9_: lwarx 10,0,6 _litmus_P7_10_: cmpwi 10,0 _litmus_P7_11_: bne LitLOOP30 _litmus_P7_12_: li 10,1 _litmus_P7_13_: stwcx. 10,0,6 _litmus_P7_14_: bne LitLOOP30 _litmus_P7_15_: isync _litmus_P7_16_: stw 11,0(4) _litmus_P7_17_: lwsync _litmus_P7_18_: li 10,0 _litmus_P7_19_: stw 10,0(6) _litmus_P7_20_: b LitATO29 _litmus_P7_21_: LitLOOP28: _litmus_P7_22_: lwz 10,0(7) _litmus_P7_23_: cmpwi 10,0 _litmus_P7_24_: bne LitLOOP28 _litmus_P7_25_: LitATO29: _litmus_P7_26_: lwarx 10,0,7 _litmus_P7_27_: cmpwi 10,0 _litmus_P7_28_: bne LitLOOP28 _litmus_P7_29_: li 10,1 _litmus_P7_30_: stwcx. 10,0,7 _litmus_P7_31_: bne LitLOOP28 _litmus_P7_32_: isync _litmus_P7_33_: lwz 26,0(5) _litmus_P7_34_: lwsync _litmus_P7_35_: li 10,0 _litmus_P7_36_: stw 10,0(7) _litmus_P7_37_: addi 8,8,-1 _litmus_P7_38_: Lit__L15: _litmus_P7_39_: cmpwi 8,0 _litmus_P7_40_: bgt Lit__L14 _litmus_P6_0_: b Lit__L13 _litmus_P6_1_: Lit__L12: _litmus_P6_2_: li 11,1 _litmus_P6_3_: b LitATO27 _litmus_P6_4_: LitLOOP26: _litmus_P6_5_: lwz 10,0(6) _litmus_P6_6_: cmpwi 10,0 _litmus_P6_7_: bne LitLOOP26 _litmus_P6_8_: LitATO27: _litmus_P6_9_: lwarx 10,0,6 _litmus_P6_10_: cmpwi 10,0 _litmus_P6_11_: bne LitLOOP26 _litmus_P6_12_: li 10,1 _litmus_P6_13_: stwcx. 10,0,6 _litmus_P6_14_: bne LitLOOP26 _litmus_P6_15_: isync _litmus_P6_16_: stw 11,0(4) _litmus_P6_17_: lwsync _litmus_P6_18_: li 10,0 _litmus_P6_19_: stw 10,0(6) _litmus_P6_20_: b LitATO25 _litmus_P6_21_: LitLOOP24: _litmus_P6_22_: lwz 10,0(7) _litmus_P6_23_: cmpwi 10,0 _litmus_P6_24_: bne LitLOOP24 _litmus_P6_25_: LitATO25: _litmus_P6_26_: lwarx 10,0,7 _litmus_P6_27_: cmpwi 10,0 _litmus_P6_28_: bne LitLOOP24 _litmus_P6_29_: li 10,1 _litmus_P6_30_: stwcx. 10,0,7 _litmus_P6_31_: bne LitLOOP24 _litmus_P6_32_: isync _litmus_P6_33_: lwz 26,0(5) _litmus_P6_34_: lwsync _litmus_P6_35_: li 10,0 _litmus_P6_36_: stw 10,0(7) _litmus_P6_37_: addi 8,8,-1 _litmus_P6_38_: Lit__L13: _litmus_P6_39_: cmpwi 8,0 _litmus_P6_40_: bgt Lit__L12 _litmus_P5_0_: b Lit__L11 _litmus_P5_1_: Lit__L10: _litmus_P5_2_: li 11,1 _litmus_P5_3_: b LitATO23 _litmus_P5_4_: LitLOOP22: _litmus_P5_5_: lwz 10,0(6) _litmus_P5_6_: cmpwi 10,0 _litmus_P5_7_: bne LitLOOP22 _litmus_P5_8_: LitATO23: _litmus_P5_9_: lwarx 10,0,6 _litmus_P5_10_: cmpwi 10,0 _litmus_P5_11_: bne LitLOOP22 _litmus_P5_12_: li 10,1 _litmus_P5_13_: stwcx. 10,0,6 _litmus_P5_14_: bne LitLOOP22 _litmus_P5_15_: isync _litmus_P5_16_: stw 11,0(4) _litmus_P5_17_: lwsync _litmus_P5_18_: li 10,0 _litmus_P5_19_: stw 10,0(6) _litmus_P5_20_: b LitATO21 _litmus_P5_21_: LitLOOP20: _litmus_P5_22_: lwz 10,0(7) _litmus_P5_23_: cmpwi 10,0 _litmus_P5_24_: bne LitLOOP20 _litmus_P5_25_: LitATO21: _litmus_P5_26_: lwarx 10,0,7 _litmus_P5_27_: cmpwi 10,0 _litmus_P5_28_: bne LitLOOP20 _litmus_P5_29_: li 10,1 _litmus_P5_30_: stwcx. 10,0,7 _litmus_P5_31_: bne LitLOOP20 _litmus_P5_32_: isync _litmus_P5_33_: lwz 26,0(5) _litmus_P5_34_: lwsync _litmus_P5_35_: li 10,0 _litmus_P5_36_: stw 10,0(7) _litmus_P5_37_: addi 8,8,-1 _litmus_P5_38_: Lit__L11: _litmus_P5_39_: cmpwi 8,0 _litmus_P5_40_: bgt Lit__L10 _litmus_P4_0_: b Lit__L9 _litmus_P4_1_: Lit__L8: _litmus_P4_2_: li 11,1 _litmus_P4_3_: b LitATO19 _litmus_P4_4_: LitLOOP18: _litmus_P4_5_: lwz 10,0(6) _litmus_P4_6_: cmpwi 10,0 _litmus_P4_7_: bne LitLOOP18 _litmus_P4_8_: LitATO19: _litmus_P4_9_: lwarx 10,0,6 _litmus_P4_10_: cmpwi 10,0 _litmus_P4_11_: bne LitLOOP18 _litmus_P4_12_: li 10,1 _litmus_P4_13_: stwcx. 10,0,6 _litmus_P4_14_: bne LitLOOP18 _litmus_P4_15_: isync _litmus_P4_16_: stw 11,0(4) _litmus_P4_17_: lwsync _litmus_P4_18_: li 10,0 _litmus_P4_19_: stw 10,0(6) _litmus_P4_20_: b LitATO17 _litmus_P4_21_: LitLOOP16: _litmus_P4_22_: lwz 10,0(7) _litmus_P4_23_: cmpwi 10,0 _litmus_P4_24_: bne LitLOOP16 _litmus_P4_25_: LitATO17: _litmus_P4_26_: lwarx 10,0,7 _litmus_P4_27_: cmpwi 10,0 _litmus_P4_28_: bne LitLOOP16 _litmus_P4_29_: li 10,1 _litmus_P4_30_: stwcx. 10,0,7 _litmus_P4_31_: bne LitLOOP16 _litmus_P4_32_: isync _litmus_P4_33_: lwz 26,0(5) _litmus_P4_34_: lwsync _litmus_P4_35_: li 10,0 _litmus_P4_36_: stw 10,0(7) _litmus_P4_37_: addi 8,8,-1 _litmus_P4_38_: Lit__L9: _litmus_P4_39_: cmpwi 8,0 _litmus_P4_40_: bgt Lit__L8 _litmus_P3_0_: b Lit__L7 _litmus_P3_1_: Lit__L6: _litmus_P3_2_: li 11,1 _litmus_P3_3_: b LitATO15 _litmus_P3_4_: LitLOOP14: _litmus_P3_5_: lwz 10,0(6) _litmus_P3_6_: cmpwi 10,0 _litmus_P3_7_: bne LitLOOP14 _litmus_P3_8_: LitATO15: _litmus_P3_9_: lwarx 10,0,6 _litmus_P3_10_: cmpwi 10,0 _litmus_P3_11_: bne LitLOOP14 _litmus_P3_12_: li 10,1 _litmus_P3_13_: stwcx. 10,0,6 _litmus_P3_14_: bne LitLOOP14 _litmus_P3_15_: isync _litmus_P3_16_: stw 11,0(28) _litmus_P3_17_: lwsync _litmus_P3_18_: li 10,0 _litmus_P3_19_: stw 10,0(6) _litmus_P3_20_: b LitATO13 _litmus_P3_21_: LitLOOP12: _litmus_P3_22_: lwz 10,0(7) _litmus_P3_23_: cmpwi 10,0 _litmus_P3_24_: bne LitLOOP12 _litmus_P3_25_: LitATO13: _litmus_P3_26_: lwarx 10,0,7 _litmus_P3_27_: cmpwi 10,0 _litmus_P3_28_: bne LitLOOP12 _litmus_P3_29_: li 10,1 _litmus_P3_30_: stwcx. 10,0,7 _litmus_P3_31_: bne LitLOOP12 _litmus_P3_32_: isync _litmus_P3_33_: lwz 26,0(5) _litmus_P3_34_: lwsync _litmus_P3_35_: li 10,0 _litmus_P3_36_: stw 10,0(7) _litmus_P3_37_: addi 8,8,-1 _litmus_P3_38_: Lit__L7: _litmus_P3_39_: cmpwi 8,0 _litmus_P3_40_: bgt Lit__L6 _litmus_P2_0_: b Lit__L5 _litmus_P2_1_: Lit__L4: _litmus_P2_2_: li 11,1 _litmus_P2_3_: b LitATO11 _litmus_P2_4_: LitLOOP10: _litmus_P2_5_: lwz 10,0(6) _litmus_P2_6_: cmpwi 10,0 _litmus_P2_7_: bne LitLOOP10 _litmus_P2_8_: LitATO11: _litmus_P2_9_: lwarx 10,0,6 _litmus_P2_10_: cmpwi 10,0 _litmus_P2_11_: bne LitLOOP10 _litmus_P2_12_: li 10,1 _litmus_P2_13_: stwcx. 10,0,6 _litmus_P2_14_: bne LitLOOP10 _litmus_P2_15_: isync _litmus_P2_16_: stw 11,0(5) _litmus_P2_17_: lwsync _litmus_P2_18_: li 10,0 _litmus_P2_19_: stw 10,0(6) _litmus_P2_20_: b LitATO09 _litmus_P2_21_: LitLOOP08: _litmus_P2_22_: lwz 10,0(7) _litmus_P2_23_: cmpwi 10,0 _litmus_P2_24_: bne LitLOOP08 _litmus_P2_25_: LitATO09: _litmus_P2_26_: lwarx 10,0,7 _litmus_P2_27_: cmpwi 10,0 _litmus_P2_28_: bne LitLOOP08 _litmus_P2_29_: li 10,1 _litmus_P2_30_: stwcx. 10,0,7 _litmus_P2_31_: bne LitLOOP08 _litmus_P2_32_: isync _litmus_P2_33_: lwz 26,0(28) _litmus_P2_34_: lwsync _litmus_P2_35_: li 10,0 _litmus_P2_36_: stw 10,0(7) _litmus_P2_37_: addi 8,8,-1 _litmus_P2_38_: Lit__L5: _litmus_P2_39_: cmpwi 8,0 _litmus_P2_40_: bgt Lit__L4 Test L08 Allowed Histogram (1 states) 1 :>0:r3=1; 1:r3=1; 2:r3=1; 3:r3=1; 4:r3=1; 5:r3=1; 6:r3=1; 7:r3=1; No Witnesses Positive: 0, Negative: 1 Condition exists (0:r3=0 /\ 1:r3=0 /\ 2:r3=0 /\ 3:r3=0 /\ 4:r3=0 /\ 5:r3=0 /\ 6:r3=0 /\ 7:r3=0) is NOT validated Hash=a3b3acde5db7661f376608bf4ec67607 Time L08 266.76 Revision 6717M, version 3.00+1 Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 1 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 1 #endif #ifndef AVAIL #define AVAIL 1 #endif /* gcc options: -D_GNU_SOURCE -Wall -std=gnu99 -O -m32 -pthread */ /* barrier: user */ /* launch: fixed */ /* cache: false */ /* call: false */ /* affinity: incr0 */ /* randomise_affinity: false */ /* prealloc: false */ /* memory: direct */ /* safer: false */ /* preload: false */ /* para: self */ /* speedcheck: false */ /* proc used: 1 */ GCCOPTS="-D_GNU_SOURCE -Wall -std=gnu99 -O -m32 -pthread" LITMUSOPTS= jeu jan 13 16:15:33 CET 2011