I think it would be interesting to have a compiler option to add the bit code to the .s or .o file in some kind
of a non linkable section.
This would give you the option at link time of doing lto without having to change make files, etc.
The driver would need to have some kind of prelink step to extract the bitcode in the case of lto.
Just a thought...