caxapa.ru :: да, счас экспериментировал, вы правы. реализация memcpy зависит от типа указателей.

Mikla (04.02.2015 20:44, просмотров: 194) ответил LightElf на Надо смотреть что в конкретном случае сгенерил кейл. Я с кейлом не знаком. В общем случае компилятор выберет интринсик, основываясь в том числе и на типах указателей. И ежели указатели имеют тип int *, то компилер разумно предположит что они

да, счас экспериментировал, вы правы. реализация memcpy зависит от типа указателей. memcpy(to, from, 8); пока to и from были указатели на char, добиться косяка не мог. всякие оптимизации не помогали. решил изменить тип на указатель на long, сразу же появилась LDRD и hardfault. но почему явное преобразование типа не помогло: memcpy((unsigned char*)to, (unsigned char*)from, 8); - все равно используется LDRD и hardfault(to невыравнена на границу 4байт). видел описания memcpy всего лишь из пары строк. Нигде эта феничка не затрагивалась.

Ответить

- А вот не надо в указателях на long хранить неровные адреса. Стандарт языка так и говорит: undefined behavior. - SciFi(05.02.2015 00:56)
  - А вот не надо в функции ожидать, что указатель void* куда-то выровнен. - LightElf(08.02.2015 17:13)
    - Это он зря, конечно, но закон на его стороне. - SciFi(08.02.2015 17:15, ссылка)
- Компиляторная магия, фуле! Из-за подобных непоняток выкинул стандартные либы и использую свой велосипед, ~~с квадратными колесами~~ LightElf(153 знак., 04.02.2015 22:27)
  - а я наоборот, использую мемкопи только библиотечную. это с тех пор, как меня кроссворк на тесте скорости этой самой мемкопи уделал в раза три по скорости. в общем я перестал считать себя умнее компилятора. Mahagam(138 знак., 04.02.2015 23:03)
    - В описываемом случае двусмысленность. memcpy объявлена, как принимающая указатели void*. Логично предположить, что параметры должны рассматриваться как нетипизированные и выравнивание должно проверяться/фикситься в рантайме. Но компиляторная LightElf(24 знак., 05.02.2015 14:37)
      - Логично предположить, что если неровный адрес приведён к типу (long*), то возможны неприятности. Что и произошло. Стандарт не нарушен: SciFi(217 знак., 05.02.2015 15:11)
      - не компиляторная! библиотечная. насколько я понял из либы, там сначала копировались байты чтобы выровнять адреса приёмника и источника (если это было возможно), а потом запускался цикл с LDM/STM на все регистры. ну и под конец копировался Mahagam(186 знак., 05.02.2015 14:52)

ARM, RISC-V контроллеры