Здравствуйте!

WinAVR, родной makefile.

main.c


main.lss ( По сути листинг прошивки )


Хочу так, что бы в прошивке не было неиспользуемых функций. Усердно читаю и пробую ld options...

Помогите, пожалуста, терминами ( как эту проблему правильно называть ) ну и с решением. Спасибо!

Добавлю, что в приведённом примере функция не линкуется если её объявить static.

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

Уже обсуждалось на форуме, поищите, пожалуйста. Сообщения, кажется, от Сергея Борща.

Спасибо, коллега подсказал параметры компиляции -ffunction-sections -fdata-sections и компоновки -Wl,--gc-sections.

LDFLAGS += -Wl,--gc-sections
CFLAGS += -ffunction-sections
CFLAGS += -fdata-sections

Всё Шикарно

Именно они, но я их не могу запомнить.

Не пора ли этот вопрос в FAQ отправлять?

Тогда сразу в -Os ... Вероятно, есть ньюансы, из-за которых их туда не добавляют?

(А то забуду) В FAQ надо отправить hex2bin и bin2hex посредством srecord

Сообщение отредактировал Злодей - Jun 18 2009, 22:12

Хочу добавить, что иначе и быть не может: у статических объектов область видимости - файл, поэтому линкеру они не видны, он о их существовании ничего не знает (исключением, по-моему, яувляются только статические члены классов).
А что это и для чего?

Такие обьекты должны быть видны линкеру посредством их использования другими (нестатическими) обьектами\функциями. В примпре, приведённом у топикстартера, функция int do_not_link_me( int arg ) нигде не используется, поэтому если её обьявить статической, она справедливо будет выкинута.

Для GCC:

Единицей обработки компилятора является одна функция или переменная. Если функция или переменная объявлена как static и не используется в компилируемом файле то компилятор ее выкидывает. Если же функция или переменная используется или является глобальной, то она кладется в объектный файл в общую секцию .text (функция) и в .data или .bss (переменная) (если для них не указан атрибут section). Ключи -ffunction-sections и -fdata-sections компилятора изменяют это поведение компилятора и заставляют его в объектном файле для каждой функции и переменной создавать отдельную секцию.

Единицей обработки линкера является секция, вне зависимости от того сколько функций или переменных в этой секции находиться. По умолчанию ликер собирает все секции из входных файлов и кладет в результирующий объектный файл. Ключ --gc-sections изменет это поведение и заставляет линкер не класть в результирующий файл секции на которые нет ссылок из других секций. Секции которые обязательно должны присутствовать в результирующем файле, например секция со стартап кодом из которого вызывается функция main, описывается в скрипте линкера с помощью команды KEEP ().

Выводы.
1. Неиспользуемые stаtiс функции и переменные оптимизируются компилятором. Старайтесь использовать слово static в ваших программах это улучшает их читаемость и потенциально уменьшает размер.

2. -ffunction-sections и -fdata-sections на высоких уровнях оптимизации не включаются по двум причинам:
a) увеличение времени работы линкера, при использовании этих ключей сильно увеличивается количество секций которые должен обработать линкер.
б) в описании этих ключей есть предостережение что при их использовании возможны проблемы с отладкой. Мне не встречались сообщения с описаниями проблем для AVR платформы.

Анатолий.

Сообщение отредактировал aesok - Jun 20 2009, 20:34

? Не понял. Что значит "видны посредством использования"?

В Вашем же примере статическая функция static int foo(int x) вызывается в int bar(int x), поэтому (если в свою очередь последняя функция также используется в приложении) линкер не должен её выкинуть.

Только компилятор может выкидывать функции. А линкер может выкидывать только секции, вне зависимости сколько в ней функций (или переменных). Если есть ссылка хоть на одну функцию или переменную в секции то линкет оставляет всю секцию целиком. А вот сколько функций (переменных) положит компилятор в секцию управляеться ключем -ffunction-sections (-fdata-sections).

Анатолий.

Сообщение отредактировал aesok - Jun 21 2009, 19:17

Да, Вы правы, оговорился. Но независимо от того, кто чем занимается, результат останется прежним.

Почти Компилятор может также с лёгкостью заинлайнить статическую функцию.
И как такового "экземпляра" функции не будет вовсе, как пролога эпилога и call/ret.

объявление:


тело: