Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-03-24 | tools/memory-model: Implement --hw support for checkghlitmus.sh | Paul E. McKenney | |
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> |