GCC自动内联时忽略restrict限定符影响向量化问题咨询

这是GCC 9.4.0版本优化器的已知缺陷，和C/C++标准层面的restrict语义无关：

• GCC 9的别名分析流程和内联流程存在衔接问题：当内存访问逻辑封装在单独的inline函数k中时，即使编译器最终完成了k的内联展开，f函数中a、b指针的restrict无别名属性不会沿着内联调用链传递到k的形参上。
• 手动将k的逻辑直接展开到f的循环内时，别名分析可以直接在f的函数上下文里识别到两个restrict指针指向的内存区间不存在重叠，因此直接生成无分支的向量化代码。
• 当逻辑留在k中时，优化器会保守判定a指向的读区间和b指向的写区间可能存在别名重叠，因此生成运行时别名检查的逻辑：先判断两个内存区间是否重叠，无重叠则执行向量化代码，有重叠则执行标量回退代码，也就是编译提示里的loop versioned for vectorization because of possible aliasing。
• 换用__restrict配合g编译复现问题，是因为g共用GCC的后端优化逻辑，存在同样的属性传递bug，该问题在GCC 12及之后的版本中已被修复。

不需要拆分函数到不同翻译单元，仅用C标准特性即可让GCC 9正确识别无别名属性，实现无版本判断的向量化：
在f函数内创建一个块作用域的restrict修饰局部指针，将该局部指针传入k即可，修改后的f代码如下：

static void f(double const *restrict a, double *restrict b, int n) {
    double const *restrict a_local = a;
    for (int i = 0; i < n; ++i) {
        b[i] = k(a_local);
    }
}

该写法完全符合C99及之后版本的标准语义：在f的块作用域内显式声明a_local是指向无别名内存的指针，优化器不需要跨内联调用链传递属性，直接在当前上下文就能完成无别名判定，直接生成向量化代码。如果需要兼容C++环境，只需要把restrict替换为各编译器通用支持的__restrict即可，逻辑完全一致。

该写法不会引入额外运行时开销，在Clang、新旧版本GCC上均可正常触发预期优化，不需要修改k、swap、g的现有逻辑。

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