не работает приведение типов на arm Опции

[igor_bogomolov]

Всем привет.
Понимаю, что название темы кажется странным, но тем не менее...
Имеем такой код (синтетический тест воспроизводящий проблему)

#include <stdlib.h>
#include <stdio.h>

int main()
{
    unsigned int i = 0;
    unsigned char buf1 [13] = {0xAA, 0xAB,  0xAC, 0x01,  0x00, 0x02, 0x00, 0x03,  0x00, 0x04, 0x00, 0x05, 0x00 }; // (см *)

    for (i = 3; i < sizeof(buf1); ++i) {
        printf("%02x:", buf1[i]);
    }
    printf("\n");

    for (i = 3; i < sizeof(buf1); i+=2) {
        printf("%04x:", *(unsigned short *)&buf1[i]);
    }
    printf("\n");

    for (i = 0; i < 4; i++) {
        printf("%04x:", *(unsigned short *)&buf1[i]);
    }
    printf("\n");

    return 0;
}

Компилируем для платформы x86, получаем вполне ожидаемый вывод

01:00:02:00:03:00:04:00:05:00:
0001:0002:0003:0004:0005:
abaa:acab:01ac:0001:

Компилирую для arm (-mcpu=arm926ej-s -march=armv5te), получаю следущее

01:00:02:00:03:00:04:00:05:00:
01ac:0200:0300:0400:0500:
abaa:abaa:01ac:01ac:

Как можно объяснить такой вывод, и, самое главное, как заставить именно этот код вести себя ожидаемо (как на x86)?

* Важный момент, что размер массива нечётный. При выравнивании 1, если сразу объявить еще один такой же массив и повторить для него те же действия, вывод для него будет отличаться, но всё равно не будет правильным (т.е. таким же как на x86).

[maint]

Для выяснения берем и выводим на печать на обоих платформах sizeof(unsigned short).

[iReset]

Дело в выравнивании адресов на ARM. Т.е. каждый тип должен лежать по адресу, кратному его размеру. При невыровненном доступе будут ошибки чтения. При преобразовании char* к ushort* получается именно такая ситуация.
Если тебе действительно нужно такое преобразование, используй memcpy для копирования 2 байт во временную переменную, как бы странно это ни звучало.

[igor_bogomolov]

Для выяснения берем и выводим на печать на обоих платформах sizeof(unsigned short)

Это я конечно же делал. sizeof(unsigned short) одинаков на обоих платформах и равен 2.

Дело в выравнивании адресов на ARM. Т.е. каждый тип должен лежать по адресу, кратному его размеру. При невыровненном доступе будут ошибки чтения. При преобразовании char* к ushort* получается именно такая ситуация.
Если тебе действительно нужно такое преобразование, используй memcpy для копирования 2 байт во временную переменную, как бы странно это ни звучало.

Ок, спасибо.
Просто получилась такая ситуация. Разработали некую железку для заказчика с arm'овским процессором на борту. У них есть некий код, который они давно используют и который, якобы (по их мнению), хорошо работает. А на нашей железке этот код не работает, из-за таких вот преобразований, показанных выше. Мне теперь нужно грамотно обосновать, из-за чего такое различие. Иначе считается, что наше оборудование не работает.
Если у тебя есть ссылка на какую-нибудь оф. документацию, где описано такое поведение, было бы очень здорово.

[iReset]

Если у тебя есть ссылка на какую-нибудь оф. документацию, где описано такое поведение, было бы очень здорово.

Ссылок, к сожалению, нет.
Быстрый Google-поиск по фразе "unaligned pointer ARM" дал в результате ссылку на оф.сайт ARM - Unaligned pointers. Надеюсь, поможет.

[igor_bogomolov]

Ссылок, к сожалению, нет.

И на этом спасибо. На самом деле очень помог, что бы объяснить происходящее.

Я вот такую вот ссылочку (тык) нашел описывающую данную ситуацию.
Может еще кому-нибудь интересно будет.