c ++将数据存储在对齐数组的中间

Question

#include<cstdint>
#include<iostream>
#include<immintrin.h>
using namespace std;

int main()
{
    alignas(32) int32_t a[32];
    __m256i t256(_mm256_setzero_si256());
    _mm256_store_si256(reinterpret_cast<__m256i*>(a),t256);
    cout<<"pass"<<endl;
    _mm256_store_si256(reinterpret_cast<__m256i*>(a+8),t256);
    cout<<"pass"<<endl;
    _mm256_store_si256(reinterpret_cast<__m256i*>(a+4),t256);
    cout<<"pass"<<endl;
}

在 windows 中运行此程序时，我得到了三个“通过”（由 vs2017 15.6.6 编译，CPU 为 i7-6700HQ）。
但是，我在 arch linux 中运行第三条语句时得到Segmentation fault（由 g++ 7.3.1 和 clang 6.0.0 编译，CPU 为 i7-7820x）。
我使用的选项是-std=c++17 -march=native。

在我看来，我可以在 a 内的任何地方存储，因为 a 在 32 字节边界上对齐，并且每个元素都是 32 位整数。

但是我得到了什么Segmentation fault？
Intel _mm256_store_si256

Answer 1

__m256i 需要与 32 字节（256 位）边界对齐。由于数组a 通过alignas(32) 与32 字节边界对齐，地址a 和a+8（与(char*)a + 8*sizeof(int32_t) 等效的地址）也与32 字节边界对齐。

但是a+4 不是。它的地址将在两个 32 字节边界之间。因此，您的第三个语句具有未定义的行为，并且可能在不同的架构上执行不同的操作。