On Thu, Nov 26, 2015 at 02:55:04AM +0100, Jan Hubicka wrote:
> > 
> > > I suppose we could play a games here with slim LTO: claim the file, see if
> > > there are any symbols defined in the non-LTO symbol table and if so, 
> > > interpret
> > > read the symbol table and tell linker about the symbols and at the very 
> > > end
> > > include the offending object file in the list of objects returned back to
> > > linker.
> > > 
> > > The linker then should take the symbols it wants.  There would be some fun
> > > involved, because the resolution info we get will consider the symbols
> > > defined in that object file to be IR which would need to be compensated 
> > > for.
> > 
> > Yes something like that would be needed.
> 
> Actually I think it is harder than that, because we need to strip LTO data
> from the object files, so we do not end up with duplicated LTO if the object
> file was already having both LTO and non-LTO stuff in it.

When I started with LTO I was looking into that, and that is why I originally
implemented slim LTO as a first step. But then I realized that that just adding
the postfixes is much easier, after HJ proposed his linker based solution.

Anyways can stay with the special binutils for the kernel for now, but it's 
a bit of a pain for users to install them (user feedback is generally that 
this is the hardest part)

I'm a bit surprised that the programs you test (Firefox, LibreOffice etc.)
don't have .S files.

> 
> I am not sure we can/want to implement this w/o some sort of support from 
> plugin side. It would basically mean doing another incremnetal linker in the
> plugin.
> 
> How does HJ's binutils work for fat LTO?

I believe it works too (pretty sure I tested it at some point)

Here's the original design spec

https://sourceware.org/ml/binutils/2011-04/msg00404.html


-Andi
-- 
a...@linux.intel.com -- Speaking for myself only

Reply via email to