xref: /linux/tools/memory-model/litmus-tests/CoRR+poonceonce+Once.litmus (revision d0034a7a4ac7fae708146ac0059b9c47a1543f0d) 
11c27b644SPaul E. McKenneyC CoRR+poonceonce+Once
21c27b644SPaul E. McKenney
38f32543bSPaul E. McKenney(*
48f32543bSPaul E. McKenney * Result: Never
58f32543bSPaul E. McKenney *
68f32543bSPaul E. McKenney * Test of read-read coherence, that is, whether or not two successive
78f32543bSPaul E. McKenney * reads from the same variable are ordered.
88f32543bSPaul E. McKenney *)
98f32543bSPaul E. McKenney
10*5c587f9bSAkira Yokosawa{}
111c27b644SPaul E. McKenney
121c27b644SPaul E. McKenneyP0(int *x)
131c27b644SPaul E. McKenney{
141c27b644SPaul E. McKenney	WRITE_ONCE(*x, 1);
151c27b644SPaul E. McKenney}
161c27b644SPaul E. McKenney
171c27b644SPaul E. McKenneyP1(int *x)
181c27b644SPaul E. McKenney{
191c27b644SPaul E. McKenney	int r0;
201c27b644SPaul E. McKenney	int r1;
211c27b644SPaul E. McKenney
221c27b644SPaul E. McKenney	r0 = READ_ONCE(*x);
231c27b644SPaul E. McKenney	r1 = READ_ONCE(*x);
241c27b644SPaul E. McKenney}
251c27b644SPaul E. McKenney
261c27b644SPaul E. McKenneyexists (1:r0=1 /\ 1:r1=0)
27