Merge tag 'block-5.9-2020-08-14' of git://git.kernel.dk/linux-block
[linux/fpc-iii.git] / tools / memory-model / litmus-tests / ISA2+poonceonces.litmus
blobb321aa6f4ea52d4125b750cd6517d1feddb522d0
1 C ISA2+poonceonces
3 (*
4  * Result: Sometimes
5  *
6  * Given a release-acquire chain ordering the first process's store
7  * against the last process's load, is ordering preserved if all of the
8  * smp_store_release() invocations are replaced by WRITE_ONCE() and all
9  * of the smp_load_acquire() invocations are replaced by READ_ONCE()?
10  *)
14 P0(int *x, int *y)
16         WRITE_ONCE(*x, 1);
17         WRITE_ONCE(*y, 1);
20 P1(int *y, int *z)
22         int r0;
24         r0 = READ_ONCE(*y);
25         WRITE_ONCE(*z, 1);
28 P2(int *x, int *z)
30         int r0;
31         int r1;
33         r0 = READ_ONCE(*z);
34         r1 = READ_ONCE(*x);
37 exists (1:r0=1 /\ 2:r0=1 /\ 2:r1=0)