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, 1 Dec 2021 01:48:15 +0000 (17:48 -0800)
commit	8cf69fb2641c4b4ff6a1cc454a349f551ef28fb9
tree	3996c4f938d5bf566849b442a620281036b7c853	tree
parent	0aa664284cb3cd4f1abc19c1d9df5a0570ff86d9	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