C语言SIMD开发：当前场景下如何正确实现内存对齐？

核心问题点 #

• 你混淆了不同SIMD向量的对齐要求：__m256类型的AVX向量要求32字节对齐，你当前仅分配了16字节对齐的内存，对齐不匹配导致对齐访问指令触发段错误。仅SSE的__m128向量才要求16字节对齐。
• aligned_alloc标准调用只接受2个参数：第一个为对齐值，第二个为分配总大小（总大小必须是对齐值的整数倍），你传入3个参数属于调用错误，部分平台下该错误会导致返回的地址不符合对齐要求。
• 优化等级O3下store指令不报错是因为编译器优化了对齐检查逻辑，属于不可靠的偶发现象，并非问题被修复。

修复步骤 #

1. 修正内存分配逻辑，将对齐值改为32字节，同时修正aligned_alloc的传参：

// 原错误写法
// test.a = aligned_alloc(16, 16, sizeof(float)*24 );
// 修正后写法
test.a = aligned_alloc(32, sizeof(float)*24);
test.b = aligned_alloc(32, sizeof(float)*24);

你分配的24个float总大小为96字节，是32的整数倍，符合aligned_alloc的参数要求。

2. 可增加对齐断言做防御性校验，避免后续潜在问题：

#include <assert.h>
#include <stdint.h>
// 分配后添加校验
assert( ((uintptr_t)test.a) % 32 == 0 );
assert( ((uintptr_t)test.b) % 32 == 0 );

3. 你原有SIMD_point_to函数的偏移计算逻辑是正确的：只要起始地址是32字节对齐，按8个float为步长偏移的__m256指针、4个float为步长偏移的__m128指针都会自动满足对齐要求。

修复后你原来注释掉的_mm256_add_ps和_mm256_store_ps都可以正常运行。

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