Оптимизация прерываний, Прошу совета Опции

[Dmitro25]

Здравствуйте.
Пишу проект на IAR for AVR.
Возникло желание посмотреть, какой код формирует компилятор для прерываний. Оказалось, что в начале процедуры прерывания сохраняется в data-stack, а конце - восстанавливается 15 регистров общего назначения, хотя вызываемые из прерывания функции не требуют такого количества регистров. Я сначала подумал, что всё дело в том, что вызываемая из прерывания функция находится в другом модуле проекта, перенёс её в тот же модуль, где находится процедура прерывания, но отличий не увидел. Такое же ненужное сохранение множества регистров.
Разумное сохранение регистров я увидел только тогда, когда компилятор включил текст вызываемой функции в процедуру прерывания (inline). Если по какой-то причине inline функции не получается, снова бессмысленное сохранение регистров.
Чтобы не быть голословным, привожу код:

Код

#include <ioavr.h>

#pragma optimize=no_inline
void DoNothing()
{
}

#pragma vector = TIMER1_COMPA_vect
__interrupt void ext_int0_isr_routine(void)
{
  DoNothing();
}

int main( void )
{
  return 0;
}

Оптимизация стоит максимальная по скорости.
Подскажите, как этого можно избежать? Очень хотелось бы из прерывания вызывать функции, в т.ч. из других модулей, и иметь при этом оптимальный код.

[Dmitro25]

2dxp:

Как раз понятное и объяснимое поведение. По-другому просто и быть не может

Ваш пост не дописан... Но, по-моему, если следовать разуму, зачем компилятору сохранять регистры перед вызовом функции, внутри которой, как ему ТОЧНО известно, ни один из этих регистров не используется.
Приведите пример, в котором только такое поведение разумно.

2MrYuran:

Попробуйте принудительно заинлайнить функцию

Я понимаю, что, скорее всего, придётся делать именно так.
Просто изначально я хотел вызывать из прерывания функции, расположенные в других модулях проекта. Задача была вот в чём: создать для каждого периферийного устройства свой модуль в проекте (для инкапсуляции), а по прерываниям в основном модуле проекта вызывать соответствующие функции модулей периферийных устройств. При этом структура проекта получается более "прозрачной": в основном модуле сосредоточены все прерывания, а каждый из подключаемых модулей - это некий "чёрный ящик" с входом для прерываний и набором других входов и выходов в виде функций.
Однако, сделать процедуру прерывания в другом модуле "inline" у меня не получилось. Без специальных ключей линкер её выбрасывает, а если ставить "#pragma object_attribute=__root", всё равно это транслируется в "call" из прерывания.
Ещё, кстати, один вопрос к оптимальности трансляции, почему в "call", а не в rcall, если пока размер кода проекта не превышает 2кБ?

[dxp]

2dxp:

Ваш пост не дописан...

Глюк форума. Все дописано.

Но, по-моему, если следовать разуму, зачем компилятору сохранять регистры перед вызовом функции, внутри которой, как ему ТОЧНО известно, ни один из этих регистров не используется.

Это откуда ему "ТОЧНО известно" это? Вот представьте, что вы компилятор, вам дали обработчик прерывания, в нем есть вызов функции, но кроме вызова ничего нет - самой функции вы не видите, ее исходного кода у вас нет, есть только прототип, чтобы вы могли ее правильно вызвать. Все.

Приведите пример, в котором только такое поведение разумно.

Вызов из ISR любой функции, представление которой в точке вызова неизвестно. См выше.

Я понимаю, что, скорее всего, придётся делать именно так.

И никак иначе, если не хотите тупого оверхеда.

Просто изначально я хотел вызывать из прерывания функции, расположенные в других модулях проекта. Задача была вот в чём: создать для каждого периферийного устройства свой модуль в проекте (для инкапсуляции), а по прерываниям в основном модуле проекта вызывать соответствующие функции модулей периферийных устройств. При этом структура проекта получается более "прозрачной": в основном модуле сосредоточены все прерывания, а каждый из подключаемых модулей - это некий "чёрный ящик" с входом для прерываний и набором других входов и выходов в виде функций.

Имхо, не самый лучший подход. Намного лучше обработчики прерываний рассовать по модулям, чтобы каждый был поближе к "своему" коду (с которым ISR связан). Еще лучше модули организовать в виде классов, а ISR сделать статическими функциями-членами классов.

Однако, сделать процедуру прерывания в другом модуле "inline" у меня не получилось.

Естественно. Для того, чтобы функция могла быть встроенной, компилятор должен иметь ее полный код в точке вызова - иначе как он будет встраивать? Точнее, что он будет встраивать, если он не видит потрохов функции? Иными словами, встраиваемая функция должна быть определена до точки ее вызова (хоть в заголовочном файле).

Ещё, кстати, один вопрос к оптимальности трансляции, почему в "call", а не в rcall, если пока размер кода проекта не превышает 2кБ?

А откуда компилятор знает о размере кода проекта? Размер кода проекта знает только линкер и то уже после сборки всего проекта. А инструкции вызова ставит компилятор. Если хотите rcall, задавайте опции процессора (-v), которые скажут компилятору, что памяти программ меньше 8к, и тогда компилятор будет ставить rcall.