Errata IAR ARM 5.30, это точно компилятор)) Опции

[zhek]

Начал подглючивать девайс при работе. Долго искал причины, пока не убедился, что это косяк IAR ARM 5.30. Делал оптимизацию High по Speed. Были установлены все птички, кроме Static clustering. Окончательно убедился, что это не ошибка в коде, когда стал регулярно ловить такую ситуацию. Ассемблерный код:
...
MOVNE R8,R8, LSL #+16
MOVNE R8,R8, ASR #+16
// 1740 if (a >= wbNOISE_PARTS)//фиксируем начало зубца
CMP R8,#+12
...
Команды MOVNE выполняют преобразование типа short->long. После этих операций в старших 16 битах может быть только знак, т. е. нули или единицы. Когда я ходил по ассемблерному коду, поймать не удавалось. А если идти по С-шному, то после очередного шага я сразу попадаю на строку CMP и вижу чудеса: например, в R8 вместо числа 58, лежат нули в младших 16 битах и число 25 в старших. Посмотрел, как используется R8 в прерываниях, но криминала не обнаружил. Так и не выяснил, что же именно происходит. Но поскольку использованием регистров рулит компилятор, то видимо из-за него когда-то что-то происходит не так.
После снятия галочки Function inlining в настройках оптимизатора все стало работать нормально.

[GetSmart]

Одно только в этом коде выглядит подозрительным

Код

// 1737         {
// 1738         //определение амплитуды первого сегмента
// 1739         a = wbCalcDA(wv->ind_new, wv->ind_new, minus, wseg);
        MOV      R0,R10
        MOV      R2,R0
        MOV      R8,#+0
        B        ??wbWaveBuilder_15
...
??wbWaveBuilder_16:
        ADD      R3,R5,R2, LSL #+3
        LDRSH    R3,[R7, +R3]
        ADD      R8,R3,R8
        MOV      R8,R8, LSL #+16
        MOV      R8,R8, ASR #+16
        ADD      R2,R2,#+1
        AND      R2,R2,#0xFF
??wbWaveBuilder_15:
        CMP      R10,R2
        BCS      ??wbWaveBuilder_16
        CMP      R6,#+0
        RSBNE    R8,R8,#+0
        MOVNE    R8,R8, LSL #+16
        MOVNE    R8,R8, ASR #+16

При входе в цикл регистры R2 и R10 будут изначально равны и цикл по сути не выполнится ни разу. Видимо из-за первых двух одинаковых параметров на вызове
a = wbCalcDA(wv->ind_new, wv->ind_new, minus, wseg);

Если же есть явное подозрение на порчу R8, то это ещё может быть из-за неправильного сохранения/восстановления регистров в прерывании. Например прерывание обрабатывается в IRQ режиме, а обработчик оформлен с помощью __fiq атрибута. И ещё прикольный баг может быть - если вложенное прерывание некорректно восстанавливает флаги (SPSR->CPSR), например из-за проблем со стеком.

Сообщение отредактировал GetSmart - Nov 23 2009, 15:29