如何在GCC/CLang/MSVC自动向量化中强制使用对齐加载存储指令

方案1：C++20标准原生方案（兼容GCC 11+/Clang 13+/MSVC 2022 17.0+） #

C++20标准库提供了std::assume_aligned<对齐字节数>(指针)工具，专门用于告知编译器指定指针满足给定的对齐要求，三个主流编译器的较新版本均已支持该特性。
修改后的代码示例：

#include <cstdint>
#include <memory> // std::assume_aligned 定义头文件

void g(uint64_t (&x_)[16], uint64_t const (&y_)[16]) {
    // 告知编译器x、y指针均满足64字节对齐
    auto x = std::assume_aligned<64>(x_);
    auto y = std::assume_aligned<64>(y_);

    for (int i = 0; i < 16; ++i)
        x[i] ^= y[i];
}

使用-std=c++20 -O3 -mavx512f参数编译后，GCC会自动生成对齐加载指令vmovdqa64替代非对齐的vmovdqu64。

方案2：旧C++标准跨编译器兼容方案 #

如果需要兼容C++20之前的标准，可以通过包装各编译器内置的对齐假设指令，实现跨GCC/Clang/MSVC的通用宏：

#include <cstdint>

// 跨编译器对齐假设宏
#if defined(__GNUC__) || defined(__clang__)
#define ASSUME_ALIGNED(ptr, align) __builtin_assume_aligned(ptr, align)
#elif defined(_MSC_VER)
#define ASSUME_ALIGNED(ptr, align) ( (decltype(ptr))_Assume( (uintptr_t(ptr) & (align-1)) == 0 ), ptr )
#endif

void g(uint64_t (&x_)[16], uint64_t const (&y_)[16]) {
    auto x = static_cast<uint64_t*>(ASSUME_ALIGNED(x_, 64));
    auto y = static_cast<uint64_t const*>(ASSUME_ALIGNED(y_, 64));

    for (int i = 0; i < 16; ++i)
        x[i] ^= y[i];
}

该宏在GCC/Clang下调用内置的__builtin_assume_aligned，在MSVC下通过_Assume告知编译器对齐约束，均可触发对齐的自动向量化代码生成。

原尝试方案失效原因 #

你之前给引用添加alignas(64)的方式不生效，是因为alignas的作用是指定变量的存储对齐要求，仅用于定义变量时告知编译器需要为该变量分配满足对齐要求的内存，不能用来告知编译器已有的指针/引用指向的内存已经满足某一对齐约束，因此编译器不会识别该提示。

注意事项 #

对齐假设属于编译器的契约式承诺，你必须确保实际传入函数的指针确实满足声明的对齐要求，否则会触发未定义行为，常见表现为程序崩溃、运算结果错误。

内容的提问来源于stack exchange，提问作者Arty