projects / platform / kernel / linux-starfive.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9313e0) | patch
tools/memory-model: Implement --hw support for checkghlitmus.sh
authorPaul E. McKenney <paulmck@kernel.org>
Sat, 23 Mar 2019 00:18:43 +0000 (17:18 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commit69d476c55761a74e636bb10e101e5aed6fb104fd
tree07970986004d1ef8a66f73cbdc1b690b89dc2357tree | snapshot
parentd9313e05f08dea8cf9f7a67662d642ba47f8040acommit | 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 | history
tools/memory-model/scripts/hwfnseg.sh [new file with mode: 0755] blob
tools/memory-model/scripts/runlitmushist.sh diff | blob | history
Domain: System / Kernel;