ld 做過程間優(yōu)化？

duanlin

ld 是一個較輕量級的工具，如果兩個.o 連接成一個可執(zhí)行的時候，ld 會分析兩個.o 之間的優(yōu)化機會嗎？
1. 如果會，該過程復(fù)雜度如何？有什么目前所知的主要問題。
2. 如果不會，“過程間優(yōu)化”過程在 gcc 鏈中，主要由誰來做？在何時機來做？或者根本沒有做？

ANY post is appreciated thanks

EricFisher

ld會在鏈接時調(diào)用gcc，讀入目標文件中的中間表示，然后有g(shù)cc進行過程間優(yōu)化

lyl19

回復(fù) 1# duanlin


  是binutils中的ld嗎？我讀過它的代碼，沒有發(fā)現(xiàn)有調(diào)用gcc的過程啊。

EricFisher

$ gcc -flto foo.c -v -save-temps
可以看到collect2的執(zhí)行命令，然后把相應(yīng)的命令復(fù)制，粘貼，加上一個-v選項，再次執(zhí)行，可以看到其調(diào)用了ld，以及l(fā)d的執(zhí)行命令。
可以看到ld是調(diào)用了liblto_plugin.so插件，這個插件是在gcc中實現(xiàn)的，里面有個函數(shù)exec_lto_wrapper，會在ld加載完所有符號之后執(zhí)行，調(diào)用lto-wrapper。
lto-wapper也是在gcc中實現(xiàn)的，其用來調(diào)用lto1，這個lto1類似于cc1，只不過是用來讀入目標文件中的gimple中間表示，讀進來之后，就可以進行全局優(yōu)化了。

liuiang

Link-time optimization，參考http://en.wikipedia.org/wiki/Link-time_optimization