Оптимизация функции memswap

В обзоре кода следующей реализации memswap():

void util_memswap(size_t psize,
                  void *restrict p1, 
                  void *restrict p2)
{
    unsigned char *a = p1;
    unsigned char *b = p2;
    unsigned char tmp;

    while (psize--) {
        tmp = *a;
        *a++ = *b;
        *b++ = tmp;
    }
}

Я получил следующий совет:

Реализация util_memswap() может быть улучшена для более крупных объекты:

while (psize--) {
    tmp = *a;
    *a++ = *b;
    *b++ = tmp;
} 

Вы обнаружите, что версия memcpy() и/или memmove() в вашей библиотеке, вероятно, смещает более крупные единицы в соответствии с целью. архитектуры платформы, прибегая к побайтовому копированию только на заканчивается (и, возможно, для невыровненных данных). Настроенная реализация swap скорее всего, будет использовать аналогичные оптимизации.

Маловероятно, что оптимизатор вашего компилятора распознает образец здесь и группируйте переводы в более крупные единицы. Я попробовал с последние GCC и Clang - первый разворачивал цикл, но оба по-прежнему генерирую код, который обращается к памяти отдельными блоками, насколько я могу читать. @Тоби Спейт

А затем поискал и нашел примеры реализации memcpy(), которые копируют слова вместо байтов после переинтерпретации void * как long *. Но мне кажется, что это нарушает строгие правила псевдонимов, поскольку void * изначально не мог быть long *. Предполагая, что я правильно понимаю, какой вариант оптимизации описанной выше процедуры мне нужен?

О замене его тремя memcpy() звонками @Peter Cordes говорит в комментариях под этим ответом:

Это, вероятно, помешает некоторым оптимизациям в большинстве компиляторов. Многие неплохо разбираются в таком использовании memcpy, но определенно не идеально. Я настоятельно рекомендую не использовать это, если вас волнует производительность. В лучшем случае это может стать запасным вариантом #ifdef для компиляторов, которые не поддерживают расширения GNU, в частности typeof().

Обновлено: приведенная выше процедура используется следующим образом:

#include <assert.h>
#include <string.h>

/**
 * Like C11's _Static_assert() except that it can be used in an expression.
 *
 * EXPR - The expression to check.
 * MSG  - The string literal of the error message to print only if EXPR evalutes
 *        to false.
 *
 * Always return true. */
#define STATIC_ASSERT_EXPR(EXPR, MSG)   \
    (!!sizeof( struct { static_assert ( (EXPR), MSG ); char c; } ))

/* OP is aware that this would not work for VLAs, or variables that are 
 * declared with the `register` storage class, or identical variables. */
#define SWAP(A, B)                                                         \
    util_memswap((sizeof *(1 ? &(A) : &(B))                                \
        * STATIC_ASSERT_EXPR(sizeof (A) == sizeof (B),                     \
        "Arguments of SWAP() must have same size and compatible types.")), \
        &(A),                                                              \
        &(B))