On Tue, Jan 26, 2016 at 03:37:33PM -0800, Paul E. McKenney wrote:

On Tue, Jan 26, 2016 at 12:10:10PM +0000, Will Deacon wrote:

quoted

On Mon, Jan 25, 2016 at 05:06:46PM -0800, Paul E. McKenney wrote:

quoted

PPC WRCnf+addrs
""
{
0:r2=x; 0:r3=y;
1:r2=x; 1:r3=y;
2:r2=x; 2:r3=y;
c=a; d=b; x=c; y=d;
}
 P0           | P1            | P2            ;
 stw r3,0(r2) | lwz r8,0(r2)  | lwz r8,0(r3)  ;
              | stw r2,0(r8)  | lwz r9,0(r8)  ;
exists
(1:r8=y /\ 2:r8=x /\ 2:r9=c)

Agreed.

OK, thank you!  Would you agree that it would be good to replace the
current xor-based fake-dependency litmus tests with tests having real
dependencies?

Yes, because it would look a lot more like real (kernel) code.

Will