Микроконтроллеры

подсунет тебе оптимизированную функцию, то всё будет точно так же -- следовательно оптимизация возможна. Проблема в том, что у тебя на самом деле тип -- другой, не int. И ты код вызывающий такой сбой, в рамках стандартного C/C++ -- никак не напишешь, у тебя невозможно размещение существующих объектов любого типа по адресам с не соответствующим alignof(type). Поэтому я и говорю, что упакованные структуры -- грязный хак с массой побочных багов, и их не нужно использовать. Сама концепция -- не продуманная, не вписывающаяся в существующую модель вычислительной машины в которой работают языки C/C++. Потому, что в этой модели не может, не бывает, такого, чтоб какой-либо объект в памяти лежал на адресе не соответствующем alignof(type). Если хочется более полноценно работать с упакованными структурами, то это можно сделать, но сама концепция "упакованных структур" не нужна. Достаточно создать новые типы со своим, другим, alignas и они самоупакуются прекрасно в обычную структуру. Но на C ты такой код не напишешь, только на C++. Кроме того, при создании такого типа ты внутрь его тот же самый int, разумеется, в принципе не сможешь положить. Придётся ручками эмулировать int из набора char'ов. Но всё получится. И даже компилятор сгенерирует сам правильный код, где будет куча ldrb при обращении к такой переменной: