Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: STM32F100RB не выполняет инструкцию "IT NE"?
Форум разработчиков электроники ELECTRONIX.ru > Микроконтроллеры (MCs) > ARM
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 - не самая редко используемая команда?
scifi
Да нет, конечно, не может быть такого бага. Ищите, где у вас что-то напутано или в каком месте отладчик глючит.
jcxz
Цитата(turalon @ Jun 26 2013, 14:50) *
Почему этот баг до сих пор никто не заметил, ведь IT NE - не самая редко используемая команда?

Срочно пишите в ST и вас внесут в анналы еррат! Такой баг обнаружить - это сильно! 08.gif
Только человек со свежим взглядом мог его обнаружить - написавший первые строки кода, впервые взявший в руки отладку. С опытом взгляд уже замыливается и таких очевидных багов не видит. 08.gif
turalon
Проблема вылечилась обновлением JLinkARM.dll в папке IAR-а.
Первый раз сталкиваюсь с тем, чтобы обычный JTAG-отладчик мог влиять на правильность выполнения команд процессором!
Похоже он трет флаги ICI/IT в регистре xPSR и нарушает нормальное выполнение блока IT.
adnega
Цитата(turalon @ Jun 26 2013, 16:13) *
Проблема вылечилась обновлением JLinkARM.dll в папке IAR-а.
Первый раз сталкиваюсь с тем, чтобы обычный JTAG-отладчик мог влиять на правильность выполнения команд процессором!
Похоже он трет флаги ICI/IT в регистре xPSR и нарушает нормальное выполнение блока IT.

А может вставляет BKPT внутрь IT-блока (BKPT внутри IT выполняется всегда, независимо от истинности условия).
turalon
Оказывается проблема есть только при отладке по шагам. Если поставить точку останова сразу после блока и сказать 'Go' - то видно, что IT-блок обрабатывается ок.
Golikov A.
Из всего этого у меня остается одна загадки истории... Нахрена асм в арме? Вы с оптимизатором соревнуетесь?
adnega
Цитата(Golikov A. @ Jun 26 2013, 19:25) *
Из всего этого у меня остается одна загадки истории... Нахрена асм в арме? Вы с оптимизатором соревнуетесь?

Возможно человек занимается отладкой по шагам С-программы и "нарвался" на необъяснимое поведение отладчика...
Кстати, asm тоже бывает полезно знать)) и дело не в борьбе с оптимизатром - некоторые вещи (обработка
исключительных ситуаций и т.п.) на С не решишь.
Golikov A.
знать да. использовать?...
На данный момент в армах я считаю что если твой проц задачу не тянет, лучше поставить следующий по мощнее, чем запутать исходники ассемблером и сделать проект практически не поддерживаемым другими и в будующем...

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

Ну это мое мнение, я его не навязываю...
adnega
Цитата(Golikov A. @ Jun 27 2013, 08:41) *
В том числе и исключения и прочее, особенно аварийные ситуации, через пол года, год, подохнешь этот огород разбирать, что там и зачем было...

Вот обработчик исключительной ситуации:
Код
HardFaultException:
    mov  r0, sp
    push {lr}
    bl   print_fault
    pop  {pc}

в котором вызывается функция на C print_fault с одним аргументом.
Код
void print_fault(sFAULT    *fault)
{
    con_str("FAULT:\n\r");
    con_str("r0   = "); con_dword(fault->r0); con_str(", ");
    con_str("r1   = "); con_dword(fault->r1); con_str(", ");
    con_str("r2   = "); con_dword(fault->r2); con_str(", ");
    con_str("r3   = "); con_dword(fault->r3); con_str("\n\r");
    con_str("r12  = "); con_dword(fault->r12); con_str(", ");
    con_str("lr   = "); con_dword(fault->lr); con_str(", ");
    con_str("pc   = "); con_dword(fault->pc); con_str(", ");
    con_str("xpsr = "); con_dword(fault->xpsr); con_str("\n\r");
    con_start();
}

Как без asm-вставки передать в качестве аргумента в функцию текущее значение указателя стека?
На asm, как Вы видите, все элементарно и никакой путаницы.

Хотя, в данном случае, "огород" получился слишком маленький.
Dron_Gus
Цитата(turalon @ Jun 26 2013, 17:46) *
Оказывается проблема есть только при отладке по шагам. Если поставить точку останова сразу после блока и сказать 'Go' - то видно, что IT-блок обрабатывается ок.

Умный J-Link при хождении по шагам может эмулировать выполнение инструкций. Выключается где-то в настройках.
turalon
Цитата(Golikov A. @ Jun 26 2013, 18:25) *
Из всего этого у меня остается одна загадки истории... Нахрена асм в арме? Вы с оптимизатором соревнуетесь?

Асм нужен для отладки, читать, что там компилер наваял. Пишу я на си++ и всем рекомендую.
А когда код не работает, как вы его отладите, не заглядывая в дизассемблер? Если баг виден по исходникам, то все прекрасно. А если 2 + 2 вдруг дает 5, то приходится смотреть асм.
А еще полезно смотреть асм в плане оптимизации. Часто бывает, что обычная с виду функция порождает навароченный код на асме. А оказывается, что например, константное выражение вдруг стало не константным и начинает вычисляться динамически со всеми делениями/умножениями.
paskal
Цитата(Golikov A. @ Jun 26 2013, 19:25) *
Нахрена асм в арме? Вы с оптимизатором соревнуетесь?

Один мой знакомый немного ошибся с именем обработчика прерывания (писал на си в кейле). Промудохался с этим несколько дней. А я смотря в отладчике дизассемблер сразу увидел что прерывание возникает, но идет на пустую заглушку. Даже если не писать на асме, то знать все равно надо.
_Артём_
Цитата(turalon @ Jun 27 2013, 20:39) *
Асм нужен для отладки, читать, что там компилер наваял.

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


Цитата(turalon @ Jun 27 2013, 20:39) *
Пишу я на си++ и всем рекомендую.



Бесспорно.

Цитата(turalon @ Jun 27 2013, 20:39) *
А когда код не работает, как вы его отладите, не заглядывая в дизассемблер? Если баг виден по исходникам, то все прекрасно.


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

Цитата(turalon @ Jun 27 2013, 20:39) *
А если 2 + 2 вдруг дает 5, то приходится смотреть асм.


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

Цитата(turalon @ Jun 27 2013, 20:39) *
А оказывается, что например, константное выражение вдруг стало не константным и начинает вычисляться динамически со всеми делениями/умножениями.

Сюрпризы бывают, но это редкость. Виноват как правило программист. И совсем не тот что компилятор писал.
ViKo
Ассемблер ARM трудно знать досконально, но понимать команды очень даже на пользу. Я в отладчике в Keil часто перехожу на окно дизассемблера. Смотрю, в какие регистры что заносится, куда перескакивает. И обработчик HardFault у меня на ассемблере, примитивнейший. И у компилятора есть много интринсик-команд... Так что за стремление изучить ассемблер можно только похвалить!
paskal
Цитата(_Артём_ @ Jun 27 2013, 23:19) *
Как правило проблема в исходниках - туда и смотреть.

А вы не замечали, что самый первый файл исходника на ассемблере написан? И, например, основная функция main() из ассемблера вызывается?
(говорю про кейл, с ИАРом не работал)
adnega
Цитата(paskal @ Jun 28 2013, 00:19) *
А вы не замечали, что самый первый файл исходника на ассемблере написан? И, например, основная функция 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();
}

Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Invision Power Board © 2001-2025 Invision Power Services, Inc.