Привет, коллеги.

Столкнулся с "интересным" поведением программы под KEIL 4.23, процессор EFM32G210F128:

приводит к исключению. В ассемблере это инструкция STM R5!, {R0}.

работает нормально. Там генерируется:

В описании инструкции STM я не нашел упоминания, что регистр-указатель приемника должен быть выровнен на слово, а похоже именно это требуется. У меня же через void *p передается указатель на некий буфер обмена, который может содержать различные данные, а сам буфер в итоге где-то в стеке как локальная переменная внутри функции, которая и вызывает мою. Очевидно, что локальные переменные там не выровнены.

Что скажете? Мой недосмотр или грабли, подложенные KEIL?

поиск по arm.com "cortex-m3 unaligned access"



Так что контроллер работает согласно спецификации :-)

К кейлу тоже никаких претензий - он же не знает, что этот указатель не выравнивается.


PS. Вот так должно работать.

Понял, спасибо.

Дополню.

Ну... здесь можно поспорить. С точки зрения C оба кода вполне равноценны и должны быть переносимы. А получается, что кусок кода c *p++ шустрил успешно на каком-нибудь 8-ми битнике, а тут на Cortex вдруг раз, и исключение! И только потому, что платформа себя так ведет, что к C никакого отношения не имеет. Некрасиво.

Тут дело не в *p++, а в том, чтовы указатель конвертируете из войд в лонг. На 8ми битнике понятное дело будет работать, на то он и 8ми битник чтобы про выравнивание не знать. Вы не получили warning при компиляции, что assignment increases alignment requirements? Компилятор ведет себя правильно. Вы же в курсе, что невыровненый доступ занимает больше времени?

Нет.

Да. Но здесь я бы ожидал, что компилятор в угоду совместимости будет исходить из НЕвыровненных данных. А программист, который хочет быстро, может указать потом, какие данные выровнены, и если ошибется - пусть пеняет на себя же. То есть, не __packed нужно, что для меня выглядит как work around, а противоположный описатель типа __aligned. Тогда совместимость на уровне исходника будет, а оптимизацией под платформу можно будет заняться, если припечёт.

В стандарте языка закреплено обратное: по умолчанию предполагается, что все объекты выровнены должным образом.
Что касается конкретно этого случая, то тут надо в деталях разбирать происхождение указателя на void. Тогда будет видно, где именно возникает невыровненный объект. Ну а работать с ним можно, используя packed (непереносимая фича компилятора), или делать перепаковку руками (переносимо).