Запись int по указателю на произвольный адрес и выравнивание Опции

[0x435641]

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

начну с кода:

char arr[16];

int *pi1 = (int*)arr[0];
int *pi2 = (int*)arr[1];
int *pi3 = (int*)arr[2];
int *pi4 = (int*)arr[3];

*pi1 = 0x11223344;
*pi2 = 0x11223344;
*pi3 = 0x11223344;
*pi4 = 0x11223344;

среда IAR 6.30.1

в результате запись происходит по адресам со сдвигом влево до границы кратной размеру адресуемого типа. это смотрел через J-Link
в листинге каждая запись производится инструкцией STR R0, [Rx]... при чем в Rx лежат правильные значения с шагом в 1 байт.

тот же результат в uVision 4

если же запустить отладку в симуляторе, то при каждой записи по не кратному адресу вылетает сообщение
"STR instruction at addr: 0x40006835 made an illegal unaligned access to 0x40006835"

информации о том, что адрес должен быть выровнен для STR/LDR по 4 байтам для STRH/LDRH по 2 байта я не нашел.
пусть даже должен быть выровнен. почему компилятор не преобразует команду записи по указателю в набор инструкций с побайтовой записью, учитывая специфику адресации?

[PoReX]

начну с кода:

char arr[16];

int *pi1 = (int*)arr[0];
int *pi2 = (int*)arr[1];
int *pi3 = (int*)arr[2];
int *pi4 = (int*)arr[3];

*pi1 = 0x11223344;
*pi2 = 0x11223344;
*pi3 = 0x11223344;
*pi4 = 0x11223344;

среда IAR 6.30.1

Вообще-то код изначально не правильный. После инициализации массива он может содержать мусор и этот мусор вы преобразуете в указатель. Например:

Код

char arr[8]={0,1,2,3,4,5,6,7};

тогда

Код

pi1 == 0x00000000;
pi2 == 0x00000001;
pi3 == 0x00000002;
pi4 == 0x00000003;

А если

Код

char arr[8]={0,0,0,0,0,0,0,0};

то и получится

44 33 22 11 NA NA NA NA

правда в реальном контроллере это вызовет HardFault
А чтобы получить необходимый результат

44 44 44 44 33 22 11 NA

нужно немного изменить код:

Код

int *pi1 = (int*)&arr[0];
    int *pi2 = (int*)&arr[1];
    int *pi3 = (int*)&arr[2];
    int *pi4 = (int*)&arr[3];

и никакой __packed не нужен. Проверено в Keil'e через j-tag на stm32f103.

[demiurg_spb]

Я то и не заметил отсутствие взятия адреса у вопрошающего...
А насчёт того что packed не нужен - я бы не был так категоричен. Иногда он очень даже нужен.

[PoReX]

А насчёт того что packed не нужен - я бы не был так категоричен. Иногда он очень даже нужен.

Имелось ввиду в данном случае не нужен. Кстати __packed это фишка Keil'a/IAR или он есть в стандарте Cи?