Потому что должен быть один модуль с длинными вызовами и большинство с включенным -mshort-calls , но это неудобно, конечно.

Хочу заметить, что размер кода - не единственно возможный критерий качества оптимизации. Может может там с оптимизацией по скорости выполнения стало лучше?
Не согласен. Во-первых, для указания компилятору, что из функции (любой, а не только main!) никогда не выполняется возврат, существует специальный атрибут. во-вторых, сохранение регистров, которые потом не будут нужны, не нарушает работу программы, а лишь делает код не таким оптимальным, как мог бы. Обратное же (несохранение регистров, которые впоследствии нужны) нарушит работу программы. Поэтому дефолтным поведением должно быть именно сохранение регистров (если специально не указано, что функция noreturn).
Предлагаю гвоворить более конкретно: вот пример кода, вот результат компиляции gcc такой-то версии с такими-то опциями, а вот - другой версии. Или с другими опциями. Вот анализ арботы оптимизатора. А так - совершенно беспредметный разговор получается...

У меня странная проблема на большом проекте 60КБ и mega1281 опция -Wl,-relax приводит к краху линковки...
avr-gcc (WinAVR 20081205) 4.3.2
Linking: ../bin/Paragraph4/Paragraph.elf
avr-gcc -mmcu=atmega1281 -I. -gdwarf-2 -DF_CPU=14745600UL -Os
-funsigned-char -funsigned-bitfields -fpack-struct -fshort-enums -Wall -Wstrict-prototypes
-Wa,-adhlns=..............
--output ../bin/Paragraph4/Paragraph.elf -Wl,-Map=../bin/Paragraph4/Paragraph.map,--cref -Wl,-relax
-Wl,-u,vfprintf -lprintf_flt -lm
make: *** [../bin/Paragraph4/Paragraph.elf] Error 1

Проверил ещё на нескольких проектах при добавлении LDFLAGS += -Wl,--relax на некоторых из них происходит крах линкера
(см. картинку во вложенном файле).

Что это? И как быть?

1. в настоящее время меня интересует качество оптимизации именно по размеру, т.е. -Os. до сего момента никогда -O3 не давало в итоге меньший размер кода, чем -Os. в частности, упомянутый проект выдал 30254 байт при -O3.

2. если бы main() не стояла особняком среди прочих функций Си-программы, я был бы готов с вами согласиться. но это особая функция, потому для нее вполне можно по умолчанию использовать особые режимы генерации кода. тем более для AVR, для которых наличие ОС, вызывающей main(), все же скорее исключение, чем правило.

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

пока что наибольший эффект дает применение --relax для линкера и -fcall-prologues для компилятора. однако, я очень сомневаюсь, что эти же опции помогут, например, для atmega8 (--relax уж точно не поможет)... а хочется найти универсальное решение проблемы.

Проверте, как влияет на размер кода -fno-split-wide-types.

Анатолий.

Сообщение отредактировал aesok - Feb 12 2009, 11:30

влияет: 18278 байт стало. но до стартовых 18204 еще есть резерв этот параметр действует одинаково на всех контроллерах?

demiurg_spb, подправьте свой пост, пожалуйста: ну невозможно пользоваться форумом - все разъехалось вширь донельзя!

Поправил. У меня в фаерфоксе ничего не разъезжалось..
И у меня на 102 байта уменьшилось на 60КБ проекте.
А что этот параметр означает-то? В доке тишина (в WinAVR\doc нет файлов, содержащих этот параметр)...

да.

В этом проекте используются функции для работы с EEPROM из avr-libc?



это паремет GCC и задокументираван в GCC 4.3.3 Manual.



Сообщение отредактировал aesok - Feb 12 2009, 11:42

http://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html
Упс, опередили.
Т.е. насколько я понял, по умолчанию включено, и это добавляет количество команд mov  вместо movw

Да. Как сторонний эффект.

eeprom.h подключается, но его функции пока не используются.

чем еще можно усушить размер?

На этой странице не встречается "fno-split-wide-types"
Ступил... Нашёл что надо. Спасибо.
Есть дока по "fsplit-wide-types". Теперь совсем неясно стало.
Если разделять по несвязанным регистрам то код должен уменьшаться а тут мы запрещаем split и он уменьшается. Непонятно....
А на мелком проекте 5КБ код вырос на 4 байта

С --param inline-call-cost=4,5,6 игрались?

--param -inline-call-cost

=0.........17902
=1,2,3.....17820
=4,5.......17988
=6,7,8.....18002
=9..........18036
=10,11.....18292
=12.........исходные 18350
при дальнейшем росте значения идет так же рост размера

при этом никакие другие параметры не использовал! комбинация -mcall-prologues -fno-split-wide-types --param -inline-call-cost=1 -Wl,-relax дает 17112 байт! более чем на килобайт меньше отправной точки! (правда, в железе не проверил - работает оно или нет?) :D

это предел? еще хачу!

P.S. интересно, а со старым компилятором сколько бы вышло? проверю обязательно!

-fsplit-wide-types - совершенно очевидно, что в качестве умолчания оно не подходит.

Остальное - так и думал, инлайны

2ARV: -fno-unroll-loops стоИт?