Как удалить неиспользуемые символы C / C ++ с помощью GCC и ld?

Мне нужно сильно оптимизировать размер исполняемого файла ( ARMразработка), и я заметил, что в моей текущей схеме сборки ( gcc+ ld) неиспользуемые символы не удаляются.

Использование arm-strip --strip-unneededдля результирующих исполняемых файлов / библиотек не меняет выходной размер исполняемого файла (я понятия не имею, почему, возможно, он просто не может) .

Каким будет способ (если он существует) изменить мой строительный конвейер, чтобы неиспользуемые символы были удалены из результирующего файла?

Я бы даже не подумал об этом, но моя текущая встраиваемая среда не очень "мощная" и экономия даже 500Kна 2Mрезультатах приводит к очень хорошему увеличению производительности загрузки.

Обновить:

К сожалению, текущая gccверсия, которую я использую, не имеет -dead-stripопции, и -ffunction-sections... + --gc-sectionsfor ldне дает существенной разницы для конечного результата.

Я шокирован тем, что это даже стало проблемой, потому что я был уверен, что это gcc + ldдолжно автоматически удалять неиспользуемые символы (зачем им вообще их сохранять?).

Для GCC это выполняется в два этапа:

Сначала скомпилируйте данные, но скажите компилятору разделить код на отдельные разделы в блоке перевода. Это будет сделано для функций, классов и внешних переменных с использованием следующих двух флагов компилятора:

-fdata-sections -ffunction-sections

Свяжите единицы перевода вместе с помощью флага оптимизации компоновщика (это заставляет компоновщик отбрасывать разделы, на которые нет ссылок):

-Wl,--gc-sections

Итак, если у вас был один файл с именем test.cpp, в котором были объявлены две функции, но одна из них не использовалась, вы можете опустить неиспользуемый файл с помощью следующей команды gcc (g ++):

gcc -Os -fdata-sections -ffunction-sections test.cpp -o test -Wl,--gc-sections

(Обратите внимание, что -Os - это дополнительный флаг компилятора, который сообщает GCC об оптимизации по размеру)

Если верить этому потоку , вам необходимо передать -ffunction-sectionsи-fdata-sections в gcc, который поместит каждую функцию и объект данных в отдельный раздел. Затем вы даете и --gc-sectionsGNU ld удалить неиспользуемые разделы.

Вы захотите проверить свои документы для вашей версии gcc & ld:

Однако для меня (OS X gcc 4.0.1) я нахожу их для ld

-dead_strip

Удалите функции и данные, недоступные для точки входа или экспортируемых символов.

-dead_strip_dylibs

Удалите дилибы, недоступные для точки входа или экспортируемых символов. То есть подавляет создание команд загрузки для дилибов, которые не предоставили символы во время ссылки. Этот параметр не следует использовать при компоновке с dylib, который требуется во время выполнения по какой-то косвенной причине, такой как dylib имеет важный инициализатор.

И этот полезный вариант

-why_live symbol_name

Регистрирует цепочку ссылок на имя_символа. Применимо только с -dead_strip. Это может помочь отладить, почему то, что, по вашему мнению, должно быть удалено, не удаляется.

Также в gcc / g ++ man есть примечание о том, что определенные виды удаления мертвого кода выполняются только в том случае, если при компиляции включена оптимизация.

Хотя эти параметры / условия могут не подходить для вашего компилятора, я предлагаю вам поискать что-то подобное в своих документах.

Привычки программирования тоже могут помочь; например, добавить staticк функциям, доступ к которым не осуществляется за пределами определенного файла; используйте более короткие имена для символов (может немного помочь, скорее всего, не слишком); использовать по const char x[]возможности; ... этот документ , хотя и говорит о динамических общих объектах, может содержать предложения, которые, если им следовать, могут помочь уменьшить конечный размер двоичного вывода (если ваша цель - ELF).

Ответ есть -flto. Вы должны передать его как на этапах компиляции, так и на этапах связывания, иначе он ничего не сделает.

На самом деле он работает очень хорошо - уменьшил размер написанной мной программы микроконтроллера до менее чем 50% от ее предыдущего размера!

К сожалению, это показалось немного глючным - у меня были случаи, когда что-то строилось неправильно. Возможно, это произошло из-за используемой мной системы сборки (QBS; она очень новая), но в любом случае я бы рекомендовал вам включить ее только для вашей окончательной сборки, если это возможно, и тщательно протестировать эту сборку.

Хотя это и не о символах, если идти по размеру - всегда компилировать с -Osи -sфлаги. -Osоптимизирует результирующий код для достижения минимального размера исполняемого файла и -sудаляет таблицу символов и информацию о перемещении из исполняемого файла.

Иногда - если желателен небольшой размер - игра с разными флагами оптимизации может иметь - а может и не иметь - значение. Например, переключение -ffast-mathи / или -fomit-frame-pointerвременами может сэкономить вам даже десятки байтов.

Мне кажется, что ответ Nemo правильный. Если эти инструкции не работают, проблема может быть связана с версией gcc / ld, которую вы используете, в качестве упражнения я скомпилировал пример программы, используя инструкции, подробно описанные здесь.

#include <stdio.h>
void deadcode() { printf("This is d dead codez\n"); }
int main(void) { printf("This is main\n"); return 0 ; }

Затем я скомпилировал код, используя все более агрессивные переключатели удаления мертвого кода:

gcc -Os test.c -o test.elf
gcc -Os -fdata-sections -ffunction-sections test.c -o test.elf -Wl,--gc-sections
gcc -Os -fdata-sections -ffunction-sections test.c -o test.elf -Wl,--gc-sections -Wl,--strip-all

Эти параметры компиляции и связывания привели к созданию исполняемых файлов размером 8457, 8164 и 6160 байтов, соответственно, наиболее существенный вклад вносит объявление «strip-all». Если вы не можете произвести аналогичные сокращения на своей платформе, возможно, ваша версия gcc не поддерживает эту функцию. Я использую gcc (4.5.2-8ubuntu4), ld (2.21.0.20110327) в Linux Mint 2.6.38-8-generic x86_64

strip --strip-unneededработает только с таблицей символов вашего исполняемого файла. На самом деле он не удаляет исполняемый код.

Стандартные библиотеки достигают желаемого результата, разделяя все свои функции на отдельные объектные файлы, которые объединяются с помощью ar. Если вы затем свяжете полученный архив как библиотеку (т. -l your_libraryЕ. Дадите опцию ld), тогда ld будет включать только объектные файлы и, следовательно, символы, которые фактически используются.

Вы также можете найти некоторые ответы на этот аналогичный вопрос использования.

Я не знаю, поможет ли это в вашем текущем затруднительном положении, поскольку это новая функция, но вы можете указать видимость символов глобально. Передача -fvisibility=hidden -fvisibility-inlines-hiddenпри компиляции может помочь компоновщику впоследствии избавиться от ненужных символов. Если вы создаете исполняемый файл (в отличие от общей библиотеки), делать больше нечего.

Дополнительная информация (и подробный подход, например, для библиотек) доступна в вики GCC .

Из руководства GCC 4.2.1, раздел -fwhole-program:

Предположим, что текущая единица компиляции представляет собой компилируемую программу целиком. Все общедоступные функции и переменные, за исключением mainтех, которые объединены атрибутом, externally_visibleстановятся статическими функциями и в результате более агрессивно оптимизируются межпроцедурными оптимизаторами. Хотя этот параметр эквивалентен правильному использованию staticключевого слова для программ, состоящих из одного файла, в сочетании с параметром --combineэтот флаг можно использовать для компиляции большинства программ на C меньшего масштаба, поскольку функции и переменные становятся локальными для всей объединенной единицы компиляции, а не для сам единственный исходный файл.

Вы можете использовать двоичный файл удаления в объектном файле (например, исполняемом файле), чтобы удалить из него все символы.

Примечание: он изменяет сам файл и не создает копию.