Hello All,
Is there some way from a plugin to read and to write some plugin
specific LTO data?
When glancing in lto-streamer.h I believe I see no such things. But I
don't understand all the details.
I was thinking of e.g. functions like
void lto_input_plugin_data(struct lto_file_decl_data*file_data,
const char* plugin_name,
char **datap,
size_t*sizep);
A pass from the plugin FOO would call
char* mydata = NULL;
size_t mydatasize = 0;
lto_input_plugin_data(file_data, "FOO", &mydata, &mydatasize);
and then the buffer mydata would be malloc-ed by the LTO infrastructure
and it will be read, and mydatasize set to the size of the read data.
For writing, I would be happy with
void lto_output_plugin_data(struct lto_file_decl_data *file_data,
const char* plugin_name,
char* data, size_t size);
and the plugin would call
lto_output_plugin_data(file_data, "FOO", mydata, mysize);
Perhaps the lto_file_decl_data* type above is wrong (and should be
something else).
Is it too late to add such a simple functionality in the LTO infrastructure.
There are many possible usage for that. For example, imagine a plugin
which try to detect that every malloc() result has been tested against
null. To work between compilation unit, that plugin has to serialize
properties like "rootine foo returns a malloc()-ed pointer untested" etc.
Are there other alternatives?
BTW, the comment in lto-streamer.h near line 809 of rev 153460 reads
/* In lto-streamer-in.c */
extern void lto_input_cgraph (struct lto_file_decl_data *, const char*);
But I cannot find any lto_input_cgraph in rev 153460 of the trunk
Regards
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***
