STM32F100RB не выполняет инструкцию "IT NE"? Опции

[turalon]

Пример:

MOV R0, #2
CMP R0, #2
IT NE
MOVNE R0, #1

Последняя инструкция не должна выполняться, т.е. в R0 должно остаться 2, но там 1!
В официальных errata-х такого бага нет.
Симулятор от IAR этот пример обрабатывает правильно. А на самом чипе, через J-Link - не работает (игнорирует IT команду и выполняет MOVNE R0, #1).
Другие варианты условий, например IT EQ, работают нормально.
Еще пробовал STM32F100R6 вместо RB - тот же баг.

Почему этот баг до сих пор никто не заметил, ведь IT NE - не самая редко используемая команда?

[Golikov A.]

Из всего этого у меня остается одна загадки истории... Нахрена асм в арме? Вы с оптимизатором соревнуетесь?

[turalon]

Из всего этого у меня остается одна загадки истории... Нахрена асм в арме? Вы с оптимизатором соревнуетесь?

Асм нужен для отладки, читать, что там компилер наваял. Пишу я на си++ и всем рекомендую.
А когда код не работает, как вы его отладите, не заглядывая в дизассемблер? Если баг виден по исходникам, то все прекрасно. А если 2 + 2 вдруг дает 5, то приходится смотреть асм.
А еще полезно смотреть асм в плане оптимизации. Часто бывает, что обычная с виду функция порождает навароченный код на асме. А оказывается, что например, константное выражение вдруг стало не константным и начинает вычисляться динамически со всеми делениями/умножениями.

[_Артём_]

Асм нужен для отладки, читать, что там компилер наваял.

Компилятор, как правило, не ваяет, а генерирует код.

Пишу я на си++ и всем рекомендую.

Бесспорно.

А когда код не работает, как вы его отладите, не заглядывая в дизассемблер? Если баг виден по исходникам, то все прекрасно.

Как правило проблема в исходниках - туда и смотреть.

А если 2 + 2 вдруг дает 5, то приходится смотреть асм.

Также можно и нужно Си смотреть.

А оказывается, что например, константное выражение вдруг стало не константным и начинает вычисляться динамически со всеми делениями/умножениями.

Сюрпризы бывают, но это редкость. Виноват как правило программист. И совсем не тот что компилятор писал.

[paskal]

Как правило проблема в исходниках - туда и смотреть.

А вы не замечали, что самый первый файл исходника на ассемблере написан? И, например, основная функция main() из ассемблера вызывается?
(говорю про кейл, с ИАРом не работал)

[adnega]

А вы не замечали, что самый первый файл исходника на ассемблере написан? И, например, основная функция main() из ассемблера вызывается?
(говорю про кейл, с ИАРом не работал)

Не факт. Для Cortex-M стартап вполне можно написать на C.

CODE

//-----------------------------------------------------------------------------
// Объявления обработчиков прерываний (векторов)
//-----------------------------------------------------------------------------
void NMIException(void);
void HardFaultException(void);
void MemManageException(void);
void BusFaultException(void);
void UsageFaultException(void);
void DebugMonitor(void);
void SVCHandler(void);
void PendSVC(void);
void SysTickHandler(void);
...

//-----------------------------------------------------------------------------
// Указатели секций линкера
//-----------------------------------------------------------------------------
extern unsigned long _sidata; //!< Начало инициализируемых данных.
extern unsigned long _sdata; //!< Начало секции .data.
extern unsigned long _edata; //!< Конец секции .data.
extern unsigned long _sbss; //!< Начало секции .bss.
extern unsigned long _ebss; //!< Конец секции .bss.
extern unsigned long _estack; //!< Начало стека.

//-----------------------------------------------------------------------------
// Определение функций
//-----------------------------------------------------------------------------
void Reset_Handler(void) __attribute__((__interrupt__));
extern int main(void);

//-----------------------------------------------------------------------------
// Таблица векторов прерываний
//-----------------------------------------------------------------------------
typedef void (*t_vector)(void);

__attribute__ ((section(".isr_vector")))
const t_vector vectors[] =
{
(t_vector)&_estack,
Reset_Handler,
NMIException,
HardFaultException,
MemManageException,
BusFaultException,
UsageFaultException,
0,
0,
0,
0,
SVCHandler,
DebugMonitor,
0,
PendSVC,
SysTickHandler,
...
};

//-----------------------------------------------------------------------------
//! \fn void Reset_Handler(void)
//! \brief Вектор сброса.
//-----------------------------------------------------------------------------
void Reset_Handler(void)
{
unsigned long *pulSrc, *pulDest;

// Инициализация данный в секции .data
pulSrc = &_sidata;
for(pulDest = &_sdata; pulDest < &_edata; )
{
*(pulDest++) = *(pulSrc++);
}

// Обнуление данных в секции .bss
for(pulDest = &_sbss; pulDest < &_ebss; )
{
*(pulDest++) = 0;
}

// Вызов функции main
main();
}