1 #!/bin/bash
2 # SPDX-License-Identifier: GPL-2.0
3
4 set -e
5 set -o pipefail
6
7 # To debug, uncomment the following line
8 # set -x
9
10 # -mprofile-kernel is only supported on 64-bit with ELFv2, so this should not
11 # be invoked for other targets. Therefore we can pass in -m64 and -mabi
12 # explicitly, to take care of toolchains defaulting to other targets.
13
14 # Test whether the compile option -mprofile-kernel exists and generates
15 # profiling code (ie. a call to _mcount()).
16 echo "int func() { return 0; }" | \
17 $* -m64 -mabi=elfv2 -S -x c -O2 -p -mprofile-kernel - -o - \
18 2> /dev/null | grep -q "_mcount"
19
20 # Test whether the notrace attribute correctly suppresses calls to _mcount().
21
22 echo -e "#include <linux/compiler.h>\nnotrace int func() { return 0; }" | \
23 $* -m64 -mabi=elfv2 -S -x c -O2 -p -mprofile-kernel - -o - \
24 2> /dev/null | grep -q "_mcount" && \
25 exit 1
26
27 exit 0
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.