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 таких сюрпризов не припоминаю.
Есть идеи куда копать?

[prottoss]

А если попробовать сделать так:

Код

static float pow_01_001(void)
{  
   return (pow(0.1, 0.01));
}

float func(float x)
{
     return (x*pow_01_001());
}

[demiurg_spb]

А если попробовать сделать так:

Код

static float pow_01_001(void)...

Попробовал - нет разницы.

Нет, не только. Ещё assert_static().

Я STATIC_ASSERT(...) регулярно применяю, и в этом случае тоже пришлось. Может кому пригодится:

CODE

/*
* ASSERTION - УТВЕРЖДЕНИЕ
*
* Example of usage:
* STATIC_ASSERT(sizeof(int) > 4); // produce error in ARM or X86 machine
*
*/

#ifndef _STATIC_ASSERT_H_
#define _STATIC_ASSERT_H_

#ifdef __cplusplus
template<bool> struct CompileTimeError;
template<> struct CompileTimeError<true> {};
# define STATIC_ASSERT(expr) (CompileTimeError<(expr) != 0>())
#else
# define MY_JOIN_3_H(A,B,C) A##B##C
# define MY_JOIN_3(A,B,C) MY_JOIN_3_H(A,B,C)
# define STATIC_ASSERT_H(expr) typedef int MY_JOIN_3(static_assert_,__LINE__,_h) [(expr) ? 1 : -1]
# define STATIC_ASSERT(expr) STATIC_ASSERT_H(expr)
#endif

#endif //_STATIC_ASSERT_H_

В сторону Klen-овой сборки arm-gcc ?

Я бы и рад, но на новом месте работы keil и баста

2DevL: Да, шаблоны - вещь приятная и полезная, но проект без плюсов...

[prottoss]

Попробовал - нет разницы.

А если вообще попробовать static float pow_01_001(void) упрятать в другой юнит?

Или запихать в цикл do{...}while(0)