как побороть WinAVR?, и заставить просто скомпиллить как написано Опции

[VDV]

написана функция:

volatile int32_t _corr[2 * 8];//result of correlations
volatile uint8_t _corr_index;//index for sample table
int8_t PROGMEM _dtmf_samples[] = {...};

int8_t d = ADCH;
for( uint8_t i = 16; i--; )
{
int16_t mul = d * pgm_read_byte( &_dtmf_samples[_corr_index] );
_corr[i] += mul;
}

в результате генерится совершенно безобразный код.
умножение производится в 32-х битном виде, хотя явно написано умножение 2-х байтов
включена оптимизация O3

если массив объявить как int8_t, то умножение делается для 2-х байтов, но!!!!
используется mul вместо muls (хотя написано, что величины знаковые!!!)
и в результате он зануляет старший байт, даже если идет приведение результата операции к int16_t

как побороть WinAVR?

что хочется:
сделать знаковое умножение 2-х байтов, получить 16-ти битное значение.
затем расширить его до 32-х бит,
сложить с 32-х битной величиной из массива и запомнить в массиве результат.

и еще:
ткните, плиз, носом где понятно написано как делать ассемблерные вставки.
собственно, непонятно, как из асма взять данные из Сишной переменной и в нужную Сишную переменную отдать

[VDV]

код приведен для пояснения смысла проблемы, а не объяснения работы программы.
ес-но правильный цикл несколько другой.
чем проще код в примере, тем проще понять суть проблемы.

по поводу сдвига, если на асме:
если написать подряд, то получается 6 команд и 6 тактов
если написать цикл, то получается 5 команд и 17 тактов

если скомпиллить O3, получаем 10 команд и 10 тактов
если скомпиллить Os, получаем 9 команд и 21 такт
лишние команды - это пересылки туда-сюда до сдвига и обратно после сдвига (совершенно не понимаю, зачем компиль их делает)

итого:
проигрышь по объему и по скорости от 2-х до почти 4-х раз

Сообщение отредактировал VDV - Aug 8 2008, 14:59

[AHTOXA]

проигрышь по объему и по скорости от 2-х до почти 4-х раз

ИМХО, некоторым людям вредно знать ассемблер... Вы посчитайте, сколько циклов у вас есть на выполнение нужной работы, и посмотрите, успеваете ли. Если успеваете - какой смысл горевать по лишним тактам? Если не успеваете - пишите на асме/меняйте компилер/шлифуйте алгоритм.