diff options
author | Frediano Ziglio <frediano.ziglio@citrix.com> | 2013-02-14 12:37:14 +0000 |
---|---|---|
committer | Keir <keir.xen@gmail.com> | 2013-02-21 16:15:40 +0000 |
commit | 26c9d03dd4a7356ed697bec98fe8108a5eebd562 (patch) | |
tree | e86ed6154ac6367e4eda54d2c29303fd920289c3 /Config.mk | |
parent | 68ca0bc4ba2f70d50b4c5eecbba53ce113bd8ad6 (diff) | |
download | xen-26c9d03dd4a7356ed697bec98fe8108a5eebd562.tar.gz xen-26c9d03dd4a7356ed697bec98fe8108a5eebd562.tar.bz2 xen-26c9d03dd4a7356ed697bec98fe8108a5eebd562.zip |
gcov: Adding support for coverage information
This patch introduce coverage support to Xen.
Currently it allows to compile Xen with coverage support but there is no
way to extract them.
The declarations came from Linux source files (as you can see from file
headers).
The idea is to have some operations mainly
- get coverage information size
- read coverage information
- reset coverage counters
Linux use a file system to export these information. The information will
be a blob to handle with some tools (as usually tools require a bunch of
files but Xen does not handle files at all). I'll pack them to make things
simpler as possible.
These information cannot be put in a specific section (allowing a safe
mapping) as gcc use .rodata, .data, .text and .ctors sections.
I added code to handle constructors used in this case to initialize a
linked list of files.
I excluded %.init.o files as they are used before Xen start and should
not have section like .text or .data.
I used a "coverage" configuration option to mimic the "debug" one.
Signed-off-by: Frediano Ziglio <frediano.ziglio@citrix.com>
Diffstat (limited to 'Config.mk')
-rw-r--r-- | Config.mk | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -13,6 +13,9 @@ realpath = $(wildcard $(foreach file,$(1),$(shell cd -P $(dir $(file)) && echo " debug ?= y debug_symbols ?= $(debug) +# Test coverage support +coverage ?= n + XEN_COMPILE_ARCH ?= $(shell uname -m | sed -e s/i.86/x86_32/ \ -e s/i86pc/x86_32/ -e s/amd64/x86_64/ \ -e s/armv7.*/arm32/) |