On 20/11/2020 09:37, Martin Liška wrote:
On 11/17/20 10:57 AM, Sebastian Huber wrote:
This is a proposal to get the gcda data for a gcda info in a
free-standing
environment. It is intended to be used with the
-fprofile-info-section option.
A crude test program which doesn't use a linker script is:
Hello.
I'm not pretty sure how this set up is going to work. Can you please
explain me that?
I was thinking about your needs and I can imagine various techniques
how to generate
gcda files format:
1) embedded system can override fopen, fwrite, fseek to a functions
that do a remote
write-related functions
Yes, this is one option, however, the inhibit_libc disables quite a lot
of libgcov functionality if Newlib is used for example.
2) - use -fprofile-info-section
- run an app on an embedded system and do a memory dump to a
terminal/console
- take the memory dump to a host system (with IO), run
__gcov_init_from_memory_dump (...)
and then do a normal __gcov_dump
I am not sure if a plain memory dump really simplifies things. You have
to get the filename separately since it is only referenced in gcov_info
and not included in the structure:
struct gcov_info
{
[...]
const char *filename; /* output file name */
[...]
#ifndef IN_GCOV_TOOL
const struct gcov_fn_info *const *functions; /* pointer to pointers
to function
information */
[...]
#endif /* !IN_GCOV_TOOL */
};
Also the gcov_fn_info is not embedded in the gcov_info structure. If you
do a plain memory dump, then you dump also pointers and how do you deal
with these pointers on the host? You would need some extra information
to describe the memory dump. So, why not use the gcda format for this?
It is also more compact since zero value counters are skipped. Serial
lines are slow, so less data to transfer is good.
/* Convert the gcov information to a gcda data stream. The first
callback is
called exactly once with the filename associated with the gcov
information.
The filename may be NULL. Afterwards, the second callback is
subsequently
called with chunks (the begin and length of the chunk are passed as the
first two arguments) of the gcda data stream. The fourth parameter is a
user-provided argument passed as the last argument to the callback
functions. */
extern void __gcov_info_to_gcda (const struct gcov_info *gi_ptr,
void (*filename) (const char *name, void *arg),
void (*dump) (const void *begin, unsigned size, void
*arg),
void *arg);
If __gcov_info_to_gcda() is correctly implemented, then this should give
you directly gcda files if you use something like this:
#include <gcov.h>
#include <stdio.h>
extern const struct gcov_info *__gcov_info_start[];
extern const struct gcov_info *__gcov_info_end[];
static void
filename (const char *f, void *arg)
{
FILE **file = arg;
*file = fopen(f, "rb");
}
static void
dump (const void *d, unsigned n, void *arg)
{
FILE **file = arg;
fwrite(d, n, 1, *file);
}
static void
dump_gcov_info (void)
{
const struct gcov_info **info = __gcov_info_start;
const struct gcov_info **end = __gcov_info_end;
/* Obfuscate variable to prevent compiler optimizations. */
__asm__ ("" : "+r" (end));
while (info != end)
{
FILE *file = NULL;
__gcov_info_to_gcda (*info, filename, dump, &file);
fclose(file);
++info;
}
}
int
main()
{
dump_gcov_info();
return 0;
}
The callback functions give the user the full control how the data of
the gcda file is encoded for the transfer to a host. No gcov internals
are exposed.
--
embedded brains GmbH
Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.hu...@embedded-brains.de
Phone: +49-89-18 94 741 - 16
Fax: +49-89-18 94 741 - 08
PGP: Public key available on request.
embedded brains GmbH
Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/
