SSE优化的Kirsch边缘检测代码处理正方形图像出现段错误，如何解决？

• 循环边界的变量引用错误
  这是最高发的触发场景：Kirsch算法依赖3x3邻域计算，内层x轴循环的终止条件需要基于图像宽度判断，例如一次处理4个像素时，x最大取值为width - 5，保证最后一个处理的像素x+3的右侧邻域x+4不越界。如果误将边界判断的变量写为高度height，宽高不等时height < width会让x的上限更低，不会触发越界；宽高相等时x上限刚好达到临界值，邻域访问直接越界触发段错误。
• 对齐指令误用
  如果优化逻辑中针对正方形图像单独使用了要求16字节对齐的SSE加载/存储指令（例如_mm_load_si128、_mm_store_si128），但图像行内存步长不是16的倍数、或者循环中x的偏移不是16的整数倍，就会触发对齐异常导致段错误；宽高不等时如果走通用非对齐指令分支（使用_mm_loadu_si128等）则不会触发该问题。
• 专属优化分支的边界逻辑遗漏
  很多实现会为正方形图像添加专属优化分支（例如行列合并计算、更高等级的循环展开），该分支容易遗漏3x3邻域的边界裁剪要求：y轴循环的有效范围应该是1 ≤ y ≤ height-2，如果未做边界裁剪，处理最后一行时访问下一行邻域会直接越界。
• 尾部剩余像素处理逻辑缺失
  SSE一次可处理4/8/16个像素，如果图像宽度不是单次处理像素数的整数倍，需要额外实现尾部剩余像素的处理逻辑。如果直接按向量长度写回结果，正方形图像的行尾刚好落在内存页边界时，溢出写会直接触发段错误；宽高不等时如果行尾有对齐填充字节，溢出写落在填充区域不会触发异常。

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