Paul E. McKenney 69d476c557 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>

2023-03-24 10:24:14 -07:00

415 B

Executable File

Raw Blame History

View Raw