Keil, оптимизация математики, почему так и что делать? Опции

[demiurg_spb]

Опции компиляции:

Код

--feedback ".\obj\xxxx.fed" -c --cpu Cortex-M3 -D__MICROLIB  -g -O3 -Otime --apcs=interwork --split_sections --asm --interleave --C99  --asm --interleave -I "C:\Keil\\ARM\INC" -I

Пример:

Код

float func(float x)
{
    return (x*pow(0.1, 0.01));
}

Этот негодяй прилинковывает функцию pow и по ходу дела считает её в рантайме, а не на этапе компиляции.
С gcc таких сюрпризов не припоминаю.
Есть идеи куда копать?

[scifi]

Этот негодяй прилинковывает функцию pow и по ходу дела считает её в рантайме, а не на этапе компиляции.

С более чем 10 годами опыта программирования на Си я всегда считал, что иначе и быть не может.

С gcc таких сюрпризов не припоминаю.

GCC вычисляет это на этапе компиляции? Если это правда, моё мнение о GCC резко улучшается :-)

Есть идеи куда копать?

Конечно.
return x * 0.97723722f;

[demiurg_spb]

С более чем 10 годами опыта программирования на Си...

Ну мы с Вами по этому параметру близнецы братья:-), но я по большей части всё это время сидел под GCC.

GCC вычисляет это на этапе компиляции? Если это правда, моё мнение о GCC резко улучшается :-)

А что тут странного?
constant propagation - уже сто лет в обед.

return x * 0.97723722f;

Так и сделано сейчас, но это не удобно, т.к. это число должно зависеть от задефайненого значения. Некрасиво....
(грубо это коэффициент фильтра, зависящий от ADC_SMP_RATE, который должен пересчитываться на этапе компиляции.
а ADC_SMP_RATE - любое целое положительное число>0)

[scifi]

constant propagation - уже сто лет в обед.

Обычно constant propagation ничего не знает про функции. А gcc постарался - молодцы.

Так и сделано сейчас, но это не удобно, т.к. это число должно зависеть от задефайненого значения. Некрасиво....
(грубо это коэффициент фильтра, зависящий от ADC_SMP_RATE, который должен пересчитываться на этапе компиляции.
а ADC_SMP_RATE - любое целое положительное число>0)

Ну, можно прикрутить костыль: assert(проверить, что значения двух констант согласованы). Тогда если изменили одну константу, но забыли подправить другую, это вылезет на этапе отладки. Другие варианты тоже так себе: внешний скрипт для генерации констант, инициализация константы в ОЗУ при старте программы.

[ViKo]

Ну, можно прикрутить костыль: assert(проверить, что значения двух констант согласованы).

А вот assert как раз работает на этапе run-time, нет?
А проверять при компиляции - только #if ... #error. Правильно?

[scifi]

А вот assert как раз работает на этапе run-time, нет?

Да. Но когда определён макрос NDEBUG, как это полагается делать при сборке окончательной версии, все assert() пропадают.

А проверять при компиляции - только #if ... #error. Правильно?

Нет, не только. Ещё assert_static().
Только возведение дробных чисел в дробную степень на стадии компиляции - это проблема.