caxapa.ru :: Сонму копьеметателей: Пощупал конкретнее: В MDK ARM v4 пофиг всякие #pragma pack(1), __align(4), __packed и их полное отсутствие. Похоже компилятор, имея в командной строке " --cpu Cortex-M3", всегда генерит __aeabi_memcpy() в соответствии со здравым смыслом, имея указатели (void *)... Тут другое интересно - третий параметр в "шибко грамотном" MDK ARM v5. Что там вещает стандарт? Руководствуясь тем же здравым смыcлом, там должно быть количество БАЙТ и компилятор должен

Гyдвин, волшебник (27.07.2020 12:30, просмотров: 668) ответил RxTx на Приведи пожалуйста ссылку на C стандарт подтверждающую слова: "про невыравненный доступ сказано -- поведение неопределено"? Уточню: речь идет о void* указателе.

Сонму копьеметателей: Пощупал конкретнее: В MDK ARM v4 пофиг всякие #pragma pack(1), __align(4), __packed и их полное отсутствие. Похоже компилятор, имея в командной строке " --cpu Cortex-M3", всегда генерит __aeabi_memcpy() в соответствии со здравым смыслом, имея указатели (void *)... Тут другое интересно - третий параметр в "шибко грамотном" MDK ARM v5. Что там вещает стандарт? Руководствуясь тем же здравым смыcлом, там должно быть количество БАЙТ и компилятор должен

в memcpy() скопировать именно это количество - учесть в фунции __aeabi_memcpy4().

Ответить

- Стандарт такой фигнёй не занимается. memcpy повсеместно инлайнится, например, и никого это не смущает. Ну и pack в стандарте нет, поэтому как только он появляется, прощай, стандарт. - SciFi(27.07.2020 13:07)
  - Всё хуже. Есть "Run time ABI for ARM architecture" -- тоже своеобразный стандарт для компиляторописателей. Там вон что: fk0(1 знак., 27.07.2020 13:33, ссылка, картинка)
    - Спасибо. Оно самое. Хорошо, что оно есть. Стандартный код с индексами будет работать быстро. А вот с указателями очень осторожно: есть побочные эффекты. Хороший программист решит задачу и без указателей. А хороший компилятор сделает код таким же быстрым, как с указателями. Nikolay_Po(338 знак., 28.07.2020 20:30)
      - С индексацией компилятор способен произвести более глубокую оптимизацию, т.к. отслеживать разыменование и модификацию указателей сложнее. Проявится в сложных случаях, типа кода DFT, работы с матрицами итд. В простейших случаях разницы нет. Исключение - короткие innerloop'ы, где проверка конца цикла совмещена с продвижением указателя (циклы и работа в стиле STL итераторов). - RxTx(29.07.2020 11:23)
      - Какие еще массивы в упакованной структуре? - VLLV(28.07.2020 22:01)
        
        А как насчёт массива упакованных структур? Да, были сложности, компилятор ругался, что тут упаковано а тут - нет и так нельзя. Вдумчиво расставил атрибуты в соответствии с предупреждениями компилятора (warning=error). - Nikolay_Po(28.07.2020 22:45)

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