git.kernel.dk Git - linux-2.6-block.git/commit

author	Paul E. McKenney <paulmck@kernel.org>
	Sat, 23 Mar 2019 00:18:43 +0000 (17:18 -0700)
committer	Paul E. McKenney <paulmck@kernel.org>
	Wed, 2 Feb 2022 01:33:28 +0000 (17:33 -0800)
commit	e5e5eea14c59580dcc61e97abb8cd5260b10f2e4
tree	a5005d8259c5e944d07fe319fc3683a555b99a66	tree
parent	aa09b964d460838106c6bd1b8f06d4f9bf1e6e42	commit \| diff

tools/memory-model: Implement --hw support for checkghlitmus.sh

This commits enables the "--hw" argument for the checkghlitmus.sh script,
causing it to convert any applicable C-language litmus tests to the
specified flavor of assembly language, to verify these assembly-language
litmus tests, and checking compatibility of the outcomes.

Note that the conversion does not yet handle locking, RCU, SRCU, plain
C-language memory accesses, or casts.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

tools/memory-model/scripts/checkghlitmus.sh		diff \| blob \| blame \| history
tools/memory-model/scripts/hwfnseg.sh	[new file with mode: 0755]	blob
tools/memory-model/scripts/runlitmushist.sh		diff \| blob \| blame \| history