[mirror_ubuntu-hirsute-kernel.git] / tools / memory-model / litmus-tests / CoWW+poonceonce.litmus

C CoWW+poonceonce

(*
 * Result: Never
 *
 * Test of write-write coherence, that is, whether or not two successive
 * writes to the same variable are ordered.
 *)

{}

P0(int *x)
{
	WRITE_ONCE(*x, 1);
	WRITE_ONCE(*x, 2);
}

exists (x=1)
Commit	Line	Data
1c27b644 PM	1	C CoWW+poonceonce
1c27b644 PM	2
8f32543b PM	3	(*
	4	* Result: Never
	5	*
	6	* Test of write-write coherence, that is, whether or not two successive
	7	* writes to the same variable are ordered.
	8	*)
	9
1c27b644 PM	10	{}
	11
	12	P0(int *x)
	13	{
	14	WRITE_ONCE(*x, 1);
	15	WRITE_ONCE(*x, 2);
	16	}
	17
	18	exists (x=1)