Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
tools/memory-model: Update parseargs.sh for hardware verification
This commit adds a --hw argument to parseargs.sh to specify the CPU
family for a hardware verification. For example, "--hw AArch64" will
specify that a C-language litmus test is to be translated to ARMv8 and
the result verified. This will set the LKMM_HW_MAP_FILE environment
variable accordingly. If there is no --hw argument, this environment
variable will be set to the empty string.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
+8
-1
+8
-1
tools/memory-model/scripts/parseargs.sh
+8
-1
tools/memory-model/scripts/parseargs.sh
···
27
27
28
28
initparam LKMM_DESTDIR "."
29
29
initparam LKMM_HERD_OPTIONS "-conf linux-kernel.cfg"
30
+
initparam LKMM_HW_MAP_FILE ""
30
31
initparam LKMM_JOBS `getconf _NPROCESSORS_ONLN`
31
32
initparam LKMM_PROCS "3"
32
33
initparam LKMM_TIMEOUT "1m"
···
38
37
echo "Usage $scriptname [ arguments ]"
39
38
echo " --destdir path (place for .litmus.out, default by .litmus)"
40
39
echo " --herdopts -conf linux-kernel.cfg ..."
40
+
echo " --hw AArch64"
41
41
echo " --jobs N (number of jobs, default one per CPU)"
42
42
echo " --procs N (litmus tests with at most this many processes)"
43
43
echo " --timeout N (herd7 timeout (e.g., 10s, 1m, 2hr, 1d, '')"
44
-
echo "Defaults: --destdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --jobs '$LKMM_JOBS_DEF' --procs '$LKMM_PROCS_DEF' --timeout '$LKMM_TIMEOUT_DEF'"
44
+
echo "Defaults: --destdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --hw '$LKMM_HW_MAP_FILE' --jobs '$LKMM_JOBS_DEF' --procs '$LKMM_PROCS_DEF' --timeout '$LKMM_TIMEOUT_DEF'"
45
45
exit 1
46
46
}
47
47
···
95
93
--herdopts|--herdopt)
96
94
checkarg --destdir "(herd7 options)" "$#" "$2" '.*' '^--'
97
95
LKMM_HERD_OPTIONS="$2"
96
+
shift
97
+
;;
98
+
--hw)
99
+
checkarg --hw "(.map file architecture name)" "$#" "$2" '^[A-Za-z0-9_-]\+' '^--'
100
+
LKMM_HW_MAP_FILE="$2"
98
101
shift
99
102
;;
100
103
-j[1-9]*)