tools/memory-model: Keep assembly-language litmus tests

Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git

kernel os linux

This commit retains the assembly-language litmus tests generated from
the C-language litmus tests, appending the hardware tag to the original
C-language litmus test's filename. Thus, S+poonceonces.litmus.AArch64
contains the Armv8 assembly language corresponding to the C-language
S+poonceonces.litmus test.

This commit also updates the .gitignore to avoid committing these
automatically generated assembly-language litmus tests.

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

Paul E. McKenney 3 years ago 2027ad41 ee542816

+3 -3

2 changed files

expand all

tools

memory-model

litmus-tests

.gitignore

scripts

runlitmus.sh

+1 -1

tools/memory-model/litmus-tests/.gitignore

··· 1 1 # SPDX-License-Identifier: GPL-2.0-only 2 - *.out 2 + *.litmus.*

+2 -2

tools/memory-model/scripts/runlitmus.sh

··· 69 69 70 70 # Generate the assembly code and run herd7 on it. 71 71 gen_theme7 -n 10 -map $mapfile -call Linux.call > $themefile 72 - jingle7 -theme $themefile $litmus > $T/$hwlitmusfile 2> $T/$hwlitmusfile.jingle7.out 73 - /usr/bin/time $LKMM_TIMEOUT_CMD herd7 -model $catfile $T/$hwlitmusfile > $LKMM_DESTDIR/$hwlitmus.out 2>&1 72 + jingle7 -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out 73 + /usr/bin/time $LKMM_TIMEOUT_CMD herd7 -model $catfile $LKMM_DESTDIR/$hwlitmus > $LKMM_DESTDIR/$hwlitmus.out 2>&1 74 74 75 75 exit $?