Keil и Cortex M4, Складывает данные по невыровненым адресам Опции

[prottoss]

Доброго времени суток.

Сам я Keil не использую, но была необходимость сделать проект именно на этом компиляторе. Проект собран под два проца - первый STM32F107 (Cortex M3) второй под STM32L475 (Cortex M4). Проект связан с передачей данных по USB с использованием встроенного в МК USB OTG модуля, по этому в проекте есть объявленные в виде структур данные всевозможных USB дескрипторов. Так вот, при работе программы под М3 глюков не наблюдалось и он был перенесен на М4. Тут начались глюки. Пр передаче первой же послыки (т.е. еще на этапе нумерации) по USB проц падает в HardFault. Копание показало, что Keil, при использованиии первого МК (М3) размещает все данные по выровненным на 32-бит адресам. При компилировании проекта под М4 он размещает данные с выравниванием в 16-бит... Как так то? или я чего то не понимаю/не знаю?

В IAR проект под М3 проверял, под М4 с целевым процом (STM32L475) нет, но адреса расположены с правильным выравниванием. С другим МК - STM32F407 проект работает нормально.

Четогдето в Keil подкрутить нужно? Или мне?

[aaarrr]

Остается убедить в этом компилятор Нет, не должен, и AAPCS такого не требует.

[prottoss]

Остается убедить в этом компилятор Нет, не должен, и AAPCS такого не требует.

С 8-битным массивом понятно - не должен. Но как быть со структурами данных? Неужели там тоже этого не требуется?


В принципе, я нашел как договорится с компилятором с помощью __attribute__(align(4)). Блин, но я тогда гвоздями прибью этот код к конкретному компилятору

И, опять же не понятно, почему для М3 компилятор данные выравнивает, а для М4 нет?

[Сергей Борщ]

Но как быть со структурами данных? Неужели там тоже этого не требуется?

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

В принципе, я нашел как договорится с компилятором с помощью __attribute__(align(4)). Блин, но я тогда гвоздями прибью этот код к конкретному компилятору

Да.

И, опять же не понятно, почему для М3 компилятор данные выравнивает, а для М4 нет?

Вероятнее всего там вам просто повезло.

[prottoss]

...

Да. Сейчас все изучил, прочитал и понял - где ошибался. Но. Ладно - в Keil мне повезло с одним проектом. В IAR повезло с двумя??? Сроду никогда таким везучим не был.

Вспомнил. До этого делал еще один проект с STM32L151 год назад - стек USB такой же - свой, самописный. Те же структуры и данные. ХардФолтов не было точно. И еще один проект делал тоже год назад но на STM32F103. На этом же стеке, но в IAR - и тоже без проблем. Вот и привык, что компилятор сам все адреса выравнивает... Т.е. вылезло только вчера и только на М4 и только на Keil.

Выравнивается любая структура или массив.

Но, в принципе, чтобы уйти от __attribute__(align(4)) я могу все структуры сделать как union c переменной типа UINT32:

Код

#pragma pack(4)
typedef struct __Foo
{
    ....

} Foo, *p_Foo
#pragma pack()

union __uFoo
{
    Foo DataStructure;
    UINT32 dwValue;

} uFoo, *p_uFoo;